forked from jscoq/jscoq
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
73 lines (63 loc) · 1.44 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
language: node_js
node_js:
- "8"
matrix:
include:
- os: linux
env: JSCOQ_ARCH=32
- os: osx
env: JSCOQ_ARCH=64
branches:
only:
- v8.8
- v8.9
- v8.9+worker
- v8.10
- v8.11
addons:
apt:
packages:
- gcc-multilib
homebrew:
update: true
packages:
- opam
cache:
apt: true
directories:
- $HOME/.opam
- $HOME/Library/Caches/Homebrew
env:
global:
- NJOBS="2"
- OPAMROOTISOK="true"
- OPAMYES="true"
- OPAMJOBS="2"
- OPAM_LINUX_URL=https://github.com/ocaml/opam/releases/download/2.0.6/opam-2.0.6-x86_64-linux
before_install:
- if [ "$TRAVIS_OS_NAME" = "linux" ]; then
sudo curl -sL $OPAM_LINUX_URL -o /usr/bin/opam &&
sudo chmod 755 /usr/bin/opam; fi
before_cache:
- if [ "$TRAVIS_OS_NAME" = "osx" ]; then brew cleanup; fi
install:
- opam init -y --bare --disable-sandboxing || true
- eval $(opam env)
- ./etc/toolchain-setup.sh --"$JSCOQ_ARCH"
- eval $(opam env)
- opam switch
- opam list
- opam config var root
- git submodule update --remote
script:
- echo 'Using Node.js:' && node --version
- set -e
- echo 'Building Coq...' && echo -en 'travis_fold:start:coq.build\\r'
- make coq-get
- echo -en 'travis_fold:end:coq.build\\r'
- echo 'Building JsCoq...' && echo -en 'travis_fold:start:jscoq.build\\r'
- make jscoq
- echo -en 'travis_fold:end:jscoq.build\\r'
- echo 'Building Addons...' && echo -en 'travis_fold:start:addons.build\\r'
- make addons
- echo -en 'travis_fold:end:addons.build\\r'