diff options
| author |  Tom Willemsen | 2013-01-06 15:59:16 +0100 |
|---|---|---|
| committer | Tom Willemsen | 2013-01-06 15:59:16 +0100 |
| commit | e0cb22485481351242dff65ab0cce9a7b6fc3400 (patch) | |
| tree | 0bc33fb4afe9fd6dbdc80084b4b59634243bc4a4 | |
| parent | 4fde21d9913a63e8f057543aefa5b4125d74bd85 (diff) | |
| download | markam-e0cb22485481351242dff65ab0cce9a7b6fc3400.tar.gz markam-e0cb22485481351242dff65ab0cce9a7b6fc3400.zip | |
Add install-strip target
| -rw-r--r-- | Makefile | 5 | ||||
| -rw-r--r-- | conkeror/Makefile | 3 | ||||
| -rw-r--r-- | doc/Makefile | 3 | ||||
| -rw-r--r-- | src/Makefile | 5 |
4 files changed, 15 insertions, 1 deletions
@@ -7,6 +7,7 @@ export INSTALL_DATA = $(INSTALL) -m 644 dirs = src doc conkeror 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 @@ -14,6 +15,7 @@ uninstall-dirs = $(addprefix uninstall-,$(dirs)) all: $(dirs) install: $(install-dirs) uninstall: $(uninstall-dirs) +install-strip: $(install-strip-dirs) $(dirs): $(MAKE) -C $@ @@ -24,6 +26,9 @@ $(install-dirs): install-%: $(uninstall-dirs): uninstall-%: $(MAKE) -C $*/ uninstall +$(install-strip-dirs): installstrip-%: + $(MAKE) -C $*/ install-strip + dvi: $(MAKE) -C doc/ dvi diff --git a/conkeror/Makefile b/conkeror/Makefile index 5d21926..1d11b15 100644 --- a/conkeror/Makefile +++ b/conkeror/Makefile @@ -7,5 +7,8 @@ install: markam.js $(INSTALL_DATA) markam.js \ "$(DESTDIR)/share/conkeror/modules/markam.js" +install-strip: + $(MAKE) install + uninstall: rm -f "$(DESTDIR)/share/conkeror/modules/markam.js" diff --git a/doc/Makefile b/doc/Makefile index 36b33c4..a3dd2bc 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -13,6 +13,9 @@ install: markam.info $(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \ "$(DESTDIR)/share/info/markam.info" +install-strip: + $(MAKE) install + uninstall: $(INSTALL_INFO) --dir-file="$(DESTDIR)/share/info/dir" \ --delete "$(DESTDIR)/share/info/markam.info" diff --git a/src/Makefile b/src/Makefile index a7d2415..4bc49b4 100644 --- a/src/Makefile +++ b/src/Makefile @@ -6,11 +6,14 @@ install-binaries = $(addprefix install-,$(binaries)) uninstall-binaries = $(addprefix uninstall-,$(binaries)) objects = paths.o common.o -.PHONY: all install $(install-binaries) uninstall $(uninstall-binaries) +.PHONY: all install $(install-binaries) uninstall $(uninstall-binaries) \ + install-strip all: $(binaries) install: $(install-binaries) uninstall: $(uninstall-binaries) +install-strip: + $(MAKE) INSTALL_PROGRAM='$(INSTALL_PROGRAM) -s' install markam: markam.scm $(objects) $(CSC) $^ -o $@ |