This repository has been archived by the owner on Aug 27, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy path.travis.yml
67 lines (67 loc) · 3.2 KB
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
language: cpp
compiler:
- gcc
- clang
env:
- TARGET=release TASK=buildExecutables
- TARGET=debug TASK=buildExecutables
- TARGET=release TASK=buildLibraries
- TARGET=debug TASK=buildLibraries
before_install:
- sudo add-apt-repository ppa:ubuntu-toolchain-r/test -y
- sudo add-apt-repository ppa:boost-latest/ppa -y
- sudo apt-get -qq update
- if [[ "$TARGET" = "debug" ]]; then
- export CONFIG=debug=1
- if [[ "$TASK" = "buildExecutables" ]]; then
- export MEMCHECK="valgrind --leak-check=full"
- fi
- fi
install:
- if [[ "$CXX" = "g++" ]]; then
- sudo apt-get -qq install gcc-4.8 g++-4.8
- export CXX="g++-4.8" CC="gcc-4.8"
- sudo apt-get -qq install libboost1.48-dev libboost-program-options1.48-dev libboost-program-options1.48.0 libboost-test1.48-dev libboost-test1.48.0
- fi
- if [[ "$CXX" = "clang++" ]]; then
- sudo apt-get -qq install libboost1.54-dev libboost-program-options1.54-dev libboost-program-options1.54.0 libboost-test1.54-dev libboost-test1.54.0
- fi
- sudo apt-get -qq install flex bison libgmp-dev glpk scons
- $CXX --version
- flex --version
- bison --version
- scons --version
- if [[ ! -z "$MEMCHECK" ]]; then
- sudo apt-get -qq install valgrind
- valgrind --version
- fi
script: scons -Q $TASK --implicit-deps-unchanged --jobs 4 $CONFIG
after_success:
- ls -la bin/$TARGET
- if [[ "$TASK" = "buildExecutables" ]]; then
- if [[ "$TARGET" = "debug" ]]; then
- $MEMCHECK bin/$TARGET/ModelsTests
- $MEMCHECK bin/$TARGET/RoutinesTests
- $MEMCHECK bin/$TARGET/GTLTests
- $MEMCHECK bin/$TARGET/ProgramsTests
- fi
- $MEMCHECK bin/$TARGET/gtl_program -i examples/strategic_form_game.gtl
- $MEMCHECK bin/$TARGET/gtl_program -i examples/extensive_form_game.gtl
- $MEMCHECK bin/$TARGET/gtl_program -i examples/properties_querying.gtl
- $MEMCHECK bin/$TARGET/gtl_program -i examples/battle_of_the_sexes.gtl
- $MEMCHECK bin/$TARGET/gtl_program -i examples/chicken.gtl
- $MEMCHECK bin/$TARGET/gtl_program -i examples/peace_war.gtl
- $MEMCHECK bin/$TARGET/gtl_program -i examples/prisoners_dilemma.gtl
- $MEMCHECK bin/$TARGET/gtl_program -i examples/rock_paper_scissors.gtl
- $MEMCHECK bin/$TARGET/gtl_program -i examples/stag_hunt.gtl
- $MEMCHECK bin/$TARGET/gtl_program -i examples/ultimatum_game.gtl
- if [[ "$TARGET" = "release" ]]; then
- bin/$TARGET/gtl_program -i examples/travellers_dilemma.gtl
- fi
- fi
branches:
except: gh-pages
notifications:
email:
on_success: never
on_failure: change