diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-24 22:16:13 +0100 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-25 22:58:09 +0700 |
| commit | 812e700fe94bd869af5399a4010e8d00d9ab6734 (patch) | |
| tree | da153d16a6ba6dcfbfa735ca395c05c4e55ca889 /development/ocaml/ocaml.SlackBuild | |
| parent | 6a37a4b4b61e6c0d9df23056e4cbc0b5e6f104ec (diff) | |
development/ocaml: Updated for version 4.13.1.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/ocaml/ocaml.SlackBuild')
| -rw-r--r-- | development/ocaml/ocaml.SlackBuild | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/development/ocaml/ocaml.SlackBuild b/development/ocaml/ocaml.SlackBuild index 9134b591c301..d829c4613810 100644 --- a/development/ocaml/ocaml.SlackBuild +++ b/development/ocaml/ocaml.SlackBuild @@ -4,6 +4,7 @@ # Copyright 2007-2014 Ferenc Deak <ferenc.deak@gmail.com> # Copyright 2014 Markus Hutmacher <mailing@markhu.de> +# Copyright 2016-2022 Matteo Bernardini <ponce@slackbuilds.org> # All rights reserved. # # Redistribution and use of this script, with or without modification, is @@ -26,8 +27,8 @@ cd $(dirname $0) ; CWD=$(pwd) PRGNAM=ocaml -VERSION=${VERSION:-4.08.1} -MANVER=${MANVER:-4.08} +VERSION=${VERSION:-4.13.1} +MANVER=${MANVER:-4.13} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -81,15 +82,16 @@ find -L . \ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; -sed "s|@CFLAGS@|$SLKCFLAGS -fcommon|" $CWD/configure.patch | patch -p1 +sed "s|@CFLAGS@|$SLKCFLAGS|" $CWD/configure.patch | patch -p1 ./configure \ --prefix /usr \ --libdir /usr/lib${LIBDIRSUFFIX}/ocaml \ - --mandir /usr/man + --mandir /usr/man \ + --disable-force-safe-string -make -j1 world.opt -make -j1 DESTDIR=$PKG install +make world.opt +make DESTDIR=$PKG install find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true |