forked from fplll/fplll
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.travis.yml
131 lines (123 loc) · 3.65 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
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 reinstall gmp
- brew install mpfr qd autoconf libtool clang-format
install:
- export CXX="$COMPILER"
- $CXX --version
before_script:
- "./autogen.sh"
- "./configure"
- bash .travis-check-style.sh # check that clang-format was used
script:
- make
- make check
- make distcheck
notifications:
on_success: change
on_failure: always
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