diff options
| author |   Matteo Bernardini <ponce@slackbuilds.org> | 2021-11-21 10:22:33 +0100 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2021-11-22 09:10:21 +0700 |
| commit | 8fb7497f26e2bfcaf84fbc37a2f4590237b0f1d3 (patch) | |
| tree | 3410a08f1dd653d4579004210ae2b869f3247d79 /development/ocaml | |
| parent | 79b75a01a456b7a9e6ba1b87860316e8df7aae87 (diff) | |
| download | slackbuilds-8fb7497f26e2bfcaf84fbc37a2f4590237b0f1d3.tar.gz slackbuilds-8fb7497f26e2bfcaf84fbc37a2f4590237b0f1d3.tar.xz | |
development/ocaml: Updated for version 4.08.1.
This reverts f76b602
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/ocaml')
| -rw-r--r-- | development/ocaml/configure.patch | 14 | ||||
| -rw-r--r-- | development/ocaml/ocaml.SlackBuild | 21 | ||||
| -rw-r--r-- | development/ocaml/ocaml.info | 12 |
3 files changed, 21 insertions, 26 deletions
diff --git a/development/ocaml/configure.patch b/development/ocaml/configure.patch index 079050d701..31309d3511 100644 --- a/development/ocaml/configure.patch +++ b/development/ocaml/configure.patch @@ -1,12 +1,12 @@ -diff -Naur ocaml-4.12.0.orig/configure ocaml-4.12.0/configure ---- ocaml-4.12.0.orig/configure 2021-02-24 10:49:29.000000000 -0300 -+++ ocaml-4.12.0/configure 2021-06-07 00:30:10.161272617 -0300 -@@ -12706,7 +12706,7 @@ +diff -Naur ocaml-4.08.1.orig/configure ocaml-4.08.1/configure +--- ocaml-4.08.1.orig/configure 2019-08-05 19:32:44.000000000 +0200 ++++ ocaml-4.08.1/configure 2019-09-06 10:35:25.454923040 +0200 +@@ -12424,7 +12424,7 @@ -fno-builtin-memcmp"; - internal_cflags="$cc_warnings -fexcess-precision=standard" ;; #( + internal_cflags="$gcc_warnings" ;; #( gcc-*) : - common_cflags="-O2 -fno-strict-aliasing -fwrapv"; + common_cflags="@CFLAGS@ -fno-strict-aliasing -fwrapv"; - internal_cflags="$cc_warnings -fno-common \ - -fexcess-precision=standard" ;; #( + internal_cflags="$gcc_warnings" ;; #( msvc-*) : + common_cflags="-nologo -O2 -Gy- -MD" diff --git a/development/ocaml/ocaml.SlackBuild b/development/ocaml/ocaml.SlackBuild index f42ff20786..9134b591c3 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.13.1} -MANVER=${MANVER:-4.13} +VERSION=${VERSION:-4.08.1} +MANVER=${MANVER:-4.08} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -84,17 +84,12 @@ find -L . \ sed "s|@CFLAGS@|$SLKCFLAGS -fcommon|" $CWD/configure.patch | patch -p1 ./configure \ - --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 + --prefix /usr \ + --libdir /usr/lib${LIBDIRSUFFIX}/ocaml \ + --mandir /usr/man + +make -j1 world.opt +make -j1 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 diff --git a/development/ocaml/ocaml.info b/development/ocaml/ocaml.info index 036fc4b6b2..0747f3b19c 100644 --- a/development/ocaml/ocaml.info +++ b/development/ocaml/ocaml.info @@ -1,10 +1,10 @@ PRGNAM="ocaml" -VERSION="4.13.1" -HOMEPAGE="https://caml.inria.fr" -DOWNLOAD="https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13.1.tar.xz \ - https://caml.inria.fr/pub/distrib/ocaml-4.13/ocaml-4.13-refman-html.tar.gz" -MD5SUM="52f91ba31fbfad426bf57b00ef3a34c1 \ - 513fcf9adc3a85268aa42f0552d8e971" +VERSION="4.08.1" +HOMEPAGE="http://caml.inria.fr" +DOWNLOAD="http://caml.inria.fr/pub/distrib/ocaml-4.08/ocaml-4.08.1.tar.xz \ + http://caml.inria.fr/pub/distrib/ocaml-4.08/ocaml-4.08-refman-html.tar.gz" +MD5SUM="519f095a563323cdaa68301d58bf099d \ + 20cbe4bd141f175d723f58cb9e89b215" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" |