diff src/c/Makefile.in @ 1165:7a17588edbff

'configure' checks for libmhash and MLton
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Feb 2010 11:29:36 -0500
parents f6cb1cb2d7a8
children be2ef50780ed
line wrap: on
line diff
--- a/src/c/Makefile.in	Thu Feb 11 09:10:01 2010 -0500
+++ b/src/c/Makefile.in	Thu Feb 11 11:29:36 2010 -0500
@@ -145,6 +145,9 @@
 LTLIBOBJS = @LTLIBOBJS@
 MAKEINFO = @MAKEINFO@
 MKDIR_P = @MKDIR_P@
+MLLEX = @MLLEX@
+MLTON = @MLTON@
+MLYACC = @MLYACC@
 NM = @NM@
 NMEDIT = @NMEDIT@
 OBJDUMP = @OBJDUMP@