diff options
author | Julian Grinblat <julian@dotcore.co.il> | 2022-07-20 04:03:09 +0100 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-07-23 11:13:11 +0700 |
commit | 8442f6df581ad4c4f576145edf437963b10e0905 (patch) | |
tree | 107fd6743a328d42d343c8c785725a7435df848c /development/sbt/sbt.SlackBuild | |
parent | 317ba8c42b965d40c94e1d80e41e1957f432cc51 (diff) |
development/sbt: Updated for version 1.7.1.
Signed-off-by: Dave Woodfall <dave@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/sbt/sbt.SlackBuild')
-rw-r--r-- | development/sbt/sbt.SlackBuild | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/development/sbt/sbt.SlackBuild b/development/sbt/sbt.SlackBuild index e79b74c7e0b9b..97ce5d71a0c92 100644 --- a/development/sbt/sbt.SlackBuild +++ b/development/sbt/sbt.SlackBuild @@ -25,12 +25,12 @@ cd $(dirname $0) ; CWD=$(pwd) PRGNAM=sbt -VERSION=${VERSION:-1.6.2} +VERSION=${VERSION:-1.7.1} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} -ARCH=noarch +ARCH=x86_64 # If the variable PRINT_PACKAGE_NAME is set, then this script will report what # the name of the created package would be, and then exit. This information @@ -66,6 +66,9 @@ chmod 755 $PKG/usr/bin/sbt cat $CWD/sbtn.sh > $PKG/usr/bin/sbtn chmod 755 $PKG/usr/bin/sbtn +find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ + | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true + mkdir -p $PKG/etc/sbt cp sbt/conf/sbtopts sbt/conf/sbtconfig.txt $PKG/etc/sbt/ chmod 644 $PKG/etc/sbt/sbtopts |