From 8f5b20df5ed8e680f0cbb2da51e5c74de5a43e4d Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sun, 14 Sep 2025 10:21:09 +0300 Subject: [PATCH] Adding docker build and push to Jenkins --- Jenkinsfile | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 1ae60ef..6afa659 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -22,8 +22,12 @@ pipeline { [(SCHEME): { stage("${SCHEME} R6RS") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh 'docker build -f Dockerfile.test --build-arg IMAGE=${DOCKERIMG} --build-arg SCHEME=${SCHEME} --tag=compile-r7rs-test-${SCHEME} .' - sh 'docker run -v "${PWD}":/workdir -w /workdir -t compile-r7rs-test-${SCHEME} sh -c "make && make install && make SCHEME=${SCHEME} test-r6rs"' + def DOCKERIMG="${SCHEME}:head" + if("${SCHEME}" == "chicken") { + DOCKERIMG="chicken:5" + } + sh "docker build -f Dockerfile.test --build-arg IMAGE=${DOCKERIMG} --build-arg SCHEME=${SCHEME} --tag=compile-r7rs-test-${SCHEME} ." + sh "docker run -v ${WORKSPACE}:/workdir -w /workdir -t compile-r7rs-test-${SCHEME} sh -c \"make && make install && make SCHEME=${SCHEME} test-r6rs\"" } } } @@ -41,8 +45,12 @@ pipeline { [(SCHEME): { stage("${SCHEME} R7RS") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh 'docker build -f Dockerfile.test --build-arg IMAGE=${DOCKERIMG} --build-arg SCHEME=${SCHEME} --tag=compile-r7rs-test-${SCHEME} .' - sh 'docker run -v "${PWD}":/workdir -w /workdir -t compile-r7rs-test-${SCHEME} sh -c "make && make install && make SCHEME=${SCHEME} test-r7rs"' + def DOCKERIMG="${SCHEME}:head" + if("${SCHEME}" == "chicken") { + DOCKERIMG="chicken:5" + } + sh "docker build -f Dockerfile.test --build-arg IMAGE=${DOCKERIMG} --build-arg SCHEME=${SCHEME} --tag=compile-r7rs-test-${SCHEME} ." + sh "docker run -v ${WORKSPACE}:/workdir -w /workdir -t compile-r7rs-test-${SCHEME} sh -c \"make && make install && make SCHEME=${SCHEME} test-r7rs\"" } } }