Remaking the Jenkinsfile

This commit is contained in:
retropikzel 2025-05-15 21:00:51 +03:00
parent eedaede577
commit 2fd42cd310
1 changed files with 13 additions and 8 deletions

21
Jenkinsfile vendored
View File

@ -1,10 +1,5 @@
pipeline {
agent {
dockerfile {
filename 'dockerfiles/jenkins'
args '--user=root'
}
}
agent any
options {
disableConcurrentBuilds()
@ -13,16 +8,26 @@ pipeline {
stages {
stage('Chibi primitives') {
environment {
COMPILE_R7RS = "chibi"
TESTNAME = "primitives"
}
steps {
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
sh 'make test-compile-r7rs-docker COMPILE_R7RS=chibi TESTNAME=primitives'
sh 'docker build --build-arg COMPILE_R7RS=${COMPILE_R7RS} --tag=r7rs-pffi-test-${COMPILE_R7RS} -f dockerfiles/test .'
sh 'docker run -v "${PWD}":/workdir -w /workdir -t r7rs-pffi-test-${COMPILE_R7RS} sh -c "make COMPILE_R7RS=${COMPILE_R7RS} test-compile-r7rs"'
}
}
}
stage('Chibi addressof') {
environment {
COMPILE_R7RS = "chibi"
TESTNAME = "addressof"
}
steps {
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
sh 'make test-compile-r7rs-docker COMPILE_R7RS=chibi TESTNAME=addressof'
sh 'docker build --build-arg COMPILE_R7RS=${COMPILE_R7RS} --tag=r7rs-pffi-test-${COMPILE_R7RS} -f dockerfiles/test .'
sh 'docker run -v "${PWD}":/workdir -w /workdir -t r7rs-pffi-test-${COMPILE_R7RS} sh -c "make COMPILE_R7RS=${COMPILE_R7RS} test-compile-r7rs"'
}
}
}