Index | Thread | Search

From:
Daniel Dickman <didickman@gmail.com>
Subject:
[update] ocaml-zarith-1.12 -> ocaml-zarith-1.14
To:
Christopher Zimmermann <chrisz@openbsd.org>
Cc:
ports@openbsd.org
Date:
Sun, 26 Oct 2025 21:53:52 -0400

Download raw body.

Thread
  • Daniel Dickman:

    [update] ocaml-zarith-1.12 -> ocaml-zarith-1.14

Hi Christopher, here's an update of zarith to the latest release.

Changes are shown here:
  https://github.com/ocaml/Zarith/blob/master/Changes

ok?

Index: Makefile
===================================================================
RCS file: /cvs/ports/math/ocaml-zarith/Makefile,v
diff -u -p -u -r1.16 Makefile
--- Makefile	24 Apr 2024 17:10:25 -0000	1.16
+++ Makefile	27 Oct 2025 01:51:30 -0000
@@ -1,19 +1,18 @@
 COMMENT =	arbitrary precision integer and rational arithmetic
-CATEGORIES =	math
 
-V =		1.12
+V =		1.14
 GH_ACCOUNT =	ocaml
 GH_PROJECT =	Zarith
 GH_TAGNAME =	release-${V}
 DISTNAME =	${GH_PROJECT}-${V}
 PKGNAME =	ocaml-zarith-${V}
-REVISION =	3
+
+CATEGORIES =	math
 
 HOMEPAGE =	https://github.com/ocaml/Zarith/
 
 MAINTAINER =	Christopher Zimmermann <chrisz@openbsd.org>
 
-
 # LGPLv2
 PERMIT_PACKAGE =	Yes
 
@@ -32,6 +31,5 @@ CONFIGURE_ENV =		CPPFLAGS="-I${LOCALBASE
 MAKE_ENV =		MAKE="$(MAKE_PROGRAM)"
 
 TEST_TARGET =		tests
-
 
 .include <bsd.port.mk>
Index: distinfo
===================================================================
RCS file: /cvs/ports/math/ocaml-zarith/distinfo,v
diff -u -p -u -r1.3 distinfo
--- distinfo	12 Dec 2021 05:26:18 -0000	1.3
+++ distinfo	27 Oct 2025 01:51:30 -0000
@@ -1,2 +1,2 @@
-SHA256 (Zarith-1.12.tar.gz) = zDJWPDhFyG0PYJyG2Dv4YH7xI1SGPTHTv/wNrPHtKIE=
-SIZE (Zarith-1.12.tar.gz) = 93695
+SHA256 (Zarith-1.14.tar.gz) = XbncvZORU5QqCFgfq9hG0PPyuMZ/5ouFUSfgRy1NGFk=
+SIZE (Zarith-1.14.tar.gz) = 91788
Index: pkg/PFRAG.dynlink-native
===================================================================
RCS file: /cvs/ports/math/ocaml-zarith/pkg/PFRAG.dynlink-native,v
diff -u -p -u -r1.2 PFRAG.dynlink-native
--- pkg/PFRAG.dynlink-native	11 Mar 2022 19:36:21 -0000	1.2
+++ pkg/PFRAG.dynlink-native	27 Oct 2025 01:51:30 -0000
@@ -1 +1 @@
-@bin lib/ocaml/zarith/zarith.cmxs
+lib/ocaml/zarith/zarith.cmxs
Index: pkg/PFRAG.native
===================================================================
RCS file: /cvs/ports/math/ocaml-zarith/pkg/PFRAG.native,v
diff -u -p -u -r1.2 PFRAG.native
--- pkg/PFRAG.native	11 Mar 2022 19:36:21 -0000	1.2
+++ pkg/PFRAG.native	27 Oct 2025 01:51:30 -0000
@@ -4,3 +4,4 @@ lib/ocaml/zarith/q.cmx
 lib/ocaml/zarith/z.cmx
 lib/ocaml/zarith/zarith.a
 lib/ocaml/zarith/zarith.cmxa
+lib/ocaml/zarith/zarith_version.cmx
Index: pkg/PLIST
===================================================================
RCS file: /cvs/ports/math/ocaml-zarith/pkg/PLIST,v
diff -u -p -u -r1.3 PLIST
--- pkg/PLIST	11 Mar 2022 19:36:21 -0000	1.3
+++ pkg/PLIST	27 Oct 2025 01:51:30 -0000
@@ -1,12 +1,12 @@
 %%native%%
-lib/ocaml/stublibs/dllzarith.so
+@so lib/ocaml/stublibs/dllzarith.so
 @comment lib/ocaml/stublibs/dllzarith.so.owner
 lib/ocaml/zarith/
 lib/ocaml/zarith/META
 lib/ocaml/zarith/big_int_Z.cmi
 lib/ocaml/zarith/big_int_Z.cmti
 lib/ocaml/zarith/big_int_Z.mli
-lib/ocaml/zarith/libzarith.a
+@static-lib lib/ocaml/zarith/libzarith.a
 lib/ocaml/zarith/q.cmi
 lib/ocaml/zarith/q.cmti
 lib/ocaml/zarith/q.mli