diff options
| author | Ian Lynagh <ian@well-typed.com> | 2012-11-13 22:14:08 +0000 |
|---|---|---|
| committer | Ian Lynagh <ian@well-typed.com> | 2012-11-13 22:14:08 +0000 |
| commit | 244882dd714c34839e6cfe2b775773a7d5470306 (patch) | |
| tree | 0b94ed88795bc3a422eddb393b936eef342f30cb /aclocal.m4 | |
| parent | e40793555656552fe5ee6a6227ab60f379bea4b8 (diff) | |
| download | haskell-244882dd714c34839e6cfe2b775773a7d5470306.tar.gz | |
Remove unused FPTOOLS_GREENCARD configure macro
Diffstat (limited to 'aclocal.m4')
| -rw-r--r-- | aclocal.m4 | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/aclocal.m4 b/aclocal.m4 index 6ccddda35c..99affe99e7 100644 --- a/aclocal.m4 +++ b/aclocal.m4 @@ -777,28 +777,6 @@ AS_IF([test "$fp_num1" $2 "$fp_num2"], [$4], [$5])[]dnl dnl -dnl Check for GreenCard and version. -dnl -AC_DEFUN([FPTOOLS_GREENCARD], -[ -AC_PATH_PROG(GreenCardCmd,greencard) -AC_CACHE_CHECK([for version of greencard], fptools_cv_greencard_version, -changequote(, )dnl -[if test x"$GreenCardCmd" != x; then - fptools_cv_greencard_version="`$GreenCardCmd --version | - grep 'version' | sed -e 's/greencard. version \([^ ]*\).*/\1/g'`" -else - fptools_cv_greencard_version="" -fi -changequote([, ])dnl -]) -FP_COMPARE_VERSIONS([$fptools_cv_greencard_version],[-lt],[$1], - [AC_MSG_ERROR([greencard version $1 or later is required (found '$fptools_cv_greencard_version')])])[]dnl -GreenCardVersion=$fptools_cv_greencard_version -AC_SUBST(GreenCardVersion) -]) - -dnl dnl Check for Happy and version. If we're building GHC, then we need dnl at least Happy version 1.14. If there's no installed Happy, we look dnl for a happy source tree and point the build system at that instead. |