forked from agda/agda-ocaml
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
86 lines (62 loc) · 1.83 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
# Request Ubuntu Trusty (14.04 LTS).
dist: trusty
sudo: required
cache:
directories:
- $HOME/.stack
##############################################################################
# Tests
matrix:
include:
- env: TEST=STACK BUILD=STACK
addons:
apt:
packages:
- make
- curl
- m4
- libcap-dev
##############################################################################
before_install:
- if [[ $BUILD = "STACK" ]]; then
mkdir -p ~/.local/bin &&
travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack' &&
export PATH=$HOME/.local/bin:$PATH &&
export PARALLEL_TESTS=2 &&
travis_retry echo -e "\n" | sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh);
fi
###############################################################################
install:
# How much memory we have.
- ulimit -S -s 5000000
- ulimit -S -a
- vmstat -s
# Asking for the shell.
- echo $SHELL
- if [[ $BUILD = "STACK" ]]; then
sh ./install_bwrap.sh;
fi
- if [[ $BUILD = "STACK" ]]; then
opam init --bare -y &&
opam switch create 4.07.0+flambda &&
opam switch 4.07.0+flambda &&
eval $(opam env) &&
opam install -y ocamlfind &&
opam install -y malfunction.0.3 zarith-freestanding uutf uunf uucp lwt;
fi
- if [[ $BUILD = "STACK" ]]; then
echo "*** Stack version ***" &&
stack --version &&
opam --version &&
ocaml --version;
fi
- if [[ $BUILD = "STACK" ]]; then
travis_wait 120 make;
fi
script:
- if [[ $BUILD = "STACK" ]]; then
make AGDA_TESTS_OPTIONS="-j${PARALLEL_TESTS}" compiler-test;
fi
branches:
only:
- master