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

fixes our travis-ci #915

Merged

ivg merged 1 commit into BinaryAnalysisPlatform:master from gitoleg:fixes-travis-builds

Jan 30, 2019

Contributor

gitoleg commented Jan 30, 2019 •

edited

Loading

We weren't able to run our tests on travis-ci so far, so this PR fixes this problem.
Also, this PR contains the following changes:

opam/opam file was converted to opam 2.0 format
few improvements in travis scripts in order to reduce the size of caching data
minor fixes in the usage of llvm-version configure variable in order to operate on short versions like 3.8, 7.0 etc., because the length of the version can be arbitary, like version 5.0.0git-929163d on travis. Note, that the variable itself wasn't changed


          fixed building on travis

aa7a6c3

ivg approved these changes

View reviewed changes

ivg merged commit 4d52b23 into BinaryAnalysisPlatform:master

gitoleg deleted the fixes-travis-builds branch

February 1, 2019 19:03

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

Labels

None yet