Fix building ParMETIS shared libraries

diff --git a/deal.II-toolchain/packages/parmetis.package b/deal.II-toolchain/packages/parmetis.package
index a33042fa523b550ac7fc6ad01e676de4fe803e2d..99e44e7e19a1eb876826b8634c472d1da2e3b70b 100644 (file)
--- a/deal.II-toolchain/packages/parmetis.package
+++ b/deal.II-toolchain/packages/parmetis.package
@@ -35,6 +35,14 @@ package_specific_build() {
     quit_if_fail "parmetis make install failed"
 }
 
+package_specific_patch () {
+    if [ "$VERSION" = "4.0.3" ]; then
+      cd ${UNPACK_PATH}/${EXTRACTSTO}
+      cecho ${WARN} "applying patch for building METIS shared libraries"
+      patch -p0 --forward < ${ORIG_DIR}/${PROJECT}/patches/parmetis.patch || true
+    fi
+}
+
 package_specific_register () {
     export METIS_DIR=${INSTALL_PATH}
     export PARMETIS_DIR=${INSTALL_PATH}

diff --git a/deal.II-toolchain/patches/parmetis.patch b/deal.II-toolchain/patches/parmetis.patch
new file mode 100644 (file)
index 0000000..c63b3a1
--- /dev/null
+++ b/deal.II-toolchain/patches/parmetis.patch
@@ -0,0 +1,13 @@
+--- CMakeLists.txt     2013-03-30 17:24:50.000000000 +0100
++++ CMakeLists.txt     2018-05-14 21:43:26.577097734 +0200
+@@ -19,8 +19,10 @@
+ # Prepare libraries.
+ if(SHARED)
+   set(ParMETIS_LIBRARY_TYPE SHARED)
++  set(METIS_LIBRARY_TYPE SHARED)
+ else()
+   set(ParMETIS_LIBRARY_TYPE STATIC)
++  set(METIS_LIBRARY_TYPE STATIC)
+ endif()
+ 
+ include(${GKLIB_PATH}/GKlibSystem.cmake)