diff options
Diffstat (limited to 'audio/portmidi')
-rw-r--r-- | audio/portmidi/portmidi.SlackBuild | 7 | ||||
-rw-r--r-- | audio/portmidi/portmidi.info | 2 |
2 files changed, 6 insertions, 3 deletions
diff --git a/audio/portmidi/portmidi.SlackBuild b/audio/portmidi/portmidi.SlackBuild index 93d39e602707..f88f9f8123b9 100644 --- a/audio/portmidi/portmidi.SlackBuild +++ b/audio/portmidi/portmidi.SlackBuild @@ -26,7 +26,7 @@ PRGNAM=portmidi VERSION=${VERSION:-217} -BUILD=${BUILD:-2} +BUILD=${BUILD:-3} TAG=${TAG:-_SBo} if [ -z "$ARCH" ]; then @@ -92,7 +92,10 @@ make all \ PMFLAGS="-DNEWBUFFER" make install DESTDIR=$PKG -rm -f $PKG/usr/lib$LIBDIRSUFFIX/libportmidi_s.a +cd $PKG/usr/lib$LIBDIRSUFFIX + rm -f libportmidi_s.a + ln -s libportmidi.so libporttime.so +cd - # I think this may cause problems unless it's renamed mv $PKG/usr/bin/test $PKG/usr/bin/portmiditest diff --git a/audio/portmidi/portmidi.info b/audio/portmidi/portmidi.info index 6461b7affb57..5ff84b2b94ac 100644 --- a/audio/portmidi/portmidi.info +++ b/audio/portmidi/portmidi.info @@ -7,4 +7,4 @@ DOWNLOAD_x86_64="" MD5SUM_x86_64="" MAINTAINER="David Woodfall" EMAIL="dave@dawoodfall.net" -APPROVED="rworkman" +APPROVED="pprkut" |