# Remove some automounter nonsense (Glasgow specific gruff)
#
hardtop=`pwd`
-hardtop=`echo $hardtop | sed 's|^/tmp_mnt/|/|' | sed 's|^/grasp_tmp|/local/grasp_tmp|'`
+hardtop=`echo $hardtop | sed 's|^/tmp_mnt.*\(/local/.*\)$|\1|' | sed 's|^/tmp_mnt/|/|' | sed 's|^/grasp_tmp|/local/grasp_tmp|'`
echo ''
echo "*** The top of your build tree is: $hardtop"
#
AC_HAPPY
+if test x"$HappyCmd" != x; then
+ 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
+fi
+
#
#
dnl ** check for installed lx binary