From 3c60edd03e989ad38bf750c6bb155a38cc9e29de Mon Sep 17 00:00:00 2001 From: Karolina Krzywda Date: Fri, 17 Apr 2020 19:59:14 +0200 Subject: [PATCH] docker --- Dockerfile | 11 +++++++++++ Jenkinsfile | 2 +- 2 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 Dockerfile diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..9b6b59c --- /dev/null +++ b/Dockerfile @@ -0,0 +1,11 @@ +FROM ubuntu:latest + +RUN apt update -y && apt install -y make +RUN apt install -y git +RUN apt install -y gcc +RUN gcc --version +RUN apt install -y build-essential +RUN git clone https://github.com/usnistgov/SCTK.git +WORKDIR SCTK +RUN make config && make all && make check && make install && make doc +ENV PATH=$PATH:/SCTK/bin \ No newline at end of file diff --git a/Jenkinsfile b/Jenkinsfile index 58b7f40..c8ee515 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,5 @@ pipeline { - agent any + agent { dockerfile true } stages { stage('Stage 1') { steps {