forked from Deducteam/lambdapi
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.travis.yml
39 lines (34 loc) · 973 Bytes
/
.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
dist: trusty
language: c
cache:
directories:
- $HOME/.opam
env:
global:
- OPAMJOBS="2"
- OPAMYES="true"
- OPAMVERBOSE="true"
- TEST_TARGETS="unit_tests real_tests"
matrix:
- OCAML_VERSION=4.04.1
- OCAML_VERSION=4.04.2
- OCAML_VERSION=4.05.0
- OCAML_VERSION=4.06.0
- OCAML_VERSION=4.06.1
- OCAML_VERSION=4.07.0
- OCAML_VERSION=4.07.0 TEST_TARGETS=opam-release EXTRA_OPAM=dune-release
before_install:
# Obtain and install opam locally.
- sudo wget https://github.com/ocaml/opam/releases/download/2.0.0/opam-2.0.0-x86_64-linux -O /usr/bin/opam
- sudo chmod 755 /usr/bin/opam
# Initialize the switch.
- opam init -a --disable-sandboxing --compiler="$OCAML_VERSION"
- opam update
- opam switch "$OCAML_VERSION"
- eval $(opam env)
- opam install dune menhir bindlib.5.0.0 timed.1.0 earley.2.0.0 yojson cmdliner ppx_inline_test $EXTRA_OPAM
script:
- make $TEST_TARGETS
notifications:
email: