Avoid exporting a full file path for Z3 in cmake #53

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

Merged

artemdinaburg merged 1 commit into master from fix-z3-exports-for-cmake

May 21, 2020

Contributor

artemdinaburg commented May 21, 2020

Avoid emitting full paths in LLVMExports.cmake


          Avoid exporting a full file path for Z3 in cmake

e0cb5f9

artemdinaburg merged commit 307f303 into master

artemdinaburg deleted the fix-z3-exports-for-cmake branch

May 21, 2020 18:09

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet