aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--development/camlp4/camlp4.SlackBuild13
-rw-r--r--development/camlp4/camlp4.info6
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"