Project

General

Profile

Revision e057dd08 .travis.yml

View differences:

.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