diff options
| author | Gustavo B. Schenkel <gustavo.schenkel@gmail.com> | 2021-11-06 01:09:29 -0300 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2021-11-07 02:15:18 +0700 |
| commit | f76b6029177c37239ff7d80d21dac2f041f99372 (patch) | |
| tree | 58cc1ba487532b876c57e2df8b3e8c7a1eeba321 /development/ocaml/ocaml.SlackBuild | |
| parent | c010b1ac594b2c858c93f72e99adb4f7de1ec158 (diff) | |
development/ocaml: Update for version 4.13.1
Signed-off-by: Gustavo B. Schenkel <gustavo.schenkel@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/ocaml/ocaml.SlackBuild')
| -rw-r--r-- | development/ocaml/ocaml.SlackBuild | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/development/ocaml/ocaml.SlackBuild b/development/ocaml/ocaml.SlackBuild index 9134b591c3..f42ff20786 100644 --- a/development/ocaml/ocaml.SlackBuild +++ b/development/ocaml/ocaml.SlackBuild @@ -26,8 +26,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} @@ -84,12 +84,17 @@ find -L . \ sed "s|@CFLAGS@|$SLKCFLAGS -fcommon|" $CWD/configure.patch | patch -p1 ./configure \ - --prefix /usr \ - --libdir /usr/lib${LIBDIRSUFFIX}/ocaml \ - --mandir /usr/man - -make -j1 world.opt -make -j1 DESTDIR=$PKG install + --prefix=/usr \ + --libdir=/usr/lib${LIBDIRSUFFIX}/ocaml \ + --sysconfdir=/etc \ + --localstatedir=/var \ + --mandir=/usr/man \ + --docdir=/usr/doc/$PRGNAM-$VERSION \ + --disable-static \ + --build=$ARCH-slackware-linux + +make world.opt || make -j1 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 |