diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-12-12 16:42:15 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-12-12 16:42:15 -0500 |
| commit | 5005de069d5f7671ffac6e9d3e5833cc10b63cb0 (patch) | |
| tree | e4eba1ea9c294903b3ddd117830bda2267dfb8bb /Makefile.in | |
| parent | ddeb9c57ed9b292082503aa10ebc942500ac8950 (diff) | |
Autogenerate some files
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 6a46bb78..0514f3c8 100644 --- a/Makefile.in +++ b/Makefile.in @@ -151,6 +151,7 @@ MAKEINFO = @MAKEINFO@ MKDIR_P = @MKDIR_P@ MLLEX = @MLLEX@ MLTON = mlton +MLTONARGS = @MLTONARGS@ MLYACC = @MLYACC@ MSHEADER = @MSHEADER@ NM = @NM@ @@ -563,7 +564,7 @@ distcheck: dist *.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 @@ bin/urweb: xml/entities.sml \ 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 |