diff options
| -rw-r--r-- | petsc.install | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/petsc.install b/petsc.install index 9e0585eb5f97..6ed61dec4db8 100644 --- a/petsc.install +++ b/petsc.install @@ -1,19 +1,6 @@ post_install() { - source /etc/profile.d/petsc.sh export PETSC_DIR=${PETSC_DIR} - -noVersion=${1%%-[1-9]} -rootDir=${noVersion/_/-} - -cat << EOF - -If you just ran makepkg in this directory then -to test the PETSc installation you can run: - -$ cd src/petsc-${rootDir}/; make PETSC_DIR=$PETSC_DIR test - -EOF } post_upgrade() { |