+install_discount () {
+ cd $BUILD >>$LOG 2>&1 || die
+ cp /home/willi/Downloads/discount*z .
+ FILENAME=discount-easyinstall.sum ; download_this
+ SUM=`cat discount-easyinstall.sum`
+ SUMFILE=$SUPPORT/etc/discount-easyinstall.sum
+ if [ -r $SUMFILE ] ; then
+ OLDSUM=`cat $SUMFILE`
+ if [ "$SUM" = "$OLDSUM" ] ; then
+ echo "* discount does not need updating."
+ return
+ fi
+ fi
+ echo "* Downloading discount..."
+ FILENAME=$LIBDISCOUNT_SOURCE ; download_this
+ echo "* Installing discount..."
+ ( gzip -dc $LIBDISCOUNT_SOURCE | tar -xf - ) >>$LOG 2>&1 || die
+ cd $BUILD/discount-2.1.8 >>$LOG 2>&1 || die
+ ./configure.sh --shared \
+ --prefix=$SUPPORT \
+ --with-id-anchor \
+ --with-github-tags \
+ --with-fenced-code \
+ --with-dl=both \
+ ||die
+
+ $MAKE $MAKEOPTS >>$LOG 2>&1 || die
+ $MAKE install >>$LOG 2>&1 || die
+ echo " Complete."
+ echo $SUM >$SUMFILE
+ rm -f $SUPPORT/etc/discount-easyinstall.sum 2>/dev/null
+ rm -f $CITADEL/citadel-easyinstall.sum 2>/dev/null
+}