From e37dd0ee29a32bc8c571876900563b29e722f36d Mon Sep 17 00:00:00 2001
From: Juan Carlos Graciosa <juan.graciosa@monash.edu>
Date: Wed, 20 May 2026 21:41:58 +1000
Subject: [PATCH] Added shared-libraries to petsc build

---
 petsc-custom/build-petsc.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/petsc-custom/build-petsc.sh b/petsc-custom/build-petsc.sh
index 030722d6..f6c93a12 100755
--- a/petsc-custom/build-petsc.sh
+++ b/petsc-custom/build-petsc.sh
@@ -385,6 +385,7 @@ configure_petsc() {
                 --download-bison=1 \
                 --with-petsc4py=1 \
 		--with-slepc4py=1 \
+                --with-shared-libraries=1 \
                 --with-make-np=40
             ;;
         gadi)