-
Notifications
You must be signed in to change notification settings - Fork 2
/
.travis.yml
136 lines (127 loc) · 3.75 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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
sudo: required
dist: trusty
language: cpp
matrix:
include:
- os: linux
compiler: gcc
env: COMPILER=g++-4.8 CLANGFORMAT=clang-format-3.9
addons:
apt:
packages:
- g++-4.8
- libgmp-dev
- libmpfr-dev
- libqd-dev
before_install:
- sudo add-apt-repository 'deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-3.9 main'
- wget -O - http://llvm.org/apt/llvm-snapshot.gpg.key | sudo apt-key add -
- sudo apt-get update -qq
- sudo apt-get install -qq -y clang-format-3.9
- os: linux
compiler: gcc
env: COMPILER=g++-4.9 CLANGFORMAT=clang-format-3.9
addons:
apt:
sources:
- ubuntu-toolchain-r-test
packages:
- g++-4.9
- libgmp-dev
- libmpfr-dev
- libqd-dev
before_install:
- sudo add-apt-repository 'deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-3.9 main'
- wget -O - http://llvm.org/apt/llvm-snapshot.gpg.key | sudo apt-key add -
- sudo apt-get update -qq
- sudo apt-get install -qq -y clang-format-3.9
- os: linux
compiler: gcc
env: COMPILER=g++-5 CLANGFORMAT=clang-format-3.9
addons:
apt:
sources:
- ubuntu-toolchain-r-test
packages:
- g++-5
- libgmp-dev
- libmpfr-dev
- libqd-dev
before_install:
- sudo add-apt-repository 'deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-3.9 main'
- wget -O - http://llvm.org/apt/llvm-snapshot.gpg.key | sudo apt-key add -
- sudo apt-get update -qq
- sudo apt-get install -qq -y clang-format-3.9
- os: linux
compiler: gcc
env: COMPILER=g++-6 CLANGFORMAT=clang-format-3.9 CXXFLAGS="-O3 -ggdb -fprofile-arcs -ftest-coverage"
addons:
apt:
sources:
- ubuntu-toolchain-r-test
packages:
- g++-6
- libgmp-dev
- libmpfr-dev
- libqd-dev
before_install:
- sudo add-apt-repository 'deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-3.9 main'
- wget -O - http://llvm.org/apt/llvm-snapshot.gpg.key | sudo apt-key add -
- sudo apt-get update -qq
- sudo apt-get install -qq -y clang-format-3.9
script:
- make
- make check
- cd fplll && gcov --object-directory .libs *.cpp && cd ..
- make distcheck
after_success:
- bash <(curl -s https://codecov.io/bash)
- os: linux
compiler: clang
env: COMPILER=clang++ CLANGFORMAT=clang-format-3.9
addons:
apt:
packages:
- libgmp-dev
- libmpfr-dev
- libqd-dev
before_install:
- sudo add-apt-repository 'deb http://apt.llvm.org/trusty/ llvm-toolchain-trusty-3.9 main'
- wget -O - http://llvm.org/apt/llvm-snapshot.gpg.key | sudo apt-key add -
- sudo apt-get update -qq
- sudo apt-get install -qq -y clang-format-3.9
- os: osx
compiler: clang
env: COMPILER=clang++ CLANGFORMAT=clang-format
before_install:
- brew update
- brew reinstall gmp
- brew install qd autoconf libtool clang-format
install:
- export CXX="$COMPILER"
- $CXX --version
before_script:
- "./autogen.sh"
- "./configure --disable-static --with-max-enumeration-dimension=64"
- bash .travis-check-style.sh # check that clang-format was used
script:
- make
- make check
- make distcheck
notifications:
on_success: change
on_failure: always
# branches:
# only:
# - master
deploy:
provider: releases
file_glob: true
skip_cleanup: true
api_key:
secure: WsT8rFbwkPlsti2VTEsItUgkWyrhL68ybouz5/U0vGhI/KC3xh2CXhzlJes/vKaTli6GI+xLtwLz3gw7hruEGBnQ/bUCpKoljuF087fXjCGs93Vk7V5kPxfWEZ8p4YhuOVi2HVdp9zeiPOW+Nk2UMIjz19Bne2aypOIxcCfyI5c=
file: fplll-*.tar.gz
on:
repo: fplll/fplll
tags: true
all_branches: true