From e0b16b7674ceda213b28ce896acf00c15b372970 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sun, 23 Oct 2016 23:28:50 +0200
Subject: [PATCH] Adding pipeline for jenkins
---
Jenkinsfile | 11 +++++++++++
build.sh | 21 +++++++++++++++++++++
2 files changed, 32 insertions(+)
create mode 100644 Jenkinsfile
create mode 100755 build.sh
diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..62c79b7
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,11 @@
+#!groovy
+node ('gin')
+{
+ stage 'build'
+ checkout scm
+ sh "./build_device.sh $WORKSPACE $NODE_NAME"
+
+ stage 'run'
+ sh "./src/mem"
+}
+
diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..c5614fb
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,21 @@
+#! /bin/bash
+
+mkdir src/config
+
+sh ./autogen.sh
+if [ "$2" == "master" ]
+then
+ sh ./configure --disable-gpu
+elif [ "$2" == "gin" ]
+then
+ module load gcc/4.9.2
+ module load boost/1.54.0
+ sh ./configure --with-boost=/sw/apps/boost/1.54.0/
+else
+ sh ./configure
+fi
+
+make
+
+
+
--
GitLab