diff options
-rw-r--r-- | development/camlp4/camlp4.SlackBuild | 13 | ||||
-rw-r--r-- | development/camlp4/camlp4.info | 6 |
2 files changed, 10 insertions, 9 deletions
diff --git a/development/camlp4/camlp4.SlackBuild b/development/camlp4/camlp4.SlackBuild index 31f84c26523d..73fa7d4fddd3 100644 --- a/development/camlp4/camlp4.SlackBuild +++ b/development/camlp4/camlp4.SlackBuild @@ -2,7 +2,7 @@ # Slackware build script for camlp4 -# Copyright 2013-2019 Matteo Bernardini <ponce@slackbuilds.org>, Pisa, Italy +# Copyright 2013-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=camlp4 -VERSION=${VERSION:-4.08_1} +VERSION=${VERSION:-4.13} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -86,10 +86,11 @@ find -L . \ --libdir=/usr/lib$LIBDIRSUFFIX/ocaml \ --pkgdir=$PKG -make -j1 all -make -j1 install DESTDIR=$PKG -make -j1 camlp4/META -make -j1 install-META PKGDIR=$PKG/usr/lib$LIBDIRSUFFIX/ocaml/site-lib +make -j1 all camlp4/META +make BINDIR="$PKG/usr/bin" \ + LIBDIR="$PKG/usr/lib$LIBDIRSUFFIX/ocaml" \ + PKGDIR="$PKG/usr/lib$LIBDIRSUFFIX/ocaml" \ + install install-META 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/camlp4/camlp4.info b/development/camlp4/camlp4.info index 1fa1c27557e6..ff3ea7ae7180 100644 --- a/development/camlp4/camlp4.info +++ b/development/camlp4/camlp4.info @@ -1,8 +1,8 @@ PRGNAM="camlp4" -VERSION="4.08_1" +VERSION="4.13" HOMEPAGE="http://caml.inria.fr" -DOWNLOAD="https://github.com/ocaml/camlp4/archive/4.08+1/camlp4-4.08-1.tar.gz" -MD5SUM="7e09e32fdfb185050f69cb2f1e77bf8a" +DOWNLOAD="https://github.com/ocaml/camlp4/archive/4.13/camlp4-4.13.tar.gz" +MD5SUM="1906ee8cc2e7665e98782187b7128867" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocamlbuild" |