From 3ced7d9408adf2bb81b7489352251de835280330 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Wed, 5 Apr 2017 18:03:09 -0400 Subject: [PATCH] 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. --- deal.II-toolchain/packages/numdiff.package | 23 ++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 deal.II-toolchain/packages/numdiff.package 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 +} -- 2.39.5