forked from gap-system/gap
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
61 lines (59 loc) · 1.74 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
language: c
matrix:
include:
- os: linux
env: TEST_SUITE=testtravis
compiler: gcc
addons:
apt_packages:
- libgmp-dev
- os: osx
env: TEST_SUITE=testtravis
compiler: clang
addons:
apt_packages:
- libgmp-dev
- os: linux
env: TEST_SUITE=testinstall
compiler: gcc
addons:
apt_packages:
- libgmp-dev
- os: linux
env: TEST_SUITE=testbugfix
compiler: gcc
addons:
apt_packages:
- libgmp-dev
- os: linux
env: TEST_SUITE=makemanuals
compiler: gcc
addons:
apt_packages:
- libgmp-dev
- texlive-latex-base
- texlive-latex-recommended
- texlive-latex-extra
- texlive-extra-utils
- texlive-fonts-recommended
- texlive-fonts-extra
- os: linux
env: TEST_SUITE=testtravis ABI=32
compiler: gcc
addons:
apt_packages:
- libgmp-dev:i386
- gcc-multilib
- os: linux
env: TEST_SUITE=testinstall ABI=32
compiler: gcc
addons:
apt_packages:
- libgmp-dev:i386
- gcc-multilib
script:
- ./configure --with-gmp=system
- make
- make bootstrap-pkg-full
- if [ $TEST_SUITE = 'makemanuals' ]; then if [ $TRAVIS_OS_NAME = 'linux' ]; then make manuals ; cat doc/*/make_manuals.out ; if [ `cat doc/*/make_manuals.out | grep -c "manual.lab written"` != '3' ]; then echo "Build failed"; exit 1; fi; fi; fi
- if [ $TEST_SUITE != 'makemanuals' ]; then echo "Read(\"tst/${TEST_SUITE}.g\"); quit;" | sh bin/gap.sh | tee testlog.txt | grep --colour=always -E "########> Diff|$"; cat testlog.txt | tail -n 2 | grep "total"; ( ! grep "########> Diff" testlog.txt ); fi