diff --git a/configure b/configure index 8b306074babd609eb83d83952d21bb8417e7e287..aa45dd30608035bbaf9861d8b973a1db48cad4e8 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