Adding docker build and push to Jenkins
This commit is contained in:
parent
fa2d86d60f
commit
8600a870e8
|
@ -7,8 +7,10 @@ RUN apt-get update && apt-get install -y \
|
|||
docker.io \
|
||||
libffi-dev \
|
||||
pandoc
|
||||
RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1 \
|
||||
&& cd chibi-scheme && make -j 16 && make -j 16 install
|
||||
RUN git clone https://github.com/ashinn/chibi-scheme.git --depth=1
|
||||
RUN cd chibi-scheme && make -j 16 && make -j 16 install
|
||||
RUN snow-chibi install "(foreign c)"
|
||||
RUN snow-chibi install "(srfi 170)"
|
||||
WORKDIR /builddir
|
||||
COPY Makefile .
|
||||
COPY compile-r7rs.scm .
|
||||
|
|
|
@ -23,7 +23,7 @@ pipeline {
|
|||
}
|
||||
steps {
|
||||
script {
|
||||
def r6rs_implementations = sh(script: 'chibi-scheme -I ./snow -I . compile-r7rs.scm --list-r6rs-schemes', returnStdout: true).split()
|
||||
def r6rs_implementations = sh(script: 'chibi-scheme compile-r7rs.scm --list-r6rs-schemes', returnStdout: true).split()
|
||||
parallel r6rs_implementations.collectEntries { implementation->
|
||||
[(implementation): {
|
||||
stage("${implementation} R6RS") {
|
||||
|
@ -47,7 +47,7 @@ pipeline {
|
|||
}
|
||||
steps {
|
||||
script {
|
||||
def r7rs_implementations = sh(script: 'chibi-scheme -I ./snow -I . compile-r7rs.scm --list-r7rs-schemes', returnStdout: true).split()
|
||||
def r7rs_implementations = sh(script: 'chibi-scheme compile-r7rs.scm --list-r7rs-schemes', returnStdout: true).split()
|
||||
parallel r7rs_implementations.collectEntries { implementation->
|
||||
[(implementation): {
|
||||
stage("${implementation} R7RS") {
|
||||
|
|
Loading…
Reference in New Issue