development/camlp4: Updated for version 4.13.

Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Matteo Bernardini 2022-02-24 20:57:39 +01:00 committed by Willy Sudiarto Raharjo
parent ae4207b5c1
commit 70838d5b28
No known key found for this signature in database
GPG key ID: 3F617144D7238786
2 changed files with 10 additions and 9 deletions

View file

@ -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

View file

@ -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"