Mercurial > urweb

comparison Makefile.in @ 1441:8524a1709821

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'--without-emacs' configure option
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Mar 2011 13:47:39 -0400
parents 6064ddd90ca6
children 156b8e8c25d8
comparison
equal deleted inserted replaced
1440:6064ddd90ca6 1441:8524a1709821
775 bin/urweb: src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \ 775 bin/urweb: src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \
776 src/urweb.mlton.lex.sml \ 776 src/urweb.mlton.lex.sml \
777 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml 777 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml
778 $(MLTON) -output $@ src/compiler.mlb 778 $(MLTON) -output $@ src/compiler.mlb
779 779
780 install-exec-local: 780 install-exec-emacs:
781 @USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP)
782 @USE_EMACS_TRUE@ cp src/elisp/*.el $(DESTDIR)$(SITELISP)/
783
784 install-exec-local-main:
781 mkdir -p $(DESTDIR)$(BIN) 785 mkdir -p $(DESTDIR)$(BIN)
782 cp bin/urweb $(DESTDIR)$(BIN)/ 786 cp bin/urweb $(DESTDIR)$(BIN)/
783 mkdir -p $(DESTDIR)$(LIB_UR) 787 mkdir -p $(DESTDIR)$(LIB_UR)
784 cp lib/ur/*.urs $(DESTDIR)$(LIB_UR)/ 788 cp lib/ur/*.urs $(DESTDIR)$(LIB_UR)/
785 cp lib/ur/*.ur $(DESTDIR)$(LIB_UR)/ 789 cp lib/ur/*.ur $(DESTDIR)$(LIB_UR)/
786 mkdir -p $(DESTDIR)$(LIB_JS) 790 mkdir -p $(DESTDIR)$(LIB_JS)
787 cp lib/js/*.js $(DESTDIR)$(LIB_JS)/ 791 cp lib/js/*.js $(DESTDIR)$(LIB_JS)/
788 mkdir -p $(DESTDIR)$(INCLUDE) 792 mkdir -p $(DESTDIR)$(INCLUDE)
789 cp config.h $(DESTDIR)$(INCLUDE)/ 793 cp config.h $(DESTDIR)$(INCLUDE)/
790 cp include/*.h $(DESTDIR)$(INCLUDE)/ 794 cp include/*.h $(DESTDIR)$(INCLUDE)/
791 mkdir -p $(DESTDIR)$(SITELISP) 795
792 cp src/elisp/*.el $(DESTDIR)$(SITELISP)/ 796 install-exec-local: install-exec-local-main install-exec-emacs
793 -ldconfig 797 -ldconfig
794 798
795 uninstall-local: 799 uninstall-emacs:
800 @USE_EMACS_TRUE@ rm -f $(DESTDIR)$(SITELISP)/urweb-compat.el $(DESTDIR)$(SITELISP)/urweb-mode.el $(DESTDIR)$(SITELISP)/urweb-move.el \
801 @USE_EMACS_TRUE@ $(DESTDIR)$(SITELISP)/urweb-defs.el $(DESTDIR)$(SITELISP)/urweb-mode-startup.el $(DESTDIR)$(SITELISP)/urweb-util.el
802
803 uninstall-local-main:
796 rm -f $(DESTDIR)$(BIN)/urweb \ 804 rm -f $(DESTDIR)$(BIN)/urweb \
797 $(DESTDIR)$(LIB_UR)/basis.urs $(DESTDIR)$(LIB_UR)/char.urs $(DESTDIR)$(LIB_UR)/listPair.urs $(DESTDIR)$(LIB_UR)/list.urs \ 805 $(DESTDIR)$(LIB_UR)/basis.urs $(DESTDIR)$(LIB_UR)/char.urs $(DESTDIR)$(LIB_UR)/listPair.urs $(DESTDIR)$(LIB_UR)/list.urs \
798 $(DESTDIR)$(LIB_UR)/monad.urs $(DESTDIR)$(LIB_UR)/option.urs $(DESTDIR)$(LIB_UR)/string.urs $(DESTDIR)$(LIB_UR)/top.urs \ 806 $(DESTDIR)$(LIB_UR)/monad.urs $(DESTDIR)$(LIB_UR)/option.urs $(DESTDIR)$(LIB_UR)/string.urs $(DESTDIR)$(LIB_UR)/top.urs \
799 $(DESTDIR)$(LIB_UR)/char.ur $(DESTDIR)$(LIB_UR)/listPair.ur $(DESTDIR)$(LIB_UR)/list.ur \ 807 $(DESTDIR)$(LIB_UR)/char.ur $(DESTDIR)$(LIB_UR)/listPair.ur $(DESTDIR)$(LIB_UR)/list.ur \
800 $(DESTDIR)$(LIB_UR)/monad.ur $(DESTDIR)$(LIB_UR)/option.ur $(DESTDIR)$(LIB_UR)/string.ur $(DESTDIR)$(LIB_UR)/top.ur \ 808 $(DESTDIR)$(LIB_UR)/monad.ur $(DESTDIR)$(LIB_UR)/option.ur $(DESTDIR)$(LIB_UR)/string.ur $(DESTDIR)$(LIB_UR)/top.ur \
801 $(DESTDIR)$(LIB_JS)/urweb.js \ 809 $(DESTDIR)$(LIB_JS)/urweb.js \
802 $(DESTDIR)$(INCLUDE)/config.h $(DESTDIR)$(INCLUDE)/queue.h $(DESTDIR)$(INCLUDE)/request.h $(DESTDIR)$(INCLUDE)/types.h \ 810 $(DESTDIR)$(INCLUDE)/config.h $(DESTDIR)$(INCLUDE)/queue.h $(DESTDIR)$(INCLUDE)/request.h $(DESTDIR)$(INCLUDE)/types.h \
803 $(DESTDIR)$(INCLUDE)/urweb.h \ 811 $(DESTDIR)$(INCLUDE)/urweb.h
804 $(DESTDIR)$(SITELISP)/urweb-compat.el $(DESTDIR)$(SITELISP)/urweb-mode.el $(DESTDIR)$(SITELISP)/urweb-move.el \ 812
805 $(DESTDIR)$(SITELISP)/urweb-defs.el $(DESTDIR)$(SITELISP)/urweb-mode-startup.el $(DESTDIR)$(SITELISP)/urweb-util.el 813 uninstall-local: uninstall-local-main uninstall-emacs
806 814
807 package: 815 package:
808 hg archive -t tgz -X tests /tmp/urweb.tgz 816 hg archive -t tgz -X tests /tmp/urweb.tgz
809 817
810 reauto: 818 reauto: