diff options
Diffstat (limited to 'development/dune')
-rw-r--r-- | development/dune/dune.SlackBuild | 6 | ||||
-rw-r--r-- | development/dune/dune.info | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/development/dune/dune.SlackBuild b/development/dune/dune.SlackBuild index aad1905de564..082b1e9ecafc 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 diff --git a/development/dune/dune.info b/development/dune/dune.info index 87e20a4d06f0..7b6640cba276 100644 --- a/development/dune/dune.info +++ b/development/dune/dune.info @@ -1,10 +1,10 @@ PRGNAM="dune" -VERSION="1.11.3" +VERSION="3.0.0" HOMEPAGE="http://caml.inria.fr" -DOWNLOAD="https://github.com/ocaml/dune/archive/1.11.3/dune-1.11.3.tar.gz" -MD5SUM="483164bdca4d0f568f4c95987737899b" +DOWNLOAD="https://github.com/ocaml/dune/archive/3.0.0/dune-3.0.0.tar.gz" +MD5SUM="14cc07bdb7c2bc856e5e5b2c46cc4ed5" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="ocaml-findlib" +REQUIRES="ocaml" MAINTAINER="Matteo Bernardini" EMAIL="ponce@slackbuilds.org" |