[m-rev.] for review: user-defined events

[Zoltan Somogyi]

On 24-Nov-2006, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> Note, AC_PROG_YACC sets YACC to "bison -y" by default (I think) - you may
> want to consult the autoconf documentation.

I have. The diff to configure.in follows.

Zoltan.

Index: configure.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/configure.in,v
retrieving revision 1.477
diff -u -b -r1.477 configure.in
@@ -4192,6 +4191,21 @@
 MERCURY_CHECK_READLINE
 #-----------------------------------------------------------------------------#
 
+AC_PROG_LEX
+if test "`basename $LEX`" != "flex"
+then
+	AC_MSG_ERROR([You need flex to build Mercury])
+fi
+
+AC_PROG_YACC
+# AC_PROG_YACC may bind YACC to e.g. "bison -y"; we care only about
+# the program name.
+YACCPROG=`echo $YACC | sed 's/ .*//'`
+if test "`basename $YACCPROG`" != "bison"
+then
+	AC_MSG_ERROR([You need bison to build Mercury])
+fi
+
 #-----------------------------------------------------------------------------#
 # Check for a XUL browser and xslrproc and if we find both then set the
 # default xml_browser_command and xml_tmp_filename mdb options.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------