From e8a94d14dce727a8adddc889b0ff0fc190487c55 Mon Sep 17 00:00:00 2001 From: Daniele Rapetti Date: Fri, 30 Aug 2024 09:44:44 +0200 Subject: [PATCH] trying to install --- install-plumed.sh | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/install-plumed.sh b/install-plumed.sh index 748bf23..5c0a17b 100755 --- a/install-plumed.sh +++ b/install-plumed.sh @@ -36,6 +36,7 @@ else echo "installing latest stable plumed $version" fi +#TODO: make plumed_options an array plumed_options="$EXTRA_OPTIONS" program_name=plumed if [[ -n "$SUFFIX" ]]; then @@ -103,19 +104,17 @@ else rm -fr "${prefix:?}/bin/$program_name" rm -fr "${prefix:?}/include/$program_name" rm -fr "${prefix:?}"/lib/lib$program_name.so* - #{var:?} makes the shell fail to avoid "explosive" deletions in lib and bin - - cat <>$GITHUB_OUTPUT