diff options
author | amdmi3 <amdmi3@FreeBSD.org> | 2015-06-07 23:01:30 +0800 |
---|---|---|
committer | amdmi3 <amdmi3@FreeBSD.org> | 2015-06-07 23:01:30 +0800 |
commit | bc2662f5c62f078945ab59fa0cbcc178301191c2 (patch) | |
tree | 1caae1967f459be28bb0848bd6272314df5571fd /audio/gmidimonitor | |
parent | ca17ebb2311ff945fdfc64f35f608990b4361c29 (diff) | |
download | freebsd-ports-gnome-bc2662f5c62f078945ab59fa0cbcc178301191c2.tar.gz freebsd-ports-gnome-bc2662f5c62f078945ab59fa0cbcc178301191c2.tar.zst freebsd-ports-gnome-bc2662f5c62f078945ab59fa0cbcc178301191c2.zip |
- Strip binary
- Pet portlint
Diffstat (limited to 'audio/gmidimonitor')
-rw-r--r-- | audio/gmidimonitor/Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/audio/gmidimonitor/Makefile b/audio/gmidimonitor/Makefile index 7793400e5c1f..e83e1d61a968 100644 --- a/audio/gmidimonitor/Makefile +++ b/audio/gmidimonitor/Makefile @@ -3,13 +3,16 @@ PORTNAME= gmidimonitor PORTVERSION= 3.6 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= audio MASTER_SITES= http://download.gna.org/gmidimonitor/ MAINTAINER= ports@FreeBSD.org COMMENT= GTK+ application that shows MIDI events +LICENSE= GPLv2 # or later +LICENSE_FILE= ${WRKSRC}/COPYING + LIB_DEPENDS= libjack.so:${PORTSDIR}/audio/jack \ liblash.so:${PORTSDIR}/audio/lash @@ -18,9 +21,9 @@ USE_GNOME= gtk20 libglade2 CONFIGURE_ARGS= --alsa=no -LICENSE= GPLv2 -LICENSE_FILE= ${WRKSRC}/COPYING - PLIST_FILES= bin/gmidimonitor %%DATADIR%%/gmidimonitor.ui +post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} + .include <bsd.port.mk> |