From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 5 Apr 2017 22:03:09 +0000 (-0400)
Subject: add numdiff package
X-Git-Tag: v0.8.5~27^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3ced7d9408adf2bb81b7489352251de835280330;p=candi.git

add numdiff package

numdiff is not installed by default and strictly speaking not a
dependency of deal.II, but it is very convenient to be able to do

    ./candi.sh --packages="numdiff"

and have it installed automatically.
---

diff --git a/deal.II-toolchain/packages/numdiff.package b/deal.II-toolchain/packages/numdiff.package
new file mode 100644
index 0000000..37a8c92
--- /dev/null
+++ b/deal.II-toolchain/packages/numdiff.package
@@ -0,0 +1,23 @@
+VERSION=5.9.0
+NAME=numdiff-${VERSION}
+SOURCE=https://download-mirror.savannah.gnu.org/releases/numdiff/
+PACKING=.tar.gz
+CHECKSUM=794461a7285d8b9b1f2c4a8149889ea6
+BUILDCHAIN=autotools
+
+CONFOPTS=""
+
+INSTALL_PATH=${INSTALL_PATH}/${NAME}/bin
+
+package_specific_register () {
+    export PATH=${INSTALL_PATH}:$PATH
+}
+
+package_specific_conf () {
+    # Generate configuration file
+    CONFIG_FILE=${CONFIGURATION_PATH}/${NAME}
+    rm -f $CONFIG_FILE
+    echo "
+export PATH=${INSTALL_PATH}:$PATH
+" >> $CONFIG_FILE
+}