From 9b26ca21f62fac2a9e5d11aa404c076dce0a3b2b Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Tue, 14 Jul 2020 22:36:25 +0200
Subject: [PATCH] Adding option vcdevel
---
configure | 18 +++++++++++++++++-
1 file changed, 17 insertions(+), 1 deletion(-)
diff --git a/configure b/configure
index 8b30607..aa45dd3 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
# configure script
#
#
@@ -117,7 +117,9 @@ with_lapack
with_suitesparse
with_petsc
with_eigen
+with_vcdevel
enable_gpu
+enable_asan
'
rm -rf build
@@ -125,6 +127,8 @@ if [ ! -d "build" ]; then
mkdir build
fi
+echo "/usr/local" > install_dir
+
##### Go over all options
for ac_option
do
@@ -232,6 +236,9 @@ do
scan_coverty)
conf_options="$conf_options -DSCAN_COVERTY=ON"
;;
+ test_performance)
+ conf_options="$conf_options -DTEST_PERFORMANCE=ON"
+ ;;
gpu)
if [ x"$CXX" == x"" ]; then
conf_options="$conf_options"
@@ -240,6 +247,9 @@ do
fi
conf_options="$conf_options -DENABLE_GPU=ON"
;;
+ asan)
+ conf_options="$conf_options -DENABLE_ASAN=ON"
+ ;;
*) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--enable-$ac_useropt_orig"
ac_unrecognized_sep=', '
;;
@@ -472,9 +482,15 @@ do
boost)
conf_options="$conf_options -DBOOST_ROOT=$ac_optarg"
;;
+ action_on_error)
+ conf_options="$conf_options -DACTION_ON_ERROR=$ac_optarg"
+ ;;
mpivendor)
conf_options="$conf_options -DMPI_VENDOR=$ac_optarg"
;;
+ vcdevel)
+ conf_options="$conf_options -DVc_ROOT=$ac_optarg"
+ ;;
*) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--with-$ac_useropt_orig"
ac_unrecognized_sep=', ';;
esac
--
GitLab