diff --git a/Jenkinsfile b/Jenkinsfile index bc5c102..f0f7c17 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,27 +30,25 @@ pipeline { args '--user=root' } } - steps { - sh "apt-get update && apt-get install -y git ca-certificates gcc make libffi-dev" - sh "git clone https://github.com/ashinn/chibi-scheme.git --depth=1" - sh "make -j8 -C chibi-scheme" - sh "make -j8 -C chibi-scheme install" - sh "snow-chibi install retropikzel.compile-r7rs" - script { - "tap debug".split().each { library -> - stage("${library}") { - catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make SCHEME=chibi LIBRARY=${library} all install test" - } - } - } + stage('init') { + steps { + sh "apt-get update && apt-get install -y git ca-certificates gcc make libffi-dev" + sh "git clone https://github.com/ashinn/chibi-scheme.git --depth=1" + sh "make -j8 -C chibi-scheme" + sh "make -j8 -C chibi-scheme install" + sh "snow-chibi install retropikzel.compile-r7rs" + } + } + stage("tap") { + steps { + sh "make SCHEME=chibi LIBRARY=tap all install test" } } } } post { - always { + success { cleanWs() } }