comparison Makefile.in @ 1842:052c5eedc9ea

Add MLTONARGS to xml/parse
author Jason Gross <jgross@mit.edu>
date Sat, 05 Jan 2013 18:19:20 -0500
parents 6ec243437d12
children 8958b580d026
comparison
equal deleted inserted replaced
1841:184d00f7be74 1842:052c5eedc9ea
790 790
791 xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-symbol.ent 791 xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-symbol.ent
792 xml/parse >xml/entities.sml 792 xml/parse >xml/entities.sml
793 793
794 xml/parse: xml/parse.sml 794 xml/parse: xml/parse.sml
795 $(MLTON) xml/parse.sml 795 $(MLTON) $(MLTONARGS) xml/parse.sml
796 796
797 install-exec-emacs: 797 install-exec-emacs:
798 @USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP) 798 @USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP)
799 @USE_EMACS_TRUE@ cp src/elisp/*.el $(DESTDIR)$(SITELISP)/ 799 @USE_EMACS_TRUE@ cp src/elisp/*.el $(DESTDIR)$(SITELISP)/
800 800