forked from gap-system/gap
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
42 lines (42 loc) · 1.41 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
os:
- linux
- osx
env:
- TEST_SUITE=testinstall
- TEST_SUITE=testtravis
- TEST_SUITE=testbugfix
language: c
compiler:
- gcc
- clang
branches:
only:
- master
- hpcgap-default
# Change this to your needs
before_install:
- sudo apt-get update -qq
- sudo apt-get install -qq libgmp3-dev
script:
- ./configure --with-gmp=system
- make
- mkdir pkg
- cd pkg
- wget ftp://ftp.gap-system.org/pub/gap/gap47/tar.gz/packages/GAPDoc-1.5.1.tar.gz
- wget ftp://ftp.gap-system.org/pub/gap/gap47/tar.gz/packages/autpgrp-1.5.tar.gz
- wget ftp://ftp.gap-system.org/pub/gap/gap47/tar.gz/packages/atlasrep1r5p0.tar.gz
- wget ftp://ftp.gap-system.org/pub/gap/gap47/tar.gz/packages/ctbllib-1r2p2.tar.gz
- wget ftp://ftp.gap-system.org/pub/gap/gap47/tar.gz/packages/grpconst-2.3.tar.gz
- wget ftp://ftp.gap-system.org/pub/gap/gap47/tar.gz/packages/irredsol-1r2n4.tar.gz
- wget ftp://ftp.gap-system.org/pub/gap/gap47/tar.gz/packages/tomlib1r2p4.tar.gz
- tar xvzf GAPDoc-1.5.1.tar.gz
- tar xvzf autpgrp-1.5.tar.gz
- tar xvzf atlasrep1r5p0.tar.gz
- tar xvzf ctbllib-1r2p2.tar.gz
- tar xvzf grpconst-2.3.tar.gz
- tar xvzf irredsol-1r2n4.tar.gz
- tar xvzf tomlib1r2p4.tar.gz
- cd ..
- 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 )