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.

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

Fix unneeded dependency on Linux glibc systems #3538

Merged
merged 1 commit into from
May 5, 2020
Merged

Conversation

chalcolith
Copy link
Member

Also disable Go and OCaml bindings (LLVM_ENABLE_BINDINGS) as they are not needed for Pony, and disable building LLVM tests (LLVM_INCLUDE_TESTS).

Fixes #3537

Also disable Go and OCaml bindings (LLVM_ENABLE_BINDINGS) as they are not needed for Pony, and disable building LLVM tests (LLVM_INCLUDE_TESTS).
@SeanTAllen SeanTAllen added the triggers release Major issue that when fixed, results in an "emergency" release label May 5, 2020
@SeanTAllen SeanTAllen mentioned this pull request May 5, 2020
@SeanTAllen SeanTAllen changed the title Disable LLVM Z3 dependency (LLVM_ENABLE_Z3_SOLVER) Fix unneeded dependency on Linux glibc systems May 5, 2020
@SeanTAllen SeanTAllen added the changelog - fixed Automatically add "Fixed" CHANGELOG entry on merge label May 5, 2020
@SeanTAllen SeanTAllen merged commit 4727bb4 into master May 5, 2020
@SeanTAllen SeanTAllen deleted the disable_llvm_z3 branch May 5, 2020 20:30
github-actions bot pushed a commit that referenced this pull request May 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changelog - fixed Automatically add "Fixed" CHANGELOG entry on merge triggers release Major issue that when fixed, results in an "emergency" release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Linux builds of ponyc require libz3-4
3 participants