comparison Makefile.am @ 1842:052c5eedc9ea

Add MLTONARGS to xml/parse
author Jason Gross <jgross@mit.edu>
date Sat, 05 Jan 2013 18:19:20 -0500
parents 7cf34f8b7b93
children 8958b580d026
comparison
equal deleted inserted replaced
1841:184d00f7be74 1842:052c5eedc9ea
64 64
65 xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-symbol.ent 65 xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-symbol.ent
66 xml/parse >xml/entities.sml 66 xml/parse >xml/entities.sml
67 67
68 xml/parse: xml/parse.sml 68 xml/parse: xml/parse.sml
69 $(MLTON) xml/parse.sml 69 $(MLTON) $(MLTONARGS) xml/parse.sml
70 70
71 install-exec-emacs: 71 install-exec-emacs:
72 if USE_EMACS 72 if USE_EMACS
73 mkdir -p $(DESTDIR)$(SITELISP) 73 mkdir -p $(DESTDIR)$(SITELISP)
74 cp src/elisp/*.el $(DESTDIR)$(SITELISP)/ 74 cp src/elisp/*.el $(DESTDIR)$(SITELISP)/