summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-02-11 11:29:36 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-02-11 11:29:36 -0500
commit3e839544936e8a9456d798d5f315991f976f6a53 (patch)
tree5000f3e2d50b46f7a0cb84380be457aba0fe2717 /Makefile.in
parentabe2d7ed6e151579cd6f13fd0ce92e29bb83a23d (diff)
'configure' checks for libmhash and MLton
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in4
1 files changed, 3 insertions, 1 deletions
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: