From 434784a81c478bba8bee5f8faa19e440cb7f3d1d Mon Sep 17 00:00:00 2001 From: retropikzel Date: Fri, 18 Apr 2025 10:00:55 +0300 Subject: [PATCH] Making the build work --- Jenkinsfile | 46 +++++++++++++++++++++++----------------------- 1 file changed, 23 insertions(+), 23 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index dd71375..f06b422 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,7 +13,7 @@ pipeline { sh 'make test-r7rs' } } - stage("Test chez r6rs") { + stage("chez r6rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=chezscheme' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -22,7 +22,7 @@ pipeline { } } } - stage("Test chibi r7rs") { + stage("chibi r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=chibi' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -31,7 +31,7 @@ pipeline { } } } - stage("Test cyclone r7rs") { + stage("cyclone r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=cyclone' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -40,7 +40,7 @@ pipeline { } } } - stage("Test foment r7rs") { + stage("foment r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=foment' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -49,7 +49,7 @@ pipeline { } } } - stage("Test gauche r7rs") { + stage("gauche r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=gauche' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -58,7 +58,7 @@ pipeline { } } } - stage("Test guile r6rs") { + stage("guile r6rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=guile' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -67,7 +67,7 @@ pipeline { } } } - stage("Test guile r7rs") { + stage("guile r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=guile' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -76,7 +76,7 @@ pipeline { } } } - stage("Test ikarus r6rs") { + stage("ikarus r6rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=ikarus' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -85,7 +85,7 @@ pipeline { } } } - stage("Test ironscheme r6rs") { + stage("ironscheme r6rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=ironscheme' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -94,7 +94,7 @@ pipeline { } } } - stage("Test kawa r7rs") { + stage("kawa r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=kawa' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -103,7 +103,7 @@ pipeline { } } } - stage("Test larceny r6rs") { + stage("larceny r6rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=larceny' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -112,7 +112,7 @@ pipeline { } } } - stage("Test larceny r7rs") { + stage("larceny r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=larceny' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -121,7 +121,7 @@ pipeline { } } } - stage("Test loko r6rs") { + stage("loko r6rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=loko' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -130,7 +130,7 @@ pipeline { } } } - stage("Test loko r7rs") { + stage("loko r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=loko' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -139,7 +139,7 @@ pipeline { } } } - stage("Test mit-scheme r7rs") { + stage("mit-scheme r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=mit-scheme' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -148,7 +148,7 @@ pipeline { } } } - stage("Test mosh r6rs") { + stage("mosh r6rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=mosh' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -157,7 +157,7 @@ pipeline { } } } - stage("Test mosh r7rs") { + stage("mosh r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=mosh' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -166,7 +166,7 @@ pipeline { } } } - stage("Test sagittarius r6rs") { + stage("sagittarius r6rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=sagittarius' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -176,7 +176,7 @@ pipeline { } } } - stage("Test sagittarius r7rs") { + stage("sagittarius r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=sagittarius' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -185,7 +185,7 @@ pipeline { } } } - stage("Test skint r7rs") { + stage("skint r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=skint' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -194,7 +194,7 @@ pipeline { } } } - stage("Test tr7 r7rs") { + stage("tr7 r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=tr7' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -203,7 +203,7 @@ pipeline { } } } - stage("Test ypsilon r6rs") { + stage("ypsilon r6rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=ypsilon' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { @@ -212,7 +212,7 @@ pipeline { } } } - stage("Test ypsilon r7rs") { + stage("ypsilon r7rs") { agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=ypsilon' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {