From ca863b279bada1ca495e3bebaddfd5f5d57f290c Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 1 Dec 2018 18:38:05 +0100
Subject: [PATCH] Fixing compilation on numerics
---
Jenkinsfile_numerics_mpi | 6 +++---
configure | 6 ++++++
2 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/Jenkinsfile_numerics_mpi b/Jenkinsfile_numerics_mpi
index 5a2d048dd..8fce3aae6 100644
--- a/Jenkinsfile_numerics_mpi
+++ b/Jenkinsfile_numerics_mpi
@@ -24,7 +24,7 @@ parallel (
stage ('build_centos')
{
- sh "./build.sh $WORKSPACE $NODE_NAME numerics 0"
+ sh "./build.sh $WORKSPACE $NODE_NAME numerics numerics 0"
}
stage ('run_gin')
@@ -65,7 +65,7 @@ parallel (
stage ('build mac')
{
- sh "./build.sh $WORKSPACE $NODE_NAME numerics 0"
+ sh "./build.sh $WORKSPACE $NODE_NAME numerics numerics 0"
}
stage ('run mac')
@@ -103,7 +103,7 @@ parallel (
stage ('build ubuntu')
{
- sh "./build.sh $WORKSPACE $NODE_NAME numerics 0"
+ sh "./build.sh $WORKSPACE $NODE_NAME numerics numerics 0"
}
stage ('run ubuntu')
diff --git a/configure b/configure
index 7956781dd..4acb1024b 100755
--- a/configure
+++ b/configure
@@ -562,6 +562,12 @@ clean:
install:
\$(MAKE) -C build \$@
+pdata:
+ \$(MAKE) -C build \$@
+
+numerics:
+ \$(MAKE) -C build \$@
+
.PHONY: all clean install" > Makefile
echo "$0 $@" > config.log
--
GitLab