-
Notifications
You must be signed in to change notification settings - Fork 3
/
.travis.yml
53 lines (43 loc) · 972 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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
---
os:
- linux
language: c
node_js:
- "5.10.1"
env:
- export NODE_VERSION="5.10.1"
addons:
apt:
packages:
- libgc-dev
- libgmp-dev
before_install:
- date
- export PATSHOME=${HOME}/ATS2
- export PATH=${PATH}:${PATSHOME}/bin
- export XATSHOME=${TRAVIS_BUILD_DIR}
- export GCC=gcc
- export CLANG=clang
install:
# $XATSHOME/travis-ci/install-ats2.sh 0.4.0
# $XATSHOME/travis-ci/install-ats2.sh 0.4.1
- $XATSHOME/travis-ci/install-ats2.sh 0.4.2
after_install:
- date
before_script:
- date
script:
# Building ATS2
- cd ${PATSHOME}
- ./configure&&make CC=${GCC} all
# Building Xanadu
- cd ${XATSHOME}/srcgen
- echo 'building ATS-Xanadu...'
- (cd xats && make all)
- echo 'running xutl unit-tests...'
- (cd xutl/TEST && make testall)
- (cd xutl/TEST/Posix && make testall)
- echo 'running xats unit-tests...'
- (cd xats/TEST && make XATSOPT=./../xatsopt -f Makefile_test all)
after_script:
- date