forked from HoTT/Coq-HoTT
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
41 lines (28 loc) · 1.07 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
language: python
# python, for proviola
python:
- "2.7"
# don't build the autogenerated master-with-autoreconf-files
branches:
except:
- master-with-autoreconf-files
env:
matrix:
- UPDATE_HTML="yes" WITH_AUTORECONF="yes"
- UPDATE_HTML="" WITH_AUTORECONF=""
global:
# encrypted version of deploy key for pushing
- secure: "BbEmeDrctsjexOh5wOT+/3dsXzLu9WyTNwtP9cc6KDMQN+TOZ08nl1zRMJ8ICRA+TcEWWydgks4T4vi3RMWfjW4WFiblpi/qy/t9XiCC/50JEXtIjiwaTsIjpa8wjRiHCmgvZmoWfuOPnBNyXTVInmu0NhpZaA/hZJ4CQjJqu3k="
before_script:
- ./etc/ci/before_script.sh
- source ./etc/ci/travis_keep_alive.sh
install:
- pip install lxml pexpect-u
# we must run make at the end, because the success of
# `make-pretty-timed` is not an indication that the build succeeded.
# We also use `make strict-test` at the beginning so that we error
# quickly if someone commited .v files but neglected to mention them.
script: "./autogen.sh && ./configure && make strict-test && ./etc/timing/make-pretty-timed.sh V=1 -j2 && make"
after_success:
- ./etc/ci/after_success.sh
- kill $PID_KEEP_ALIVE