diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-24 21:02:33 +0100 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-25 22:58:09 +0700 |
| commit | fb2460f7a92b58265d6f86f8c45550239476c0ea (patch) | |
| tree | 8246943ef270c7274f0ee4c7b7dd2b63e6a5a315 /development/dune/dune.SlackBuild | |
| parent | baa9348c8199a1c2103dd96e0424598f6e17db61 (diff) | |
development/dune: Updated for version 3.0.0.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/dune/dune.SlackBuild')
| -rw-r--r-- | development/dune/dune.SlackBuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/dune/dune.SlackBuild b/development/dune/dune.SlackBuild index aad1905de5..082b1e9eca 100644 --- a/development/dune/dune.SlackBuild +++ b/development/dune/dune.SlackBuild @@ -2,7 +2,7 @@ # Slackware build script for dune -# Copyright 2019 Matteo Bernardini <ponce@slackbuilds.org>, Pisa, Italy +# Copyright 2019-2022 Matteo Bernardini <ponce@slackbuilds.org>, Pisa, Italy # All rights reserved. # # Redistribution and use of this script, with or without modification, is @@ -25,7 +25,7 @@ cd $(dirname $0) ; CWD=$(pwd) PRGNAM=dune -VERSION=${VERSION:-1.11.3} +VERSION=${VERSION:-3.0.0} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -80,7 +80,7 @@ find -L . \ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; make release -make DESTDIR=$PKG INSTALL_ARGS="--prefix=/usr --libdir='$(ocamlfind printconf destdir)'" install +make DESTDIR=$PKG INSTALL_ARGS="--prefix=/usr --libdir=/usr/lib$LIBDIRSUFFIX/ocaml" install 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 |