diff --git a/Jenkinsfile b/Jenkinsfile index 07c7e2c..f31546d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,7 +13,7 @@ pipeline { steps { script { //def implementations = sh(script: 'docker run retropikzel1/compile-r7rs:chibi sh -c "compile-r7rs --list-r7rs-schemes"', returnStdout: true).split() - def implementations = "chibi chicken".split() + def implementations = "chibi chicken gauche guile kawa mosh racket sagittarius stklos ypsilon".split() implementations.each { implementation-> stage("${implementation} install") { diff --git a/Makefile b/Makefile index b7181aa..b06ca23 100644 --- a/Makefile +++ b/Makefile @@ -170,3 +170,4 @@ clean: rm -rf tmp rm -rf foreign/c/primitives/chibi/foreign-c.c rm -rf *.tgz + rm -rf README.html