diff options
Diffstat (limited to 'configure')
| -rw-r--r-- | configure | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/configure b/configure deleted file mode 100644 index 064cd719a..000000000 --- a/configure +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -# GHC does not recognize any environment variable, unlike with GCC which honors -# CFLAGS. This hook is a workaround for this flaw and introduces an HCFLAGS -# variable. - -CABAL=Pandoc.cabal -BUILDINFO=${CABAL%%.cabal}.buildinfo - -[ -f $BUILDINFO.in ] || { - echo >&2 "==> No $BUILDINFO.in exists; skipping $BUILDINFO creation." - exit 0 -} - -if [ "${HCFLAGS-UNDEFINED}" = "UNDEFINED" ]; then - echo >&2 "==> No HCFLAGS defined; skipping $BUILDINFO creation." - exit 0 -fi - -sed -e "s#@HCFLAGS@#$HCFLAGS#g" $BUILDINFO.in >$BUILDINFO |