+
+# 1.9 and later is required, assume that we can use the
+# "-agc" options. NOTE: The Master of Happy-ness says:
+# "Don't use -s! (yet)"
+
+HappyOpts="-agc"
+
+# Soon version 1.13 will be required. To give people a chance to
+# switch over (and me a chance to actually release 1.13 :-) , we have
+# a dummy copy of GlaExts in fptools/libraries/base.
+#
+# If 1.13 actually is installed, we turn on the --old-ghc option for
+# the time being.
+
+FPTOOLS_PROG_CHECK_VERSION([$fptools_cv_happy_version],-ge,[1.13],
+ [HappyOpts="--old-ghc -ac"])
+
+AC_SUBST(HappyOpts)