forked from gap-system/gap
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
33 lines (32 loc) · 992 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
os:
- linux
- osx
env:
- TEST_SUITE=testinstall
- TEST_SUITE=testtravis
- TEST_SUITE=testbugfix
- TEST_SUITE=makemanuals
language: c
compiler:
- gcc
- clang
branches:
only:
- master
- hpcgap-default
# Change this to your needs
addons:
apt_packages:
- libgmp3-dev
- texlive-latex-base
- texlive-latex-recommended
- texlive-latex-extra
- texlive-extra-utils
- texlive-fonts-recommended
- texlive-fonts-extra
script:
- ./configure --with-gmp=system
- make
- make bootstrap-pkg-full
- if [ $TEST_SUITE = 'makemanuals' ]; 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
- 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