forked from postgres/postgres
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathJenkinsfile
26 lines (21 loc) · 1.19 KB
/
Jenkinsfile
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
@Library('ctsrd-jenkins-scripts') _
// Set the default job properties (work around properties() not being additive but replacing)
setDefaultJobProperties([rateLimitBuilds([count: 2, durationName: 'hour', userBoost: true]),
[$class: 'GithubProjectProperty', projectUrlStr: 'https://github.com/CTSRD-CHERI/postgres'],
// copyArtifactPermission('*'),
])
def cleanupScript = '''
# remove the 600+ useless header files
rm -rf tarball/opt/*/include
'''
cheribuildProject(target: 'postgres',
targetArchitectures: ["mips64", "mips64-purecap", "riscv64", "riscv64-purecap"],
// extraArgs: '--with-libstatcounters --postgres/no-debug-info --postgres/no-assertions',
extraArgs: '--no-with-libstatcounters --postgres/assertions --postgres/linkage=dynamic',
minimalTestImage: false, // we need the locale files to run tests
beforeTarball: cleanupScript,
skipArchiving: true,
runTests: true,
beforeBuild: 'ls -la $WORKSPACE',
testTimeout: 4 * 60 * 60, // increase the test timeout to 4 hours (CHERI can take a loooong time)
/* sequential: true, // for now run all in order until we have it stable */)