diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 50 |
1 files changed, 47 insertions, 3 deletions
@@ -14,7 +14,51 @@ # # You should have received a copy of the GNU General Public License # along with CLark. If not, see <http://www.gnu.org/licenses/>. -.PHONY: all +INSTALL = install -D -all: - $(MAKE) -C lisp/ +export DESTDIR ?= /usr/local +export INSTALL_PROGRAM = $(INSTALL) +export INSTALL_DATA = $(INSTALL) -m 644 + +dirs = lisp doc js +install-dirs = $(addprefix install-,$(dirs)) +uninstall-dirs = $(addprefix uninstall-,$(dirs)) +install-strip-dirs = $(addprefix installstrip-,$(dirs)) + +.PHONY: all $(dirs) install $(install-dirs) uninstall $(uninstall-dirs) \ + dvi install-dvi pdf install-pdf ps install-ps + +all: $(dirs) +install: $(install-dirs) +uninstall: $(uninstall-dirs) +install-strip: $(install-strip-dirs) + +$(dirs): + $(MAKE) -C $@ + +$(install-dirs): install-%: + $(MAKE) -C $*/ install + +$(uninstall-dirs): uninstall-%: + $(MAKE) -C $*/ uninstall + +$(install-strip-dirs): installstrip-%: + $(MAKE) -C $*/ install-strip + +dvi: + $(MAKE) -C doc/ dvi + +pdf: + $(MAKE) -C doc/ pdf + +ps: + $(MAKE) -C doc/ ps + +install-dvi: + $(MAKE) -C doc/ install-dvi + +install-pdf: + $(MAKE) -C doc/ install-pdf + +install-ps: + $(MAKE) -C doc/ install-ps |