From 52971e912b15a083eb481361969ecd60e523c021 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 11 Feb 2010 11:29:36 -0500 Subject: 'configure' checks for libmhash and MLton --- src/c/Makefile.in | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/c') diff --git a/src/c/Makefile.in b/src/c/Makefile.in index c48ffb9f..98f431f9 100644 --- a/src/c/Makefile.in +++ b/src/c/Makefile.in @@ -145,6 +145,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@ -- cgit v1.2.3