Mercurial > urweb

comparison Makefile.in @ 1440:6064ddd90ca6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix C compilation of empty records; use DESTDIR in 'make install/uninstall'
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Mar 2011 13:15:11 -0400
parents 898dc978c39d
children 8524a1709821
comparison
equal deleted inserted replaced
1439:6ff10428de4a 1440:6064ddd90ca6
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-local:
781 mkdir -p $(BIN) 781 mkdir -p $(DESTDIR)$(BIN)
782 cp bin/urweb $(BIN)/ 782 cp bin/urweb $(DESTDIR)$(BIN)/
783 mkdir -p $(LIB_UR) 783 mkdir -p $(DESTDIR)$(LIB_UR)
784 cp lib/ur/*.urs $(LIB_UR)/ 784 cp lib/ur/*.urs $(DESTDIR)$(LIB_UR)/
785 cp lib/ur/*.ur $(LIB_UR)/ 785 cp lib/ur/*.ur $(DESTDIR)$(LIB_UR)/
786 mkdir -p $(LIB_JS) 786 mkdir -p $(DESTDIR)$(LIB_JS)
787 cp lib/js/*.js $(LIB_JS)/ 787 cp lib/js/*.js $(DESTDIR)$(LIB_JS)/
788 mkdir -p $(INCLUDE) 788 mkdir -p $(DESTDIR)$(INCLUDE)
789 cp config.h $(INCLUDE)/ 789 cp config.h $(DESTDIR)$(INCLUDE)/
790 cp include/*.h $(INCLUDE)/ 790 cp include/*.h $(DESTDIR)$(INCLUDE)/
791 mkdir -p $(SITELISP) 791 mkdir -p $(DESTDIR)$(SITELISP)
792 cp src/elisp/*.el $(SITELISP)/ 792 cp src/elisp/*.el $(DESTDIR)$(SITELISP)/
793 -ldconfig 793 -ldconfig
794 794
795 uninstall-local: 795 uninstall-local:
796 rm -f $(BIN)/urweb \ 796 rm -f $(DESTDIR)$(BIN)/urweb \
797 $(LIB_UR)/basis.urs $(LIB_UR)/char.urs $(LIB_UR)/listPair.urs $(LIB_UR)/list.urs \ 797 $(DESTDIR)$(LIB_UR)/basis.urs $(DESTDIR)$(LIB_UR)/char.urs $(DESTDIR)$(LIB_UR)/listPair.urs $(DESTDIR)$(LIB_UR)/list.urs \
798 $(LIB_UR)/monad.urs $(LIB_UR)/option.urs $(LIB_UR)/string.urs $(LIB_UR)/top.urs \ 798 $(DESTDIR)$(LIB_UR)/monad.urs $(DESTDIR)$(LIB_UR)/option.urs $(DESTDIR)$(LIB_UR)/string.urs $(DESTDIR)$(LIB_UR)/top.urs \
799 $(LIB_UR)/char.ur $(LIB_UR)/listPair.ur $(LIB_UR)/list.ur \ 799 $(DESTDIR)$(LIB_UR)/char.ur $(DESTDIR)$(LIB_UR)/listPair.ur $(DESTDIR)$(LIB_UR)/list.ur \
800 $(LIB_UR)/monad.ur $(LIB_UR)/option.ur $(LIB_UR)/string.ur $(LIB_UR)/top.ur \ 800 $(DESTDIR)$(LIB_UR)/monad.ur $(DESTDIR)$(LIB_UR)/option.ur $(DESTDIR)$(LIB_UR)/string.ur $(DESTDIR)$(LIB_UR)/top.ur \
801 $(LIB_JS)/urweb.js \ 801 $(DESTDIR)$(LIB_JS)/urweb.js \
802 $(INCLUDE)/config.h $(INCLUDE)/queue.h $(INCLUDE)/request.h $(INCLUDE)/types.h \ 802 $(DESTDIR)$(INCLUDE)/config.h $(DESTDIR)$(INCLUDE)/queue.h $(DESTDIR)$(INCLUDE)/request.h $(DESTDIR)$(INCLUDE)/types.h \
803 $(INCLUDE)/urweb.h \ 803 $(DESTDIR)$(INCLUDE)/urweb.h \
804 $(SITELISP)/urweb-compat.el $(SITELISP)/urweb-mode.el $(SITELISP)/urweb-move.el \ 804 $(DESTDIR)$(SITELISP)/urweb-compat.el $(DESTDIR)$(SITELISP)/urweb-mode.el $(DESTDIR)$(SITELISP)/urweb-move.el \
805 $(SITELISP)/urweb-defs.el $(SITELISP)/urweb-mode-startup.el $(SITELISP)/urweb-util.el 805 $(DESTDIR)$(SITELISP)/urweb-defs.el $(DESTDIR)$(SITELISP)/urweb-mode-startup.el $(DESTDIR)$(SITELISP)/urweb-util.el
806 806
807 package: 807 package:
808 hg archive -t tgz -X tests /tmp/urweb.tgz 808 hg archive -t tgz -X tests /tmp/urweb.tgz
809 809
810 reauto: 810 reauto: