forked from BOINC/boinc
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
73 lines (64 loc) · 2.09 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
language: cpp
compiler:
- gcc
# - clang
branches:
only:
- master
- coverity_scan
notifications:
email:
recipients:
on_success: always
on_failure: always
# This switches to the container-based infrastructure and allows caching
sudo: false
cache:
apt: true
directories:
- build/wxWidgets-3.0.2
addons:
coverity_scan:
project:
name: "BOINC/boinc"
description: "Build submitted via Travis CI"
notification_email: [email protected]
build_command_prepend: "./configure --enable-apps"
build_command: "make -j 4"
branch_pattern: coverity_scan
apt_packages:
- freeglut3-dev
- libxmu-dev
- libxi-dev
#- python-mysqldb
- libfcgi-dev
#- libcurl4-openssl-dev
- libxss-dev
- libnotify-dev
- libxcb-util0-dev
- libsqlite3-dev
- libgtk2.0-dev
- libwebkitgtk-dev
env:
global:
# The next declaration is the encrypted COVERITY_SCAN_TOKEN, created
# via the "travis encrypt" command using the project repo's public key
- secure: "Rd++Hyurnwd/tvjH0PX2seO3QUZ6WOf8bSB2ZkKPfZCU6+tXVMvloyog6Mlc7vl0m3WFAzw24MDtNLFBUktRsVXOkqDup1s6PdkwwcwG+5wAnydN+kXF9PcqKyOi0xJvl48Wji+r92Y9SCLzPnQGjZg70xHET22bDZHt2FsjP80="
matrix:
- BOINC_TYPE=libs
- BOINC_TYPE=server
- BOINC_TYPE=client
- BOINC_TYPE=apps
- BOINC_TYPE=manager
#- BOINC_TYPE=coverity
matrix:
fast_finish: true
before_script:
- ./_autosetup
script:
- if [[ "${BOINC_TYPE}" == "libs" ]]; then ( ./configure --disable-server --disable-client --disable-manager && make ) fi
- if [[ "${BOINC_TYPE}" == "server" ]]; then ( ./configure --disable-client --disable-manager && make ) fi
- if [[ "${BOINC_TYPE}" == "client" ]]; then ( ./configure --disable-server --disable-manager && make ) fi
- if [[ "${BOINC_TYPE}" == "apps" ]]; then ( ./configure --enable-apps --disable-server --disable-client --disable-manager && make ) fi
- if [[ "${BOINC_TYPE}" == "manager" ]]; then ( ./build/getWxWidgets.sh && ./configure --disable-server --disable-client --with-wxdir=./build/wxWidgets-3.0.2/buildgtk && make ) fi