forked from msoos/cryptominisat
/
.travis.yml
154 lines (131 loc) · 4.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
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
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
language: cpp
cache: ccache
branches:
only:
- master
- coverity_scan
# not container-based
sudo: required
env:
global:
# below is coveralls token
- secure: "fZqRStzy+aN3BPTRcc97+J4oidbIXcHlAQo2Sc25WGS1pV4+NOiM/gJeh+7WDfPmszXZBHdyyg/XPXeI86OMikXL7DaG53D/6Zq+qzVehyTlHi3sT93sDs53FbwAqa5F/dDf+z74VK7P+pQZkAr96ra8sU0Pz9nWr/8XhSpdZlE="
# below is coverity token
- secure: "WXFslB4aWOcCtMYnNlIYLkxi0aQ8R9ApMmV3fWlGN98gm2+5aaDKsRxpy9Q25ghQNgouS894klSqJhfB9Xa7SW389LHVor3FIYvYHZC0vSQQjFMg4/kUZg+t3HXhRt4254sxIJrTXSeF/3nOq1HMVIk4UanVUp7aihEyNcfJ6rk="
matrix:
include:
- os: osx
osx_image: xcode11.3
compiler: clang
python: "3.7"
env:
- CMS_CONFIG=NORMAL
- os: linux
dist: bionic
compiler: gcc
python: "3.7"
env:
- CMS_CONFIG=NORMAL
- os: linux
dist: bionic
compiler: clang
python: "3.7"
env:
- CMS_CONFIG=NORMAL
- os: linux
dist: bionic
compiler: gcc
python: "2.7"
env:
- CMS_CONFIG=NORMAL_PYTHON2
- os: linux
dist: bionic
compiler: clang
python: "2.7"
env:
- CMS_CONFIG=NORMAL_PYTHON2
- os: linux
dist: bionic
compiler: clang
python: "3.7"
env:
- CMS_CONFIG=GAUSS
- os: linux
dist: bionic
compiler: clang
python: "3.7"
env:
- CMS_CONFIG=INTREE_BUILD
- os: linux
dist: bionic
compiler: clang
python: "3.7"
env:
- CMS_CONFIG=STATS
- os: linux
dist: bionic
compiler: clang
python: "3.7"
env:
- CMS_CONFIG=STATIC
#- os: linux
#compiler: gcc
#env: COVERITY_SCAN=1 CMS_CONFIG=NORMAL
#- CMS_CONFIG=LARGEMEM_GAUSS
#- CMS_CONFIG=ONLY_SIMPLE
#- CMS_CONFIG=NOZLIB
#- CMS_CONFIG=RELEASE
#- CMS_CONFIG=NOSQLITE
#- CMS_CONFIG=NOPYTHON
#- CMS_CONFIG=SQLITE
#- CMS_CONFIG=M4RI
#- CMS_CONFIG=SLOW_DEBUG
#- CMS_CONFIG=NOTEST
#- CMS_CONFIG=ONLY_SIMPLE_STATIC
allow_failures:
# Covertiy scan might fail
- env: COVERITY_SCAN=1 CMS_CONFIG=NORMAL
addons:
coverity_scan:
project:
name: "msoos/cryptominisat"
description: "Advanced SAT solver"
notification_email: soos.mate@gmail.com
build_command_prepend: "cmake ."
build_command: "make"
branch_pattern: coverity_scan
sonarcloud:
organization: "msoos-github"
token:
secure: "dtJVVMl23o7LVhjk4M3eGOc4e7NGaWQ/mRBLxOTkg1fsspi4drrzID24hD4YxTt2sYkwdxOLrKMuXdFs28L0Dc3K/2ktJW2vz+HzasDScIAaec2Mv0siT/O6PIBzT0BUo1tZrap4zQBGFziDpUFPBIR55OOI7OfKIh9fbtfuCwE="
before_install:
# OSX below
# we probably want to install python 3 though...
#- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update; fi
#- if [[ ("$TRAVIS_OS_NAME" == "osx") && ("$CMS_CONFIG" != "NORMAL_PYTHON2") ]]; then brew upgrade python; fi
#
# linux below
- if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get update; fi
- if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install -y --force-yes help2man; fi
- if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install -y --force-yes python3-pip; fi
- if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install -y --force-yes libboost-test-dev; fi
- if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install -y --force-yes python3-setuptools; fi
#coveralls
- if [[ "$CMS_CONFIG" == "COVERAGE" ]]; then ./scripts/travis-install-lcov.sh; fi
# lit
# OSX below
- if [[ ("$TRAVIS_OS_NAME" == "osx") && ("$CMS_CONFIG" != "NORMAL_PYTHON2") ]]; then sudo pip3 install --upgrade pip; pip3 install lit; lit --version; fi
# - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then curl --show-error --retry 5 https://bootstrap.pypa.io/get-pip.py -o get-pip.py; fi
#- if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then sudo python get-pip.py; fi
#- export PATH=$PATH:/Users/travis/Library/Python/2.7/bin
#
# linux below
- if [[ ("$TRAVIS_OS_NAME" == "linux") && ("$CMS_CONFIG" != "NORMAL_PYTHON2") ]]; then sudo -H pip3 install --upgrade pip; pip3 install --user lit; lit --version; which lit; fi
- if [[ ("$TRAVIS_OS_NAME" == "linux") && ("$CMS_CONFIG" == "NORMAL_PYTHON2") ]]; then sudo -H pip install --upgrade pip; pip install --user lit; lit --version; which lit; fi
#
install:
- git submodule init
- git submodule update
- mkdir -p build
script:
- if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then ./scripts/travis-cmake.sh ; fi