Mercurial > urweb
comparison Makefile.in @ 1592:1c9f8f06c1d6
Support the full set of XHTML character entities
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 05 Nov 2011 15:05:13 -0400 |
parents | 7770ef82c463 |
children | 27d68ccb2c9e |
comparison
equal
deleted
inserted
replaced
1591:20f898c29525 | 1592:1c9f8f06c1d6 |
---|---|
748 smlnj: src/urweb.cm | 748 smlnj: src/urweb.cm |
749 mlton: bin/urweb | 749 mlton: bin/urweb |
750 | 750 |
751 clean-local: | 751 clean-local: |
752 rm -f src/*.mlton.grm.* src/*.mlton.lex.* \ | 752 rm -f src/*.mlton.grm.* src/*.mlton.lex.* \ |
753 src/urweb.cm src/urweb.mlb | 753 src/urweb.cm src/urweb.mlb xml/parse xml/entities.sml |
754 rm -rf .cm src/.cm | 754 rm -rf .cm src/.cm |
755 | 755 |
756 src/urweb.cm: src/prefix.cm src/sources | 756 src/urweb.cm: src/prefix.cm src/sources |
757 cat src/prefix.cm src/sources \ | 757 cat src/prefix.cm src/sources \ |
758 >src/urweb.cm | 758 >src/urweb.cm |
780 | 780 |
781 #ifdef PROFILE | 781 #ifdef PROFILE |
782 # MLTON += -profile $(PROFILE) | 782 # MLTON += -profile $(PROFILE) |
783 #endif | 783 #endif |
784 | 784 |
785 bin/urweb: src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \ | 785 bin/urweb: xml/entities.sml \ |
786 src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \ | |
786 src/urweb.mlton.lex.sml \ | 787 src/urweb.mlton.lex.sml \ |
787 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml | 788 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml |
788 $(MLTON) -output $@ src/compiler.mlb | 789 $(MLTON) -output $@ src/compiler.mlb |
790 | |
791 xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-symbol.ent | |
792 xml/parse >xml/entities.sml | |
793 | |
794 xml/parse: xml/parse.sml | |
795 $(MLTON) xml/parse.sml | |
789 | 796 |
790 install-exec-emacs: | 797 install-exec-emacs: |
791 @USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP) | 798 @USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP) |
792 @USE_EMACS_TRUE@ cp src/elisp/*.el $(DESTDIR)$(SITELISP)/ | 799 @USE_EMACS_TRUE@ cp src/elisp/*.el $(DESTDIR)$(SITELISP)/ |
793 | 800 |