diff options
| author | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-06-07 23:01:30 +0800 |
|---|---|---|
| committer | Dmitry Marakasov <amdmi3@FreeBSD.org> | 2015-06-07 23:01:30 +0800 |
| commit | 5d471ce47a6742a8fb7531c4c9462f75a60abc9b (patch) | |
| tree | 1caae1967f459be28bb0848bd6272314df5571fd /audio | |
| parent | 5dee92bc699db2c6affa136bce3e9ec453e7ed25 (diff) | |
| download | freebsd-ports-gnome-5d471ce47a6742a8fb7531c4c9462f75a60abc9b.tar.gz freebsd-ports-gnome-5d471ce47a6742a8fb7531c4c9462f75a60abc9b.tar.zst freebsd-ports-gnome-5d471ce47a6742a8fb7531c4c9462f75a60abc9b.zip | |
- Strip binary
- Pet portlint
Diffstat (limited to 'audio')
| -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> |