From nobody Mon Sep 18 08:27:05 2023 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4RpyZd3YPvz4smjr; Mon, 18 Sep 2023 08:27:05 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4RpyZd33Zxz3LHS; Mon, 18 Sep 2023 08:27:05 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1695025625; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=7sStPDk8A6x7fPbs7aT6SwMWojljOnvpk9Ni8kFcFI0=; b=Y4AvujwwyMiR1UTNlmzyRHnSNhL+C223O7hjUbIFSPomliPLGXfTQZeQpiO7Ivc8BYmqsE 0AEwnDA9wY96QrlfszdUqf0YYMOIf9FBgrjaiLft3FwTRExsWqmJm9iXaL1x0LhZVc0tC2 L1L1xDw145N9kDvNX8EuGvfcmzqMq8TPO08QLSv9dSc8Rf2uo81c9xUzr0qBTcrrb0U9GR 3dBCTenLw8lOeePc2IOwpbn3O50LllMdsiV3eCrKz5mYHT05JOHhk4Xmvvho+idM7sMUs/ KAAUIDOrcVkjZbUim+EZbye9AbBQCttih2sJJLX9BJIfP475+umU8PZcQZEFzw== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1695025625; a=rsa-sha256; cv=none; b=Ky7gIALwyGKavOrEwXjpNpcMdTlm3FxZj61gHuZwmUKtSip5Irgs9R0OqKepABRG/1cJys +pmKAa1jWbwZYeMmPnT4wlYVyigHCsJGKJ9C2HcQxL01QjZCah+xpr+wEW9Vujnx/yvVh5 2wduA+wkd76aQLZu9IOsJaH4loaKgwT6ViAFBZk+WWnH79iYzDfULF8y0rMIs0loahCF4V /y2vo+h1SDHzfHCsZJuWkT8845iV/762eMPKQrrYXhouYUX+AAP5nKG0m1UMun5boVnp6g 6IYDuL8F/g34rgIAMA5/ioUYt/Tnx50hOrnFuHyIKAnnJG4Wh/i+8UJFvvN4OA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1695025625; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=7sStPDk8A6x7fPbs7aT6SwMWojljOnvpk9Ni8kFcFI0=; b=KhPZswjXqbExX493W5MjFWarOTQpQqkXqs7kPFm/v2ot+eZ/IgOt6xAAz6pfCyfRzu9jTf cayllF5gKTkkHDzet8/hir+Mytzs8UJpm1nVMJyvat4Yl+29yw9jOfS3Sf2a7YAJmxmBI0 DqWfXxj5JHoosXidTU2+kshkivby9MfCJk7VHPF/AxsOmNbHhjzFc4fwGNNRq5vapKzpGl jF5oX9mIc1Jvd86yq+sBz8ry92FJYdR/FwRoUAdRwsnMmWHi0txgLjz2rCBcer8fpEaSK0 OPP2rj6Al3dsIkUeMerzs0Ya5UoThzTgr0q59XAr9IskGguppzca77ARA++ZXw== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4RpyZd278Bz8X0; Mon, 18 Sep 2023 08:27:05 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 38I8R5Mg098312; Mon, 18 Sep 2023 08:27:05 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 38I8R5fp098309; Mon, 18 Sep 2023 08:27:05 GMT (envelope-from git) Date: Mon, 18 Sep 2023 08:27:05 GMT Message-Id: <202309180827.38I8R5fp098309@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Alexey Dokuchaev Subject: git: 0b790fc329cb - main - math/ocaml-zarith: update ZArith to version 1.13 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: danfe X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 0b790fc329cb543f09d64c6c6a8b186dae81625d Auto-Submitted: auto-generated The branch main has been updated by danfe: URL: https://cgit.FreeBSD.org/ports/commit/?id=0b790fc329cb543f09d64c6c6a8b186dae81625d commit 0b790fc329cb543f09d64c6c6a8b186dae81625d Author: Alexey Dokuchaev AuthorDate: 2023-09-18 08:26:00 +0000 Commit: Alexey Dokuchaev CommitDate: 2023-09-18 08:26:00 +0000 math/ocaml-zarith: update ZArith to version 1.13 Reported by: portscout --- math/ocaml-zarith/Makefile | 3 +-- math/ocaml-zarith/distinfo | 6 +++--- math/ocaml-zarith/files/patch-configure | 10 +++++----- math/ocaml-zarith/pkg-plist | 1 + 4 files changed, 10 insertions(+), 10 deletions(-) diff --git a/math/ocaml-zarith/Makefile b/math/ocaml-zarith/Makefile index ab95d248427a..7e02f8db6812 100644 --- a/math/ocaml-zarith/Makefile +++ b/math/ocaml-zarith/Makefile @@ -1,7 +1,6 @@ PORTNAME= ${GH_PROJECT:tl} -PORTVERSION= 1.12 +PORTVERSION= 1.13 DISTVERSIONPREFIX= release- -PORTREVISION= 1 CATEGORIES= math PKGNAMEPREFIX= ocaml- diff --git a/math/ocaml-zarith/distinfo b/math/ocaml-zarith/distinfo index 3e2235e7d2c6..2df68dba1013 100644 --- a/math/ocaml-zarith/distinfo +++ b/math/ocaml-zarith/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1614762000 -SHA256 (ocaml-Zarith-release-1.12_GH0.tar.gz) = cc32563c3845c86d0f609c86d83bf8607ef12354863d31d3bffc0dacf1ed2881 -SIZE (ocaml-Zarith-release-1.12_GH0.tar.gz) = 93695 +TIMESTAMP = 1689789526 +SHA256 (ocaml-Zarith-release-1.13_GH0.tar.gz) = a5826d33fea0103ad6e66f92583d8e075fb77976de893ffdd73ada0409b3f83b +SIZE (ocaml-Zarith-release-1.13_GH0.tar.gz) = 85994 diff --git a/math/ocaml-zarith/files/patch-configure b/math/ocaml-zarith/files/patch-configure index 6ce8fe8ee40b..977b654adb40 100644 --- a/math/ocaml-zarith/files/patch-configure +++ b/math/ocaml-zarith/files/patch-configure @@ -1,7 +1,7 @@ ---- configure.orig 2021-03-03 09:00:00 UTC +--- configure.orig 2023-07-19 17:58:46 UTC +++ configure -@@ -268,7 +268,7 @@ searchbin ocamlfind - if test $? -eq 1 -a $ocamlfind != "no"; then +@@ -258,7 +258,7 @@ searchbin ocamlfind + if test $? -eq 1 && test $ocamlfind != "no"; then instmeth='findlib' if test "$installdir" = "auto" - then installdir=`ocamlfind printconf destdir`; fi @@ -9,10 +9,10 @@ else searchbin install if test $? -eq 1; then instmeth='install' -@@ -365,7 +365,7 @@ OCAMLOPTFLAGS=$mloptflags - OCAMLINC=$mlinc +@@ -354,7 +354,7 @@ OCAMLINC=$mlinc CFLAGS=$ccinc $ccdef $ccopt LIBS=$cclib + LDFLAGS=$ldflags -INSTALLDIR=$installdir +INSTALLDIR=${DESTDIR}$installdir INSTALL=install diff --git a/math/ocaml-zarith/pkg-plist b/math/ocaml-zarith/pkg-plist index 844f3cadc7a0..253d07fcf0fb 100644 --- a/math/ocaml-zarith/pkg-plist +++ b/math/ocaml-zarith/pkg-plist @@ -19,3 +19,4 @@ %%OCAML_SITELIBDIR%%/zarith/zarith.cmxs %%OCAML_SITELIBDIR%%/zarith/zarith.h %%OCAML_SITELIBDIR%%/zarith/zarith_top.cma +%%OCAML_SITELIBDIR%%/zarith/zarith_version.cmx