+if test -d $srcdir/ghc; then
+ if ( test "$fptools_cv_happy_version" = "" || (
+ test `echo "$fptools_cv_happy_version" | sed -e "s/\(.*\)\..*/\1/g"` "-eq" "1" &&
+ test `echo "$fptools_cv_happy_version" | sed -e "s/.*\.\(.*\)/\1/g"` "-lt" "9" )); then