forked from utwente-fmt/ltsmin
-
Notifications
You must be signed in to change notification settings - Fork 1
/
.travis.yml
182 lines (175 loc) · 4.48 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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
language: cpp
dist: trusty
cache:
directories:
- $HOME/ltsmin-deps
# - $HOME/.cabal
addons:
apt:
sources:
- ubuntu-toolchain-r-test # for gcc-6
packages:
- asciidoc
- dejagnu
- doxygen
- g++-6
- gcc-6
- libboost-dev
- libgmp-dev
- liblzma-dev
- libpopt-dev
- zlib1g-dev
- xmlto
stage: cache warmup
before_install:
- travis/before_install-$TRAVIS_OS_NAME.sh
- export TAG_OR_BRANCH=${TRAVIS_TAG:-$TRAVIS_BRANCH}
- export BUILD_TARGET=${BUILD_TARGET:-$TRAVIS_OS_NAME}
- export LTSMIN_DISTNAME="ltsmin-$TAG_OR_BRANCH-$BUILD_TARGET"
jobs:
include:
- compiler: clang
os: osx
install: travis/install-osx.sh
script: skip
- compiler: gcc
os: linux
install: travis/install-linux.sh
script: skip
- compiler: clang
os: osx
install: travis/install-mCRL2-osx.sh
script: skip
- compiler: gcc
os: linux
install: travis/install-mCRL2-linux.sh
script: skip
- compiler: gcc
os: linux
sudo: required
install: travis/install-windows.sh
script: skip
env:
- CACHE_NAME=Windows BUILD_TARGET=windows
- os: osx
compiler: clang
install: travis/install-osx.sh
before_script:
- travis/install-DiVinE.sh
- travis/install-ProB-osx.sh
script: travis/test-1.sh
stage: test
- os: linux
compiler: gcc
install: travis/install-linux.sh
before_script:
- travis/install-DiVinE.sh
- travis/install-ProB-linux.sh
script: travis/test-1.sh
stage: test
- os: osx
compiler: clang
install:
- travis/install-osx.sh
- travis/install-mCRL2-osx.sh
before_script:
- travis/install-DiVinE.sh
script: travis/test-2.sh
stage: test
- os: linux
compiler: gcc
install:
- travis/install-linux.sh
- travis/install-mCRL2-linux.sh
before_script:
- travis/install-DiVinE.sh
script: travis/test-2.sh
stage: test
- compiler: gcc
os: linux
sudo: required
install: travis/install-windows.sh
script: travis/test-windows.sh
env:
- CACHE_NAME=Windows BUILD_TARGET=windows
stage: test
- compiler: gcc # here starts 'deploy' stage
os: linux
install:
- travis/install-linux.sh
- travis/install-mCRL2-linux.sh
script:
- travis/build-source.sh
- travis/build-web.sh
- . travis/ltsmin-version.sh
deploy:
- provider: releases
# define $GITHUB_TOKEN in Travis CI build environment.
api_key: $GITHUB_TOKEN
file:
- "ltsmin-$TRAVIS_TAG-source.tgz"
skip_cleanup: true
on:
tags: true
- provider: pages
local_dir: www/_site
skip_cleanup: true
# define $GITHUB_TOKEN in Travis CI build environment.
github_token: $GITHUB_TOKEN
on:
tags: true
condition: "x$TRAVIS_TAG = xv$LTSMIN_VERSION"
stage: deploy
- compiler: gcc
os: linux
install:
- travis/install-linux.sh
- travis/install-mCRL2-linux.sh
script:
- travis/build-release-linux.sh
deploy:
- provider: releases
# define $GITHUB_TOKEN in Travis CI build environment.
api_key: $GITHUB_TOKEN
file:
- "/tmp/$LTSMIN_DISTNAME.tgz"
skip_cleanup: true
on:
tags: true
stage: deploy
- compiler: clang
os: osx
install:
- travis/install-osx.sh
- travis/install-mCRL2-osx.sh
script:
- travis/build-release-osx.sh
deploy:
- provider: releases
# define $GITHUB_TOKEN in Travis CI build environment.
api_key: $GITHUB_TOKEN
file:
- "/tmp/$LTSMIN_DISTNAME.tgz"
skip_cleanup: true
on:
tags: true
stage: deploy
- compiler: gcc
os: linux
sudo: required
install:
- travis/install-windows.sh
script:
- travis/build-release-windows.sh
deploy:
- provider: releases
# define $GITHUB_TOKEN in Travis CI build environment.
api_key: $GITHUB_TOKEN
file:
- "/tmp/$LTSMIN_DISTNAME.tgz"
skip_cleanup: true
on:
tags: true
stage: deploy
env:
- CACHE_NAME=Windows BUILD_TARGET=windows