From 3e839544936e8a9456d798d5f315991f976f6a53 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 11 Feb 2010 11:29:36 -0500
Subject: 'configure' checks for libmhash and MLton

---
 Makefile.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile.in')

diff --git a/Makefile.in b/Makefile.in
index 3d848206..67263703 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -146,6 +146,9 @@ LN_S = @LN_S@
 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_UR := $(LIB)/ur
 LIB_C := $(LIB)/c
 LIB_JS := $(LIB)/js
 SUBDIRS = src/c
-MLTON := mlton
 all: all-recursive
 
 .SUFFIXES:
-- 
cgit v1.2.3