comparison Makefile.am @ 1441:8524a1709821

'--without-emacs' configure option
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Mar 2011 13:47:39 -0400
parents 6064ddd90ca6
children b5517f47b1f1
comparison
equal deleted inserted replaced
1440:6064ddd90ca6 1441:8524a1709821
57 bin/urweb: src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \ 57 bin/urweb: src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \
58 src/urweb.mlton.lex.sml \ 58 src/urweb.mlton.lex.sml \
59 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml 59 src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml
60 $(MLTON) -output $@ src/compiler.mlb 60 $(MLTON) -output $@ src/compiler.mlb
61 61
62 install-exec-local: 62 install-exec-emacs:
63 if USE_EMACS
64 mkdir -p $(DESTDIR)$(SITELISP)
65 cp src/elisp/*.el $(DESTDIR)$(SITELISP)/
66 endif
67
68 install-exec-local-main:
63 mkdir -p $(DESTDIR)$(BIN) 69 mkdir -p $(DESTDIR)$(BIN)
64 cp bin/urweb $(DESTDIR)$(BIN)/ 70 cp bin/urweb $(DESTDIR)$(BIN)/
65 mkdir -p $(DESTDIR)$(LIB_UR) 71 mkdir -p $(DESTDIR)$(LIB_UR)
66 cp lib/ur/*.urs $(DESTDIR)$(LIB_UR)/ 72 cp lib/ur/*.urs $(DESTDIR)$(LIB_UR)/
67 cp lib/ur/*.ur $(DESTDIR)$(LIB_UR)/ 73 cp lib/ur/*.ur $(DESTDIR)$(LIB_UR)/
68 mkdir -p $(DESTDIR)$(LIB_JS) 74 mkdir -p $(DESTDIR)$(LIB_JS)
69 cp lib/js/*.js $(DESTDIR)$(LIB_JS)/ 75 cp lib/js/*.js $(DESTDIR)$(LIB_JS)/
70 mkdir -p $(DESTDIR)$(INCLUDE) 76 mkdir -p $(DESTDIR)$(INCLUDE)
71 cp config.h $(DESTDIR)$(INCLUDE)/ 77 cp config.h $(DESTDIR)$(INCLUDE)/
72 cp include/*.h $(DESTDIR)$(INCLUDE)/ 78 cp include/*.h $(DESTDIR)$(INCLUDE)/
73 mkdir -p $(DESTDIR)$(SITELISP) 79
74 cp src/elisp/*.el $(DESTDIR)$(SITELISP)/ 80 install-exec-local: install-exec-local-main install-exec-emacs
75 -ldconfig 81 -ldconfig
76 82
77 uninstall-local: 83 uninstall-emacs:
84 if USE_EMACS
85 rm -f $(DESTDIR)$(SITELISP)/urweb-compat.el $(DESTDIR)$(SITELISP)/urweb-mode.el $(DESTDIR)$(SITELISP)/urweb-move.el \
86 $(DESTDIR)$(SITELISP)/urweb-defs.el $(DESTDIR)$(SITELISP)/urweb-mode-startup.el $(DESTDIR)$(SITELISP)/urweb-util.el
87 endif
88
89 uninstall-local-main:
78 rm -f $(DESTDIR)$(BIN)/urweb \ 90 rm -f $(DESTDIR)$(BIN)/urweb \
79 $(DESTDIR)$(LIB_UR)/basis.urs $(DESTDIR)$(LIB_UR)/char.urs $(DESTDIR)$(LIB_UR)/listPair.urs $(DESTDIR)$(LIB_UR)/list.urs \ 91 $(DESTDIR)$(LIB_UR)/basis.urs $(DESTDIR)$(LIB_UR)/char.urs $(DESTDIR)$(LIB_UR)/listPair.urs $(DESTDIR)$(LIB_UR)/list.urs \
80 $(DESTDIR)$(LIB_UR)/monad.urs $(DESTDIR)$(LIB_UR)/option.urs $(DESTDIR)$(LIB_UR)/string.urs $(DESTDIR)$(LIB_UR)/top.urs \ 92 $(DESTDIR)$(LIB_UR)/monad.urs $(DESTDIR)$(LIB_UR)/option.urs $(DESTDIR)$(LIB_UR)/string.urs $(DESTDIR)$(LIB_UR)/top.urs \
81 $(DESTDIR)$(LIB_UR)/char.ur $(DESTDIR)$(LIB_UR)/listPair.ur $(DESTDIR)$(LIB_UR)/list.ur \ 93 $(DESTDIR)$(LIB_UR)/char.ur $(DESTDIR)$(LIB_UR)/listPair.ur $(DESTDIR)$(LIB_UR)/list.ur \
82 $(DESTDIR)$(LIB_UR)/monad.ur $(DESTDIR)$(LIB_UR)/option.ur $(DESTDIR)$(LIB_UR)/string.ur $(DESTDIR)$(LIB_UR)/top.ur \ 94 $(DESTDIR)$(LIB_UR)/monad.ur $(DESTDIR)$(LIB_UR)/option.ur $(DESTDIR)$(LIB_UR)/string.ur $(DESTDIR)$(LIB_UR)/top.ur \
83 $(DESTDIR)$(LIB_JS)/urweb.js \ 95 $(DESTDIR)$(LIB_JS)/urweb.js \
84 $(DESTDIR)$(INCLUDE)/config.h $(DESTDIR)$(INCLUDE)/queue.h $(DESTDIR)$(INCLUDE)/request.h $(DESTDIR)$(INCLUDE)/types.h \ 96 $(DESTDIR)$(INCLUDE)/config.h $(DESTDIR)$(INCLUDE)/queue.h $(DESTDIR)$(INCLUDE)/request.h $(DESTDIR)$(INCLUDE)/types.h \
85 $(DESTDIR)$(INCLUDE)/urweb.h \ 97 $(DESTDIR)$(INCLUDE)/urweb.h
86 $(DESTDIR)$(SITELISP)/urweb-compat.el $(DESTDIR)$(SITELISP)/urweb-mode.el $(DESTDIR)$(SITELISP)/urweb-move.el \ 98
87 $(DESTDIR)$(SITELISP)/urweb-defs.el $(DESTDIR)$(SITELISP)/urweb-mode-startup.el $(DESTDIR)$(SITELISP)/urweb-util.el 99 uninstall-local: uninstall-local-main uninstall-emacs
88 100
89 package: 101 package:
90 hg archive -t tgz -X tests /tmp/urweb.tgz 102 hg archive -t tgz -X tests /tmp/urweb.tgz
91 103
92 reauto: 104 reauto: