From 1c8be26abfdf428973bce2a7fab740020accc286 Mon Sep 17 00:00:00 2001 From: simonm <unknown> Date: Mon, 8 Sep 1997 09:45:10 +0000 Subject: [PATCH] [project @ 1997-09-08 09:45:10 by simonm] If the installed version of Happy is < 1.3, use the one from the tree. --- configure.in | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/configure.in b/configure.in index ad34154020fe..034f7fb559f2 100644 --- a/configure.in +++ b/configure.in @@ -388,6 +388,11 @@ AC_SUBST(CompressSuffix) dnl ** check for installed happy binary + version # AC_HAPPY +if expr $HappyVersion \< "1.3" >/dev/null; then + echo " Happy Version 1.3 or later is required to compile GHC." + echo " Using the Happy sources in the tree."; + HappyCmd="" +fi; # # -- GitLab