Revision e057dd08
Added by Teme Kahsai over 6 years ago
| .travis.yml | ||
|---|---|---|
| 6 | 6 |
before_install: |
| 7 | 7 |
- until sudo add-apt-repository -y ppa:saiarcot895/chromium-beta; do echo retry; done |
| 8 | 8 |
- until sudo add-apt-repository --yes ppa:kalakris/cmake; do echo retry; done |
| 9 |
- until sudo apt-get -qq update; do echo retry; done
|
|
| 9 |
- until sudo apt-get -qq update; do echo retry; done |
|
| 10 | 10 |
- until sudo apt-get install cmake; do echo retry; done |
| 11 | 11 |
- OPAM_DEPENDS="ocamlgraph ocamlfind" |
| 12 | 12 |
- chmod +x ./.ocaml-config.sh |
| ... | ... | |
| 24 | 24 |
- ls $LZ |
| 25 | 25 |
- export Z3="$TRAVIS_BUILD_DIR/../z3" |
| 26 | 26 |
- mkdir -p $Z3 |
| 27 |
- wget --output-document=zustre.tar.gz https://www.dropbox.com/s/wqvh31085s49ia4/zustre.tar.gz?dl=1;
|
|
| 27 |
- wget --output-document=zustre.tar.gz https://www.dropbox.com/s/9cvef743630rten/zustre.tar.gz?dl=1;
|
|
| 28 | 28 |
- tar xvf zustre.tar.gz --strip-components=1 -C $Z3; |
| 29 | 29 |
- ls $LZ |
| 30 | 30 |
- ls $Z3 |
| ... | ... | |
| 43 | 43 |
- cd build |
| 44 | 44 |
- /usr/bin/cmake -DLUSTREC_EXECUTABLE=/home/travis/build/coco-team/lustrec/bin/lustrec -DZ3_ROOT=$Z3 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=run -DCMAKE_PROGRAM_PATH=/usr/bin ../; |
| 45 | 45 |
- /usr/bin/cmake --build . |
| 46 |
- /usr/bin/cmake --build . --target install
|
|
| 46 |
- /usr/bin/cmake --build . --target install |
|
| 47 | 47 |
- cd .. |
| 48 | 48 |
- ls build/run/bin |
| 49 | 49 |
- ./build/run/bin/zustre -h |
| 50 | 50 |
- python src/reg_test.py ./build/run/bin/zustre |
| 51 |
|
|
| 51 |
|
|
| 52 | 52 |
|
| 53 | 53 |
|
| 54 | 54 |
|
Also available in: Unified diff
adjusting travis