diff options
| author | Ajax <commial@gmail.com> | 2015-03-23 14:52:40 +0100 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2015-03-23 14:52:40 +0100 |
| commit | f602324faa32bd58e3b93d48f68cb66446b30b95 (patch) | |
| tree | e5914ec76d8f5b6bd096988781a5b81f2c4f1f86 /.travis.yml | |
| parent | b1d60be94658e7d839c0552f0727ac3274de5804 (diff) | |
| download | focaccia-miasm-f602324faa32bd58e3b93d48f68cb66446b30b95.tar.gz focaccia-miasm-f602324faa32bd58e3b93d48f68cb66446b30b95.zip | |
TravisCI: Add Z3
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 9876a965..9d7b8c2b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -10,6 +10,7 @@ apt_packages: before_script: - "git clone http://repo.or.cz/tinycc.git tinycc && cd tinycc && git checkout d5e22108a0dc48899e44a158f91d5b3215eb7fe6 && ./configure --disable-static && make && sudo make install && sudo ldconfig && cd ..;" - "hg clone https://code.google.com/p/elfesteem/ elfesteem && cd elfesteem && python setup.py install && cd ..;" +- "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 && cd build && make -j 32 && sudo make install && cd ../.." - "pip install pyparsing" - "python setup.py install" script: "cd test && python test_all.py -m" |