enumerator-0.4.8: scripts/dist

#!/bin/bash
if [ ! -f 'enumerator.cabal' ]; then
	echo -n "Can't find enumerator.cabal; please run this script as"
	echo -n " ./scripts/dist from within the enumerator source"
	echo " directory"
	exit 1
fi

. scripts/common.bash

require_anansi
require_cabal_dev

echo "Building dist for enumerator_$VERSION using $CABAL_DEV"

rm -rf hs dist
$ANANSI --noline -o hs src/enumerator.anansi || exit 1
$CABAL_DEV configure || exit 1
$CABAL_DEV build || exit 1
$CABAL_DEV sdist || exit 1

mv "dist/enumerator-$VERSION.tar.gz" "./enumerator_$VERSION.tar.gz"
ln -f "./enumerator_$VERSION.tar.gz" "./enumerator-$VERSION.tar.gz"
if [ -n "$XZ" ]; then
	gzip -dfc "enumerator_$VERSION.tar.gz" > "enumerator_$VERSION.tar"
	xz -f -C sha256 -9 "enumerator_$VERSION.tar"
fi

if [ -n "$XELATEX" ]; then
	make_pdf
fi

echo ""
echo "============================================================"
if [ -n "$XELATEX" ]; then
	echo "  woven source        : enumerator_$VERSION.pdf"
fi
echo "  source tarball (gz) : enumerator_$VERSION.tar.gz"
if [ -n "$XZ" ]; then
	echo "  source archive (xz) : enumerator_$VERSION.tar.xz"
fi
echo "============================================================"