diff options
| -rw-r--r-- | development/polyml/polyml.SlackBuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/development/polyml/polyml.SlackBuild b/development/polyml/polyml.SlackBuild index ed0054a6553cc..dbacef8496c82 100644 --- a/development/polyml/polyml.SlackBuild +++ b/development/polyml/polyml.SlackBuild @@ -7,7 +7,7 @@ cd $(dirname $0) ; CWD=$(pwd) PRGNAM="polyml" VERSION=${VERSION:-5.5.2} -BUILD=${BUILD:-1} +BUILD=${BUILD:-2} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -82,6 +82,8 @@ mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION cp -a COPYING TODO.txt $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild +rm -f $PKG/usr/lib*/*.la + mkdir -p $PKG/install cat $CWD/slack-desc > $PKG/install/slack-desc |