]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi: added package_specific_patch to be applied after package_unpack (but not in...
authorUwe Köcher <koecher@hsu-hamburg.de>
Mon, 23 Oct 2017 09:34:46 +0000 (11:34 +0200)
committerUwe Köcher <koecher@hsu-hamburg.de>
Mon, 23 Oct 2017 09:34:46 +0000 (11:34 +0200)
candi.sh

index 1b1ea1a4100b3b9f16d9e22a493eaa1c05dd58eb..858df82a912a40c8599abdd3fdee77895026cce2 100755 (executable)
--- 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; }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.