From b3e8d3b03132c21acee9177b6c7971a9f1f8f3c0 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 25 Jun 2013 01:10:58 +0200 Subject: improve makefile MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- Makefile | 46 +++++++++++++++++++++++++++++----------------- 1 file changed, 29 insertions(+), 17 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 7391316..4d8ff4b 100644 --- a/Makefile +++ b/Makefile @@ -7,14 +7,18 @@ # # [GNU All Permissive License] - -PREFIX=/usr - -PROGRAM=sets -BOOK=$(PROGRAM) +PREFIX = /usr +DATA = /share +BIN = /bin +PKGNAME = sets +COMMAND = sets +LICENSES = $(PREFIX)$(DATA) + +BOOK=sets BOOKDIR=info/ + # compile the package .PHONY: all all: info @@ -56,24 +60,32 @@ dvi.xz: $(BOOK).dvi.xz # install to system .PHONY: install -install: - mkdir -p "$(DESTDIR)$(PREFIX)/bin" - mkdir -p "$(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)" - mkdir -p "$(DESTDIR)$(PREFIX)/share/info/" - install -m 755 "$(PROGRAM).py" "$(DESTDIR)$(PREFIX)/bin/$(PROGRAM)" - install -m 644 COPYING "$(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)" - install -m 644 LICENSE "$(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)" - install -m 644 "$(BOOK).info.gz" "$(DESTDIR)$(PREFIX)/share/info" +install: install-cmd install-license install-info + +install-cmd: + install -dm755 "$(DESTDIR)$(PREFIX)$(BIN)" + install -m755 sets.py "$(DESTDIR)$(PREFIX)$(BIN)/$(COMMAND)" + +install-license: + install -dm755 "$(DESTDIR)$(LICENSES)/$(PKGNAME)" + install -m644 COPYING LICENSE "$(DESTDIR)$(LICENSES)/$(PKGNAME)" + +install-info: $(BOOK).info.gz + install -dm755 "$(DESTDIR)$(PREFIX)$(DATA)/info" + install -m644 "$(BOOK).info.gz" "$(DESTDIR)$(PREFIX)$(DATA)/info/$(PKGNAME).info.gz" + # remove files created by `install` .PHONY: uninstall uninstall: - unlink "$(DESTDIR)$(PREFIX)/bin/$(PROGRAM)" - rm -r "$(DESTDIR)$(PREFIX)/share/licenses/$(PROGRAM)" - rm "$(DESTDIR)$(PREFIX)/share/info/$(BOOK).info.gz" + -rm -- "$(DESTDIR)$(PREFIX)$(BIN)/$(COMMAND)" + -rm -- "$(DESTDIR)$(LICENSES)/$(PKGNAME)/COPYING" + -rm -- "$(DESTDIR)$(LICENSES)/$(PKGNAME)/LICENSE" + -rmdir -- "$(DESTDIR)$(LICENSES)/$(PKGNAME)" + -rm -- "$(DESTDIR)$(PREFIX)$(DATA)/info/$(PKGNAME).info.gz" # remove files created by `all` .PHONY: clean clean: - rm -r *.{t2d,aux,cp,cps,fn,ky,log,pg,pgs,toc,tp,vr,vrs,op,ops,bak,info,pdf,ps,dvi,gz} 2>/dev/null || exit 0 + -rm -r *.{t2d,aux,cp,cps,fn,ky,log,pg,pgs,toc,tp,vr,vrs,op,ops,bak,info,pdf,ps,dvi,gz} 2>/dev/null -- cgit v1.2.3-70-g09d2