diff Makefile.in @ 1838:6ec243437d12

Autogenerate some files
author Adam Chlipala <adam@chlipala.net>
date Wed, 12 Dec 2012 16:42:15 -0500
parents 6a621a625b04
children 052c5eedc9ea
line wrap: on
line diff
--- a/Makefile.in	Wed Dec 12 14:47:06 2012 -0500
+++ b/Makefile.in	Wed Dec 12 16:42:15 2012 -0500
@@ -151,6 +151,7 @@
 MKDIR_P = @MKDIR_P@
 MLLEX = @MLLEX@
 MLTON = mlton
+MLTONARGS = @MLTONARGS@
 MLYACC = @MLYACC@
 MSHEADER = @MSHEADER@
 NM = @NM@
@@ -563,7 +564,7 @@
 	*.zip*) \
 	  unzip $(distdir).zip ;;\
 	esac
-	chmod -R a-w $(distdir); chmod a+w $(distdir)
+	chmod -R a-w $(distdir); chmod u+w $(distdir)
 	mkdir $(distdir)/_build
 	mkdir $(distdir)/_inst
 	chmod a-w $(distdir)
@@ -785,7 +786,7 @@
 		src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \
 		src/urweb.mlton.lex.sml \
 		src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml
-	$(MLTON) -output $@ src/compiler.mlb
+	$(MLTON) $(MLTONARGS) -output $@ src/compiler.mlb
 
 xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-symbol.ent
 	xml/parse >xml/entities.sml