forked from HoTT/Coq-HoTT
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
53 lines (39 loc) · 3.17 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
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="" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="yes" BUILD_COQ="yes" UPDATE_OPAM="" FORCE_COQ_VERSION=""
- UPDATE_HTML="" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="yes" UPDATE_AUTOGEN="yes" UPDATE_DEP_GRAPHS="" BUILD_COQ="yes" UPDATE_OPAM="yes" FORCE_COQ_VERSION=""
- UPDATE_HTML="yes" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="" BUILD_COQ="yes" UPDATE_OPAM="" FORCE_COQ_VERSION=""
- UPDATE_HTML="" WITH_AUTORECONF="" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="" BUILD_COQ="yes" UPDATE_OPAM="" FORCE_COQ_VERSION=""
- UPDATE_HTML="" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="" BUILD_COQ="" UPDATE_OPAM="" FORCE_COQ_VERSION=""
- UPDATE_HTML="" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="" BUILD_COQ="yes" UPDATE_OPAM="" FORCE_COQ_VERSION=""
- UPDATE_HTML="" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="" BUILD_COQ="yes" UPDATE_OPAM="" FORCE_COQ_VERSION="v8.5"
- UPDATE_HTML="" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="" BUILD_COQ="yes" UPDATE_OPAM="" FORCE_COQ_VERSION="trunk"
global:
# encrypted version of deploy key for pushing
- secure: "Cm2e4Tvpm+sPTGXZV1ztSA81+PXjYCKOm0rqsfPVZprHSpucP6wbn+6HYJxbrbsI6UIE90/MhEpYScQLVR4OfpOKEQCTdWFMBi0uwhYRygeizdApY4pn/yHR6+pqSm7g5ZF5qOFVUDi48gimVeCgs7hoEEb1Ka8ucaI7Oo0q0f8="
matrix:
fast_finish: true
allow_failures:
- env: UPDATE_HTML="" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="" BUILD_COQ="" UPDATE_OPAM="" FORCE_COQ_VERSION=""
- env: UPDATE_HTML="" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="" BUILD_COQ="yes" UPDATE_OPAM="" FORCE_COQ_VERSION="v8.5"
- env: UPDATE_HTML="" WITH_AUTORECONF="yes" UPDATE_QUICK_DOC="" UPDATE_AUTOGEN="" UPDATE_DEP_GRAPHS="" BUILD_COQ="yes" UPDATE_OPAM="" FORCE_COQ_VERSION="trunk"
before_script:
- uname -a
- ./etc/ci/before_script.sh
- source ./etc/ci/travis_keep_alive.sh
- export COMMITISH="$(git rev-list HEAD -1)"
# 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 && if [ -z \"$UPDATE_QUICK_DOC\" ]; then make strict-test && ./etc/coq-scripts/timing/make-pretty-timed.sh V=1 -j2 && make && ./etc/ci/test-install-target.sh && ./etc/coq-scripts/timing/cat-timing-files.sh && cat ./time-of-build-pretty.log && echo; fi && ./etc/ci/after_success.sh"
after_success:
- kill $PID_KEEP_ALIVE