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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update CIL pin to exclude dynlink and reduce executable size #1655

Merged
merged 1 commit into from
Jan 13, 2025
Merged

Update CIL pin to exclude dynlink and reduce executable size #1655

merged 1 commit into from
Jan 13, 2025

Conversation

sim642
Copy link
Member

@sim642 sim642 commented Jan 13, 2025

Adapts Goblint to goblint/cil#170.

This makes quite a difference:

  • The goblint executable size is reduced by 5MB from 52MB to 47MB.
  • According to modulectomy, the second-largest module in the executable used to be Dynlink_compilerlibs (after Goblint_lib itself). Now it's GoblintCil which makes more sense.

@sim642 sim642 added setup Dependencies, CI, releasing dependencies Pull requests that update a dependency file labels Jan 13, 2025
@sim642 sim642 added this to the v2.6.0 milestone Jan 13, 2025
@sim642 sim642 merged commit d982753 into master Jan 13, 2025
21 checks passed
@sim642 sim642 deleted the cil-dynlink branch January 13, 2025 10:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@michael-schwarz michael-schwarz michael-schwarz approved these changes

Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file setup Dependencies, CI, releasing
Projects
None yet
Milestone
v2.6.0
Development

Successfully merging this pull request may close these issues.
2 participants
@sim642 @michael-schwarz