From: Uwe Köcher <koecher@hsu-hamburg.de>
Date: Mon, 23 Oct 2017 09:34:46 +0000 (+0200)
Subject: candi: added package_specific_patch to be applied after package_unpack (but not in... 
X-Git-Tag: v8.5.1~12^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0e39bba52b7cb542aa1ff3f3aa0b951dbe742876;p=candi.git

candi: added package_specific_patch to be applied after package_unpack (but not in DEVELOPER_MODE)
---

diff --git a/candi.sh b/candi.sh
index 1b1ea1a..858df82 100755
--- a/candi.sh
+++ b/candi.sh
@@ -421,6 +421,10 @@ package_unpack() {
         fi
     fi
     
+    # Apply patches
+    cd ${UNPACK_PATH}/${EXTRACTSTO}
+    package_specific_patch
+    
     # Quit with a useful message if something goes wrong
     quit_if_fail "Error unpacking ${FILE_TO_UNPACK}."
     
@@ -1041,6 +1045,7 @@ for PACKAGE in ${PACKAGES[@]}; do
     CONFIGURATION_PATH=${ORIG_CONFIGURATION_PATH}
     
     # Reset package-specific functions
+    package_specific_patch () { true; }
     package_specific_setup () { true; }
     package_specific_build () { true; }
     package_specific_install () { true; }