From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 27 Jul 2015 13:10:13 +0000 (+0200)
Subject: [jenkins] Add makedist.sh script
X-Git-Tag: v3_12~378
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ab109532d678d3ed4c69fab9e5325b2583ab141c

[jenkins] Add makedist.sh script
---

diff --git a/buildtools/jenkins/makedist.sh b/buildtools/jenkins/makedist.sh
new file mode 100755
index 0000000000..60a0bdc365
--- /dev/null
+++ b/buildtools/jenkins/makedist.sh
@@ -0,0 +1,36 @@
+#!/bin/sh
+
+if [ -d $WORKSPACE/build ]
+then
+  rm -rf $WORKSPACE/build
+fi
+if [ -d $WORKSPACE/install ]
+then
+  rm -rf $WORKSPACE/install
+fi
+mkdir $WORKSPACE/build
+mkdir $WORKSPACE/install
+cd $WORKSPACE/build
+
+cmake $WORKSPACE
+make
+make dist
+make distcheck
+tar xzf `cat VERSION`.tar.gz
+cd `cat VERSION`
+
+if [ "$build_mode" = "Debug" ]
+then
+cmake -Denable_coverage=ON -Denable_model-checking=OFF -Denable_lua=ON -Denable_compile_optimizations=OFF .
+fi
+
+if [ "$build_mode" = "ModelChecker" ]
+then
+cmake -Denable_coverage=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF .
+fi
+
+if [ "$build_mode" = "DynamicAnalysis" ]
+then
+cmake -Denable_lua=OFF -Denable_tracing=ON -Denable_smpi=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON -Denable_lib_static=OFF -Denable_model-checking=OFF -Denable_latency_bound_tracking=OFF -Denable_gtnets=OFF -Denable_jedule=OFF -Denable_mallocators=OFF -Denable_memcheck=ON .
+fi
+make
\ No newline at end of file