diff options
author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-06-05 18:51:47 +0000 |
---|---|---|
committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-06-05 18:51:47 +0000 |
commit | 96d612ae9d3682991c4e116977e59e662feb5d92 (patch) | |
tree | 961d8ce817a2b531ca7fe72c77878172efd3e4cd /x11-toolkits | |
parent | cf699951e9d10cee81c6a0a9132aaa8ffcacda85 (diff) |
Notes
Diffstat (limited to 'x11-toolkits')
-rw-r--r-- | x11-toolkits/rep-gtk2/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/x11-toolkits/rep-gtk2/Makefile b/x11-toolkits/rep-gtk2/Makefile index 337702e63171..5b80e50eef42 100644 --- a/x11-toolkits/rep-gtk2/Makefile +++ b/x11-toolkits/rep-gtk2/Makefile @@ -3,6 +3,7 @@ PORTNAME= rep-gtk2 PORTVERSION= 0.90.8.2 +PORTREVISION= 1 PORTEPOCH= 1 CATEGORIES= x11-toolkits MASTER_SITES= http://download.tuxfamily.org/librep/rep-gtk/ @@ -12,6 +13,7 @@ MAINTAINER= ports@FreeBSD.org COMMENT= GTK+-2 bindings for rep Lisp interpreter LICENSE= GPLv2 +LICENSE_FILE= ${WRKSRC}/COPYING LIB_DEPENDS= librep.so:${PORTSDIR}/lang/librep @@ -22,4 +24,7 @@ USE_GNOME= gtk20 PLIST_FILES= include/rep-gtk/rep-gtk.h lib/rep/gui/gtk-2/gtk.a \ lib/rep/gui/gtk-2/gtk.so libdata/pkgconfig/rep-gtk.pc +post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/rep/gui/gtk-2/gtk.so + .include <bsd.port.mk> |