diff options
author | Tom Willemsen | 2013-03-23 01:05:05 +0100 |
---|---|---|
committer | Tom Willemsen | 2013-03-23 01:05:05 +0100 |
commit | 9e747fde54181853a534df51e07cac4e730e317e (patch) | |
tree | 0b4a9a5796c0999902db39bd0d8a0d57b00ea969 /Makefile | |
parent | 080bb351b87fe6b8bc823ffccae535c8e4cd2679 (diff) | |
download | clark-9e747fde54181853a534df51e07cac4e730e317e.tar.gz clark-9e747fde54181853a534df51e07cac4e730e317e.zip |
Add some Makefile targets
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 |