diff --git a/configure b/configure index 37041ab9c68a6d59674612a9f9c13c90f744dd9f..58a970ce6f68fb305ca1699444b61d7e9cd02c7d 100755 --- a/configure +++ b/configure @@ -226,6 +226,9 @@ do se_class3) conf_options="$conf_options -DSE_CLASS3=ON" ;; + test_coverage) + conf_options="$conf_options -DTEST_COVERAGE=ON" + ;; gpu) if [ x"$CXX" == x"" ]; then conf_options="$conf_options" @@ -466,8 +469,8 @@ do boost) conf_options="$conf_options -DBOOST_ROOT=$ac_optarg" ;; - pdata) - conf_options="$conf_options -DOPENFPM_PDATA_DIR=$ac_optarg" + mpivendor) + conf_options="$conf_options -DMPI_VENDOR=$ac_optarg" ;; *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--with-$ac_useropt_orig" ac_unrecognized_sep=', ';;