diff options
-rw-r--r-- | editors/puff/Makefile | 1 | ||||
-rw-r--r-- | editors/puff/files/patch-Makefile | 16 |
2 files changed, 16 insertions, 1 deletions
diff --git a/editors/puff/Makefile b/editors/puff/Makefile index bde2acef0d9a..f199690fed0e 100644 --- a/editors/puff/Makefile +++ b/editors/puff/Makefile @@ -12,5 +12,4 @@ COMMENT= Simple and efficient text editor PLIST_FILES= bin/puff etc/puff.conf.sample -NO_STAGE= yes .include <bsd.port.mk> diff --git a/editors/puff/files/patch-Makefile b/editors/puff/files/patch-Makefile new file mode 100644 index 000000000000..4fb4ee4b8cf0 --- /dev/null +++ b/editors/puff/files/patch-Makefile @@ -0,0 +1,16 @@ +--- ./Makefile.orig 2007-11-04 09:49:37.000000000 +0100 ++++ ./Makefile 2014-03-06 16:27:34.118280667 +0100 +@@ -9,9 +9,10 @@ + fortune: + -@fortune + install: all +- install -m 0755 puff $(PREFIX)/bin +- mkdir -p $(PREFIX)/etc || echo -n +- install -m 0644 puff.conf $(PREFIX)/etc/puff.conf.sample ++ strip puff ++ install -m 0755 puff $(DESTDIR)$(PREFIX)/bin ++ mkdir -p $(DESTDIR)$(PREFIX)/etc || echo -n ++ install -m 0644 puff.conf $(DESTDIR)$(PREFIX)/etc/puff.conf.sample + uninstall: + rm -f $(PREFIX)/bin/puff $(PREFIX)/etc/puff.conf + clean: |