forked from racket/typed-racket
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
52 lines (44 loc) · 2.51 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
sudo: false
language: c
env:
- TESTS=unit PLT_TR_CONTRACTS=1 PATH=~/racket/bin:$PATH
- TESTS=unit VARIANT=cs PATH=~/racket/bin:$PATH
- TESTS=int PATH=~/racket/bin:$PATH
- TESTS=int VARIANT=cs PATH=~/racket/bin:$PATH
- TESTS=math PATH=~/racket/bin:$PATH
- TESTS=math VARIANT=cs PATH=~/racket/bin:$PATH
- TESTS=extra PATH=~/racket/bin:$PATH
- TESTS=extra VARIANT=cs PATH=~/racket/bin:$PATH
matrix:
allow_failures:
- env: TESTS=unit VARIANT=cs PATH=~/racket/bin:$PATH
- env: TESTS=int VARIANT=cs PATH=~/racket/bin:$PATH
- env: TESTS=math VARIANT=cs PATH=~/racket/bin:$PATH
- env: TESTS=extra VARIANT=cs PATH=~/racket/bin:$PATH
services:
- xvfb
before_install:
- "/sbin/start-stop-daemon --start --quiet --pidfile /tmp/custom_xvfb_99.pid --make-pidfile --background --exec /usr/bin/Xvfb -- :99 -ac -screen 0 1280x1024x16"
- if [ $VARIANT = "cs" ]; then curl -L -o installer.sh http://www.cs.utah.edu/plt/snapshots/current/installers/racket-current-x86_64-linux-cs-xenial.sh; else curl -L -o installer.sh http://www.cs.utah.edu/plt/snapshots/current/installers/racket-current-x86_64-linux-precise.sh; fi
- sh installer.sh --in-place --dest ~/racket/
install:
- raco pkg install --auto -i --no-setup --skip-installed typed-racket-test # so that this works for Utah snapshots
- racket -l- pkg/dirs-catalog --link --check-metadata pkgs-catalog .
- echo file://`pwd`/pkgs-catalog/ > catalog-config.txt
- raco pkg config catalogs >> catalog-config.txt
- raco pkg config --set catalogs `cat catalog-config.txt`
- raco pkg update -i --auto --no-setup source-syntax/ typed-racket-lib/ typed-racket-more/ typed-racket-compatibility/ typed-racket-doc/ typed-racket/ typed-racket-test/
- raco setup --check-pkg-deps typed typed-racket typed-racket-test typed-scheme
script:
- if [ $TESTS = "unit" ]; then racket -l typed-racket-test -- --unit; fi
- if [ $TESTS = "int" ]; then racket -l typed-racket-test -- --int; fi
- if [ $TESTS = "int" ]; then racket -l typed-racket-test -- --opt; fi
- if [ $TESTS = "int" ]; then racket -l typed-racket-test -- --missed-opt; fi
- if [ $TESTS = "int" ]; then racket -l typed-racket-test/test-docs-complete; fi
- if [ $TESTS = "math" ]; then raco setup -j 1 math; fi
- if [ $TESTS = "math" ]; then racket -l typed-racket-test -- --math; fi
- if [ $TESTS = "extra" ]; then racket -l typed-racket-test/historical-counterexamples; fi
- if [ $TESTS = "extra" ]; then racket -l typed-racket-test/test-docs-complete; fi
- if [ $TESTS = "extra" ]; then racket -l typed-racket-test/tr-random-testing; fi
- echo "done"
after_script: