diff options
-rw-r--r-- | Makefile | 30 | ||||
-rwxr-xr-x | pdf-form-replace-font2 | 3 | ||||
-rwxr-xr-x | pdf-form-replace-font2.in | 3 |
3 files changed, 31 insertions, 5 deletions
@@ -17,9 +17,18 @@ # <https://www.gnu.org/licenses/>. +prefix ?= /usr/local +exec_prefix ?= $(prefix) +bindir ?= $(exec_prefix)/bin +datarootdir ?= $(prefix)/share +mandir ?= $(datarootdir)/man +man1dir ?= $(mandir)/man1 + + VERSION := $(shell grep '^ <version>' pom.xml | sed -e 's/ <version>//' -e 's,</version>,,') SOURCES := $(shell find src -name '*.java') +RELEASE_PRODUCT := target/pdf-form-replace-font2-$(VERSION).jar MAN_PAGE := doc/pdf-form-replace-font2.1 @@ -41,7 +50,24 @@ run: compile .PHONY: package -package: target/pdf-form-replace-font2-$(VERSION).jar +package: $(RELEASE_PRODUCT) -target/pdf-form-replace-font2-$(VERSION).jar: $(SOURCES) +$(RELEASE_PRODUCT): $(SOURCES) mvn package + + +.PHONY: install +install: $(RELEASE_PRODUCT) $(MAN_PAGE) + install -d $(DESTDIR)$(datarootdir)/java + install -m 644 $(RELEASE_PRODUCT) $(DESTDIR)$(datarootdir)/java + + install -d $(DESTDIR)$(bindir) + m4 \ + --define="JAR_PATH=$(DESTDIR)$(datarootdir)/java/pdf-form-replace-font2-$(VERSION).jar" \ + pdf-form-replace-font2.in \ + > pdf-form-replace-font2 + install -m 755 pdf-form-replace-font2 \ + $(DESTDIR)$(bindir) + + install -d $(DESTDIR)$(man1dir) + install -m 644 $(MAN_PAGE) $(DESTDIR)$(man1dir) diff --git a/pdf-form-replace-font2 b/pdf-form-replace-font2 deleted file mode 100755 index 67a97aa..0000000 --- a/pdf-form-replace-font2 +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -exec java -jar target/pdf-form-replace-font2-0.0.1-SNAPSHOT.jar "$@" diff --git a/pdf-form-replace-font2.in b/pdf-form-replace-font2.in new file mode 100755 index 0000000..d751cf6 --- /dev/null +++ b/pdf-form-replace-font2.in @@ -0,0 +1,3 @@ +#!/bin/sh + +exec java -jar JAR_PATH "$@" |