diff 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 64a9d74111e6
children be2ef50780ed
line wrap: on
line diff
--- a/Makefile.in	Thu Feb 11 09:10:01 2010 -0500
+++ b/Makefile.in	Thu Feb 11 11:29:36 2010 -0500
@@ -146,6 +146,9 @@
 LTLIBOBJS = @LTLIBOBJS@
 MAKEINFO = @MAKEINFO@
 MKDIR_P = @MKDIR_P@
+MLLEX = @MLLEX@
+MLTON := mlton
+MLYACC = @MLYACC@
 NM = @NM@
 NMEDIT = @NMEDIT@
 OBJDUMP = @OBJDUMP@
@@ -224,7 +227,6 @@
 LIB_C := $(LIB)/c
 LIB_JS := $(LIB)/js
 SUBDIRS = src/c
-MLTON := mlton
 all: all-recursive
 
 .SUFFIXES: