diff options
| author | Camille Mougey <commial@gmail.com> | 2016-07-22 15:28:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-22 15:28:48 +0200 |
| commit | 78a79ddf1425e32e0199569e932397164ec28bcd (patch) | |
| tree | c5933e6e9f7563e3351465d6c2c5849343641b84 | |
| parent | 78705dee3fe8ee6de46f32faef40ff7ac86d2bf3 (diff) | |
| parent | b69133593435fad128f5fc4580c1f82f8014ae48 (diff) | |
| download | miasm-78a79ddf1425e32e0199569e932397164ec28bcd.tar.gz miasm-78a79ddf1425e32e0199569e932397164ec28bcd.zip | |
Merge pull request #398 from serpilliere/Z3_bundle
Test: use Z3 prebuild version
| -rw-r--r-- | .travis.yml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 2115abf9..a0bf7d06 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,11 +26,14 @@ before_script: # install pyparsing - "pip install pyparsing" # install z3 with a known to working version -- "git clone https://github.com/Z3Prover/z3 && cd z3 && git checkout f96cfea" -- "python scripts/mk_make.py --python && cd build && make -j 32 && make install && cd ../.." +- "wget https://github.com/serpilliere/z3-prebuild/raw/master/z3.tgz" +- "tar xzf z3.tgz" +- "cd z3/build" +- "make install" +- "cd ../.." # install miasm - "cd ..;" - "cd miasm;" - "python setup.py build build_ext -I$(pwd)/../virtualenv/include -L$(pwd)/../virtualenv/tinycc" - "python setup.py install" -script: "cd test && python test_all.py" +script: "python -c 'import z3; x = z3.BitVec(chr(0x41), 32)' && cd test && python test_all.py" |