File: .travis.yml

package info (click to toggle)
gap 4r8p6-2
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 33,476 kB
  • ctags: 7,663
  • sloc: ansic: 108,841; xml: 47,807; sh: 3,628; perl: 2,342; makefile: 796; asm: 62; awk: 6
file content (61 lines) | stat: -rw-r--r-- 1,786 bytes parent folder | download | duplicates (2)
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