diff options
| -rw-r--r-- | audio/gmidimonitor/Makefile | 27 | ||||
| -rw-r--r-- | audio/gmidimonitor/distinfo | 4 | ||||
| -rw-r--r-- | audio/gmidimonitor/files/patch-configure | 11 | ||||
| -rw-r--r-- | audio/gmidimonitor/pkg-descr | 2 | ||||
| -rw-r--r-- | audio/gmidimonitor/pkg-plist | 3 |
5 files changed, 24 insertions, 23 deletions
diff --git a/audio/gmidimonitor/Makefile b/audio/gmidimonitor/Makefile index 994d3894f1ba..a32734cec242 100644 --- a/audio/gmidimonitor/Makefile +++ b/audio/gmidimonitor/Makefile @@ -6,8 +6,7 @@ # PORTNAME= gmidimonitor -PORTVERSION= 3.4 -PORTREVISION= 3 +PORTVERSION= 3.6 CATEGORIES= audio MASTER_SITES= http://download.gna.org/gmidimonitor/ @@ -18,10 +17,26 @@ LIB_DEPENDS= jack.0:${PORTSDIR}/audio/jack \ lash.2:${PORTSDIR}/audio/lash USE_BZIP2= yes -GNU_CONFIGURE= yes -CONFIGURE_ARGS= --disable-alsamidi -CONFIGURE_ENV= "CFLAGS=${CFLAGS} -I${LOCALBASE}/include" -USE_GMAKE= yes USE_GNOME= gtk20 libglade2 +MAKE_JOBS_SAFE= yes + +LICENSE= GPLv2 +LICENSE_FILE= ${WRKSRC}/COPYING + +PLIST_FILES= bin/gmidimonitor %%DATADIR%%/gmidimonitor.ui +PLIST_DIRS= %%DATADIR%% + +.if defined(MAKE_JOBS_NUMBER) +MAKE_JOBS_ARGS= -j${MAKE_JOBS_NUMBER} +.endif + +do-configure: + @(cd ${WRKSRC} && ./waf configure --prefix=${PREFIX} --alsa=no) + +do-build: + @(cd ${WRKSRC} && ./waf ${MAKE_JOBS_ARGS}) + +do-install: + @(cd ${WRKSRC} && ./waf install) .include <bsd.port.mk> diff --git a/audio/gmidimonitor/distinfo b/audio/gmidimonitor/distinfo index e9c9c1d4c81d..f3da358ce7b5 100644 --- a/audio/gmidimonitor/distinfo +++ b/audio/gmidimonitor/distinfo @@ -1,2 +1,2 @@ -SHA256 (gmidimonitor-3.4.tar.bz2) = ae7cc4c6be1cbcb3dbedc7d76bad2871ee6ec896cf269b1086726d7d22f11095 -SIZE (gmidimonitor-3.4.tar.bz2) = 252382 +SHA256 (gmidimonitor-3.6.tar.bz2) = 941a8d19dc3b743e152fbaa44f0387d2c9d49b8fd17a6fa06f7155fdb4ec6a31 +SIZE (gmidimonitor-3.6.tar.bz2) = 122736 diff --git a/audio/gmidimonitor/files/patch-configure b/audio/gmidimonitor/files/patch-configure deleted file mode 100644 index 6b29ea5fad12..000000000000 --- a/audio/gmidimonitor/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig 2008-07-23 12:17:35.000000000 +0200 -+++ configure 2008-07-23 12:18:05.000000000 +0200 -@@ -20374,7 +20374,7 @@ - ac_compiler_gnu=$ac_cv_c_compiler_gnu - - -- if test "$jackmidi_nframes" == "yes" -+ if test "$jackmidi_nframes" = "yes" - then - - cat >>confdefs.h <<\_ACEOF diff --git a/audio/gmidimonitor/pkg-descr b/audio/gmidimonitor/pkg-descr index fc1f470cbedb..c62b7a96a1b2 100644 --- a/audio/gmidimonitor/pkg-descr +++ b/audio/gmidimonitor/pkg-descr @@ -1,3 +1,3 @@ GMIDImonitor is GTK+ application that shows MIDI events. -WWW: https://gmidimonitor.bountysource.com/ +WWW: http://home.gna.org/gmidimonitor/ diff --git a/audio/gmidimonitor/pkg-plist b/audio/gmidimonitor/pkg-plist deleted file mode 100644 index 19ae0c1c6d84..000000000000 --- a/audio/gmidimonitor/pkg-plist +++ /dev/null @@ -1,3 +0,0 @@ -bin/gmidimonitor -%%DATADIR%%/gmidimonitor.glade -@dirrm %%DATADIR%% |