Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add release profile #7

Merged
merged 1 commit into from
Nov 19, 2023
Merged

Add release profile #7

merged 1 commit into from
Nov 19, 2023

Conversation

lukewilliamboswell
Copy link
Collaborator

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

@lukewilliamboswell lukewilliamboswell merged commit e9ae84f into roc-lang:main Nov 19, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bhansconnect bhansconnect bhansconnect approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@lukewilliamboswell @bhansconnect