Update MUMPS version because 5.7.1 is no longer available in Debian!

cpmech · Sep 24, 2024 · 6e6a0b4 · 6e6a0b4
1 parent fa4710b
commit 6e6a0b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/zscripts/compile-and-install-mumps.bash b/zscripts/compile-and-install-mumps.bash
@@ -12,7 +12,7 @@ sudo () {
 BLAS_LIB=${1:-""}
 
 # options
-VERSION="5.7.1"
+VERSION="5.7.3"
 PREFIX="/usr/local"
 INCDIR=$PREFIX/include/mumps
 LIBDIR=$PREFIX/lib/mumps