diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins new file mode 100644 index 0000000..a291340 --- /dev/null +++ b/Dockerfile.jenkins @@ -0,0 +1,4 @@ +FROM schemers/chibi:head +RUN apt-get update && apt-get install -y make libffi-dev build-essential docker.io +RUN snow-chibi install --always-yes "(foreign c)" +RUN snow-chibi install --always-yes "(srfi 170)" diff --git a/Jenkinsfile b/Jenkinsfile index 873be0c..9493383 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,9 @@ pipeline { agent { - docker { + dockerfile { label 'docker-x86_64' - image 'schemers/chibi:head' + filepath 'Dockerfile.jenkins' args '--user=root --privileged -v /var/run/docker.sock:/var/run/docker.sock' } } @@ -16,9 +16,6 @@ pipeline { stages { stage('Build and install') { steps { - sh "apt-get update && apt-get install -y make libffi-dev build-essential" - sh 'snow-chibi install --always-yes "(foreign c)"' - sh 'snow-chibi install --always-yes "(srfi 170)"' sh "make build-chibi" sh "make install" }