From 6d02aea9701a8f0a5177b71fa71627898d2514c4 Mon Sep 17 00:00:00 2001
From: absingh <absingh@mpi-cbg.de>
Date: Fri, 8 Oct 2021 15:54:25 +0200
Subject: [PATCH] CI PETSC REMOVE
---
install | 4 ++--
script/conf_PETSC | 1 -
2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/install b/install
index abae1d101..a45c309fe 100755
--- a/install
+++ b/install
@@ -11,7 +11,6 @@ source script/update_openfpm
source script/solve_python
source script/install_gdbgui
-
### switch to the branch
#b_switch=`git rev-parse --abbrev-ref HEAD`
#b_switch=
@@ -119,7 +118,8 @@ if [ $upgrade_openfpm -eq 1 ]; then
update_openfpm upgrade
exit 0
fi
-
+rm -rf $i_dir/PETSC
+echo "REMOVING PETSC"
remove_old $i_dir $configure_options
diff --git a/script/conf_PETSC b/script/conf_PETSC
index 9b30506ac..4ba0a1489 100755
--- a/script/conf_PETSC
+++ b/script/conf_PETSC
@@ -2,7 +2,6 @@
function conf_PETSC()
{
- rm -rf $i_dir/PETSC
if [ -d "$i_dir/PETSC" ]; then
configure_options="$configure_options --with-petsc=$i_dir/PETSC "
lin_alg_dir="$lin_alg_dir -L$i_dir/PETSC/lib"
--
GitLab