diff options
Diffstat (limited to 'libraries/Ipopt')
| -rw-r--r-- | libraries/Ipopt/Ipopt.SlackBuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libraries/Ipopt/Ipopt.SlackBuild b/libraries/Ipopt/Ipopt.SlackBuild index c14168b43af7f..d3ca9cd63821f 100644 --- a/libraries/Ipopt/Ipopt.SlackBuild +++ b/libraries/Ipopt/Ipopt.SlackBuild @@ -26,7 +26,7 @@ cd $(dirname $0) ; CWD=$(pwd) PRGNAM=Ipopt VERSION=${VERSION:-3.12.6} -BUILD=${BUILD:-1} +BUILD=${BUILD:-2} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -102,6 +102,8 @@ cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild mv $PKG/usr/share/coin/doc/Ipopt/* $PKG/usr/doc/$PRGNAM-$VERSION rm -rf $PKG/usr/share/ +rm -f $PKG/usr/lib*/*.la + mkdir -p $PKG/install cat $CWD/slack-desc > $PKG/install/slack-desc |