Project

General

Profile

Revision 6d7d1264

View differences:

.travis.yml
24 24
  - export LZ="$TRAVIS_BUILD_DIR/../zustre"
25 25
  - git clone https://github.com/coco-team/zustre $LZ
26 26
  - ls $LZ
27
  - export Z3="$TRAVIS_BUILD_DIR/../z3"
28
  - mkdir -p $Z3
29
  - wget --output-document=zustre.tar.gz  https://www.dropbox.com/s/wqvh31085s49ia4/zustre.tar.gz?dl=1;
30
  - tar xvf zustre.tar.gz --strip-components=1 -C $Z3;
31
  - ls $LZ
32
  - ls $Z3
27 33

  
28 34
before_script:
29 35
  - ocaml -version
......
37 43
  - cd $LZ
38 44
  - mkdir -p build
39 45
  - cd build
40
  - /usr/bin/cmake -DLUSTREC_EXECUTABLE=/home/travis/build/coco-team/lustrec/bin/lustrec -DZ3_ROOT=$LZ -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=run -DCMAKE_PROGRAM_PATH=/usr/bin  ../;
46
  - /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  ../;
41 47
  - /usr/bin/cmake --build .
42 48
  - /usr/bin/cmake --build . --target install 
43 49
  - cd ..

Also available in: Unified diff