diff options
| -rw-r--r-- | .travis.yml | 11 | ||||
| -rw-r--r-- | README.md | 3 |
2 files changed, 10 insertions, 4 deletions
diff --git a/.travis.yml b/.travis.yml index c021d97f..a0bf7d06 100644 --- a/.travis.yml +++ b/.travis.yml @@ -25,12 +25,15 @@ before_script: - "git clone https://github.com/serpilliere/elfesteem elfesteem && cd elfesteem && python setup.py install && cd ..;" # install pyparsing - "pip install pyparsing" -# install z3 -- "mkdir z3 && cd z3 && wget -O z3.zip 'http://download-codeplex.sec.s-msft.com/Download/SourceControlFileDownload.ashx?ProjectName=z3&changeSetId=cee7dd39444c9060186df79c2a2c7f8845de415b'" -- "unzip -q z3.zip && rm z3.zip && python scripts/mk_make.py --prefix=$(pwd)/../ && cd build && make -j 32 && make install && cd ../.." +# install z3 with a known to working version +- "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" diff --git a/README.md b/README.md index 4ce234cf..09a5d44e 100644 --- a/README.md +++ b/README.md @@ -456,6 +456,9 @@ To enable code JIT, one of the following module is mandatory: * LLVM v3.2 with python-llvm, see below * LibTCC [tinycc (ONLY version 0.9.26)](http://repo.or.cz/w/tinycc.git) +'optional' Miasm can also use: +* Z3, the [Theorem Prover](https://github.com/Z3Prover/z3) + Configuration ------------- |