Skip to content

Conversation

Tombana
Copy link
Collaborator

@Tombana Tombana commented Mar 19, 2021

What do these changes do?

This is the same as #622 but this time actually tested.
The problem was that the unresolved reference to ceil did not come from compiled code but from libstdc++ which appeared all the way at the end of the link list. We had to add -lm after it which is now accomplished by explicitly adding libstdc++.
(Note that the problem only happens for static linking which we enabled recently)

@Tombana Tombana requested a review from a team March 19, 2021 18:19
@AdamHillier AdamHillier added the internal-improvement Internal Improvements and Maintenance label Mar 19, 2021
@AdamHillier AdamHillier merged commit 6c19a02 into master Mar 19, 2021
@AdamHillier AdamHillier deleted the fix_lce_benchmark_linking branch March 19, 2021 20:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
internal-improvement Internal Improvements and Maintenance
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants