From a64b54da0757cb149bec66addc2bc80079fa0b4e Mon Sep 17 00:00:00 2001 From: William Perkins Date: Wed, 29 Nov 2023 09:18:08 -0800 Subject: [PATCH] Set installation directory from environment --- src/example_configuration.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/example_configuration.sh b/src/example_configuration.sh index 66613c341..7d1afc6c9 100755 --- a/src/example_configuration.sh +++ b/src/example_configuration.sh @@ -242,9 +242,12 @@ elif [ $host == "tlaloc" ]; then # -D PETSC_ARCH:STRING="ubuntu-complex-shared-mumps" \ # -D USE_OLD_PETSC:BOOL=OFF \ - + if [ -z "$GRIDPACK_DIR" ]; then + prefix="$HOME/Projects/ExaLearn/gridpack-install" + else + prefix="$GRIDPACK_DIR" + fi - prefix="$HOME/Projects/ExaLearn/gridpack-install" cmake -Wdev --debug-trycompile \ --graphviz=GridPACK.dot \ -D PETSC_DIR:STRING="/home/d3g096/Projects/GridPakLDRD/petsc-3.19.4" \