Add release profile - Githubissues

roc-lang / basic-webserver

A basic webserver in Roc

https://roc-lang.github.io/basic-webserver/

Universal Permissive License v1.0

76 stars 16 forks source link

Add release profile #7

Closed lukewilliamboswell closed 12 months ago

lukewilliamboswell commented 12 months ago

This PR

Add a release profile for cargo so that optimised builds are significantly smaller

Before change

17:16:21 ~/Documents/GitHub/basic-webserver release-profile $ roc build --optimize examples/echo.roc 
🔨 Rebuilding platform...
0 errors and 0 warnings found in 21972 ms while successfully building:

    examples/echo
17:17:22 ~/Documents/GitHub/basic-webserver release-profile $ ls -hl examples/echo 
-rwxr-xr-x  1 luke  staff   9.3M 18 Nov 17:20 examples/echo

After change (with `--optimize`)

17:17:31 ~/Documents/GitHub/basic-webserver release-profile $ roc build --optimize examples/echo.roc
🔨 Rebuilding platform...
0 errors and 0 warnings found in 5589 ms while successfully building:

    examples/echo
17:17:44 ~/Documents/GitHub/basic-webserver release-profile $ ls -hl examples/echo                  
-rwxr-xr-x  1 luke  staff   7.2M 18 Nov 17:17 examples/echo