From 893639ce8491bd34c551f63a15b0c8d2de785dca Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Mon, 26 Nov 2018 01:46:39 +0100
Subject: [PATCH] Fixing PETSC installation check
---
script/install_PETSC.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/script/install_PETSC.sh b/script/install_PETSC.sh
index ef8a58f8..11f82cca 100755
--- a/script/install_PETSC.sh
+++ b/script/install_PETSC.sh
@@ -19,7 +19,7 @@ source script/solve_python
discover_os
function test_configure_options() {
- $python_command ./configure COPTFLAGS="-O3 -g" CXXOPTFLAGS="-O3 -g" FOPTFLAGS="-O3 -g" $ldflags_petsc --with-cxx-dialect=C++11 $petsc_openmp --with-mpi-dir=$mpi_dir $configure_options2 --prefix=$1/PETSC --with-debugging=0
+ $python_command ./configure COPTFLAGS="-O3 -g" CXXOPTFLAGS="-O3 -g" FOPTFLAGS="-O3 -g" $ldflags_petsc --with-cxx-dialect=C++11 $petsc_openmp --with-mpi-dir=$mpi_dir $configure_options2 --with-debugging=0
}
function haveProg() {
--
GitLab