From b29c6906ce578cf8427664b5b62017d7a3a079e9 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Fri, 18 Apr 2025 08:00:09 +0300 Subject: [PATCH] Making the build work --- Jenkinsfile | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 305180f..55d4344 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,12 +5,7 @@ pipeline { } stages { stage("Build") { - agent { - docker { - image 'schemers/sagittarius' - args '--user=root' - } - } + agent { docker { image 'schemers/sagittarius' args '--user=root' } } steps { sh 'apt-get update && apt-get install -y make libuv1' sh 'make' @@ -20,8 +15,10 @@ pipeline { } } stage("Test chez r6rs") { + agent { docker { image 'schemers/chezscheme' args '--user=root' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh 'apt-get update && apt-get install -y make libuv1' sh 'make COMPILE_R7RS=chibi test-r6rs-docker' } }