diff options
Diffstat (limited to 'audio')
-rw-r--r-- | audio/portmidi/portmidi.SlackBuild | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/audio/portmidi/portmidi.SlackBuild b/audio/portmidi/portmidi.SlackBuild index b499c98c8edd0..89751050e2d14 100644 --- a/audio/portmidi/portmidi.SlackBuild +++ b/audio/portmidi/portmidi.SlackBuild @@ -28,7 +28,7 @@ cd $(dirname $0) ; CWD=$(pwd) PRGNAM=portmidi VERSION=${VERSION:-2.0.2} -BUILD=${BUILD:-2} +BUILD=${BUILD:-3} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -106,14 +106,6 @@ cd .. install -m 0644 -D pm_common/pmutil.h $PKG/usr/include -( - # allow things which still look for libporttime to find it. - # for example multimedia/xjadeo - # thanks void maintainers - cd $PKG/usr/lib$LIBDIRSUFFIX - ln -s libportmidi.so libporttime.so -) - find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true |