Update install-libraries.sh

EnzymeAD · Aug 15, 2023 · 67331b4 · 67331b4
1 parent e9358d7
commit 67331b4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/builder/install-libraries.sh b/builder/install-libraries.sh
@@ -4,3 +4,7 @@
 
 export JULIA_DEPOT_PATH="/opt/compiler-explorer/juliapackages"
 /opt/compiler-explorer/julia-1.8.5/bin/julia -e 'using Pkg; Pkg.add("Enzyme")'
+
+curl -O https://ftp.mcs.anl.gov/pub/petsc/release-snapshots/petsc-3.19.4.tar.gz
+tar xf petsc-3.19.4.tar.gz -C /opt/compiler-explorer/libs/
+rm -r petsc-3.19.4.tar.gz