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
|
language: generic
## If the cache gets corrupted, clean it at https://travis-ci.com/ORG/REPO/caches .
before_cache:
- rm -f $HOME/.gradle/caches/modules-2/modules-2.lock
- rm -fr $HOME/.gradle/caches/*/plugin-resolution/
cache:
directories:
- $HOME/.gradle/caches/
- $HOME/.gradle/wrapper/
- $HOME/.m2/
services:
- docker
env:
global:
- THIS_REPO=checker-framework
- OS=ubuntu
matrix:
- GROUP=all-tests JDKVER=jdk8 BUILDJDK=downloadjdk
- GROUP=junit-tests JDKVER=jdk11 BUILDJDK=downloadjdk
- GROUP=nonjunit-tests JDKVER=jdk11 BUILDJDK=downloadjdk
- GROUP=jdk.jar JDKVER=jdk8 BUILDJDK=downloadjdk
- GROUP=misc JDKVER=jdk8-plus BUILDJDK=downloadjdk
- GROUP=misc JDKVER=jdk11-plus BUILDJDK=downloadjdk
- GROUP=checker-framework-inference JDKVER=jdk8 BUILDJDK=downloadjdk
- GROUP=plume-lib JDKVER=jdk8 BUILDJDK=downloadjdk
- GROUP=plume-lib JDKVER=jdk11 BUILDJDK=downloadjdk
- GROUP=downstream JDKVER=jdk8 BUILDJDK=downloadjdk
- GROUP=downstream JDKVER=jdk11 BUILDJDK=downloadjdk
# The "docker run" command will pull if needed.
# Running this first gives two tries in case of network lossage.
before_script:
- timeout 5m docker pull mdernst/cf-$OS-$JDKVER || true
# Using travis_wait here seems to cause the job to terminate after 1 minute
# with no error (!).
# The git commands are tried twice, in case of temporary network failure.
# The fcntl line works around a bug where Travis truncates logs and fails.
script:
- python -c "import fcntl; fcntl.fcntl(1, fcntl.F_SETFL, 0)"
- REMOTE_ORIGIN_URL=`git config --get remote.origin.url`
- echo "THIS_REPO=${THIS_REPO}"
- echo "JDKVER=${JDKVER}"
- echo "GROUP=${GROUP}"
- echo "BUILDJDK=${BUILDJDK}"
- echo "TRAVIS_BRANCH=${TRAVIS_BRANCH}"
- echo "REMOTE_ORIGIN_URL=${REMOTE_ORIGIN_URL}"
- echo "TRAVIS_EVENT_TYPE=${TRAVIS_EVENT_TYPE}"
- echo "TRAVIS_COMMIT_RANGE=${TRAVIS_COMMIT_RANGE}"
- echo "TRAVIS_COMMIT=${TRAVIS_COMMIT}"
- echo "TRAVIS_PULL_REQUEST=${TRAVIS_PULL_REQUEST}"
- echo "TRAVIS_PULL_REQUEST_BRANCH=${TRAVIS_PULL_REQUEST_BRANCH}"
- echo "TRAVIS_PULL_REQUEST_SHA=${TRAVIS_PULL_REQUEST_SHA}"
- echo "TRAVIS_PULL_REQUEST_SLUG=${TRAVIS_PULL_REQUEST_SLUG}"
- echo "TRAVIS_REPO_SLUG=${TRAVIS_REPO_SLUG}"
- >-
docker run -v $HOME/.gradle:/root/.gradle -v $HOME/.m2:/root/.m2 mdernst/cf-$OS-$JDKVER /bin/bash -c "true &&
if [ $TRAVIS_EVENT_TYPE = pull_request ] ; then
git clone --quiet $REMOTE_ORIGIN_URL $THIS_REPO || git clone --quiet $REMOTE_ORIGIN_URL $THIS_REPO
cd $THIS_REPO
git fetch origin +refs/pull/$TRAVIS_PULL_REQUEST/merge
git checkout -qf $TRAVIS_PULL_REQUEST_SHA
git config user.email noone@cares.com
git config user.name Noone Cares
git remote add theupstream https://github.com/$TRAVIS_REPO_SLUG.git
git pull theupstream $TRAVIS_BRANCH || git pull theupstream $TRAVIS_BRANCH
else
git clone --quiet -b $TRAVIS_BRANCH $REMOTE_ORIGIN_URL $THIS_REPO || git clone --quiet -b $TRAVIS_BRANCH $REMOTE_ORIGIN_URL $THIS_REPO
cd $THIS_REPO
git checkout -qf $TRAVIS_COMMIT
fi &&
export JAVA_HOME=\`which javac|xargs readlink -f|xargs dirname|xargs dirname\` &&
java -version &&
javac -version &&
export TRAVIS=$TRAVIS &&
export TRAVIS_BRANCH=${TRAVIS_BRANCH} &&
export TRAVIS_BUILD_DIR=$TRAVIS_BUILD_DIR &&
export TRAVIS_COMMIT_RANGE=$TRAVIS_COMMIT_RANGE &&
export TRAVIS_PULL_REQUEST=${TRAVIS_PULL_REQUEST} &&
export TRAVIS_PULL_REQUEST_BRANCH=${TRAVIS_PULL_REQUEST_BRANCH} &&
export TRAVIS_PULL_REQUEST_SLUG=${TRAVIS_PULL_REQUEST_SLUG} &&
export TRAVIS_REPO_SLUG=$TRAVIS_REPO_SLUG &&
./.travis-build.sh $GROUP $BUILDJDK"
jobs:
include:
- stage: trigger-downstream
script: |
echo "TRAVIS_BRANCH=$TRAVIS_BRANCH TRAVIS_PULL_REQUEST=$TRAVIS_PULL_REQUEST"
if [[ ($TRAVIS_BRANCH == master) &&
($TRAVIS_PULL_REQUEST == false) ]] ; then
SLUGOWNER=${TRAVIS_REPO_SLUG%/*}
if [[ "$SLUGOWNER" == "" ]]; then
SLUGOWNER=typetools
fi
curl -LO --retry 3 https://raw.github.com/plume-lib/trigger-travis/master/trigger-travis.sh
git ls-remote https://github.com/${SLUGOWNER}/checker-framework.demos.git &>/dev/null
if [ "$?" -eq 0 ]; then
sh trigger-travis.sh ${SLUGOWNER} checker-framework.demos $TRAVIS_ACCESS_TOKEN
fi
git ls-remote https://github.com/${SLUGOWNER}/checker-framework-inference.git &>/dev/null
if [ "$?" -eq 0 ]; then
sh trigger-travis.sh ${SLUGOWNER} checker-framework-inference $TRAVIS_ACCESS_TOKEN
fi
if [[ "${SLUGOWNER}" == "typetools" ]]; then
sh trigger-travis.sh typetests guava-typecheck $TRAVIS_ACCESS_TOKEN
fi
fi
git:
depth: 9
|
