Mercurial > urweb
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