From nobody Mon May 27 19:42:54 2024 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 4Vp5f644G6z5LphP; Mon, 27 May 2024 19:42:54 +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 4Vp5f63N76z4jdC; Mon, 27 May 2024 19:42:54 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1716838974; 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=v6d+D9aDsEBXmHNMkuFPH+GFwdY9ufiXNRrKm1l+/HU=; b=hjc7DyBODTFp1OynQWvVInmeaXIF5OhNXTTgQoNx2He96pM5gWkr/2pzF6riiTNhEtikuN k2s4pJoYZOfoVACCVfOO4WzuIEhkgTjnNQTHmlfsqDVkmC8ASGZdKLsGaCf97g67DjNv/z fmvbjTHNlHKgcW0vqANvNXMuvyjTaPWh3JyahSBSTnD6ytLE/Wx+iTMAdfXR+f5ou4dyG6 Wz4ls0q0OrO3iPT6iMcZWk+SplMwn+W7GLubSNs99nvWY6Z+wLuQHOvgymBkvGQKUdDotP kjd+V07G1iAAxNEKJcrmwf1T6M1RuiszBfzgn07OMSwzN/OPNdKHnNlNH9kO6A== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1716838974; a=rsa-sha256; cv=none; b=ZyRvo1jt2q4myi6aD2R/LpwAZvAE+248aiKQ96WruFySHUdmXzqwlCnA9qy52CmAftP3SQ 4hg6v/W+ZYDpYTLmt5l95EBWsxzFnEuNG8gKHtHTxzN/wPbmx7r3wI4oLpkkOCn2i+obR3 W65v1MqbhgpPULtqSowt8KByBI01Ot2pPuAFikj6dY2dAJNg6ociv+sznepHhqQohZx0U7 oitsHOE8EkBGtTZgrx0o00KlZJ7NCywV+/GsAXKIroP2GPgQgY7zrA+y++06QpRaC1yJQY GhVVaOidYJkeNaZymu9FHZEAhf9rcy4URYUGxJcZIcSmr690rjN6pVhY6xuVTA== 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=1716838974; 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=v6d+D9aDsEBXmHNMkuFPH+GFwdY9ufiXNRrKm1l+/HU=; b=dcmG/7aqSFAY5kFSBGrkyRX53qsYb8v3z4aHtoMmbDZw2w58ZxHJ0SzGcXIwnzc2Sb5drn hXlp8xP8BeKTavxzc1o8ZHAjTSSTj9oVFyLh/3GLUuND3SFGlo286QwRAuHr6wTz7raNw6 nG1KlhgU3BlxLCV/NkdCYZnrDdLEw+ReAxEM7p8yVrp58FT3jEZ73wwBX7YIlwF5s28e4Y 4cc4Mjj1ZK66vMD2Dm7VBBeVO2rib7uAw/HG0PmE4hVt2re1C2fvb/OW1asQeFXLBtQUDa mQx4uEg78aebtFfBwy1bWBFBSYJ28OjbP2aASabRqr+TY5TVCZPhXICYlxBT1g== 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 4Vp5f62zYSzxwd; Mon, 27 May 2024 19:42:54 +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 44RJgsPd032947; Mon, 27 May 2024 19:42:54 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 44RJgsFc032944; Mon, 27 May 2024 19:42:54 GMT (envelope-from git) Date: Mon, 27 May 2024 19:42:54 GMT Message-Id: <202405271942.44RJgsFc032944@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: c596e1267179 - main - math/abella: update 2.0.7 =?utf-8?Q?=E2=86=92?= 2.0.8 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: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: c596e126717974126f15561c3f53d74f773377dc Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=c596e126717974126f15561c3f53d74f773377dc commit c596e126717974126f15561c3f53d74f773377dc Author: Benjamin Jacobs AuthorDate: 2024-05-27 19:42:11 +0000 Commit: Yuri Victorovich CommitDate: 2024-05-27 19:42:52 +0000 math/abella: update 2.0.7 → 2.0.8 PR: 278471 --- math/abella/Makefile | 12 ++++++------ math/abella/distinfo | 6 +++--- math/abella/files/patch-dune-project | 8 ++++++++ math/abella/files/patch-src_abella.ml | 25 +++++++++++++++++++++++++ math/abella/files/patch-src_abella__dep.ml | 13 +++++++++++++ math/abella/files/patch-src_abella__doc.ml | 30 ++++++++++++++++++++++++++++++ 6 files changed, 85 insertions(+), 9 deletions(-) diff --git a/math/abella/Makefile b/math/abella/Makefile index fb64cf6b8ed9..7be6b53ec622 100644 --- a/math/abella/Makefile +++ b/math/abella/Makefile @@ -1,5 +1,5 @@ PORTNAME= abella -DISTVERSION= 2.0.7 +DISTVERSION= 2.0.8 CATEGORIES= math MASTER_SITES= http://abella-prover.org/distributions/ @@ -10,16 +10,16 @@ WWW= https://abella-prover.org/ LICENSE= GPLv3 LICENSE_FILE= ${WRKSRC}/LICENSE -BROKEN= until https://github.com/abella-prover/abella/issues/154 is resolved - -BUILD_DEPENDS= ocamlbuild:devel/ocaml-ocamlbuild \ - ocamlfind:devel/ocaml-findlib +BUILD_DEPENDS= menhir>=20231231:devel/menhir \ + ocaml-dune>=3.7.1_2:devel/ocaml-dune \ + ocaml-cmdliner>=0:devel/ocaml-cmdliner \ + ocaml-yojson>=0:textproc/ocaml-yojson USES= gmake PLIST_FILES= bin/${PORTNAME} do-install: - ${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin + @${INSTALL_PROGRAM} ${WRKSRC}/_build/default/src/${PORTNAME}.exe ${STAGEDIR}${PREFIX}/bin/${PORTNAME} .include diff --git a/math/abella/distinfo b/math/abella/distinfo index 71c2d2017cda..a4ac5440729d 100644 --- a/math/abella/distinfo +++ b/math/abella/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1611938365 -SHA256 (abella-2.0.7.tar.gz) = fde3a279b3051e0aeeaedad21cf96064edf19a6c413949b2033b305d92dddd87 -SIZE (abella-2.0.7.tar.gz) = 215056 +TIMESTAMP = 1714934587 +SHA256 (abella-2.0.8.tar.gz) = f346ff454a44dca458d10bbc79e4f101b93a9b0186ea35533ce3f4a858f28f63 +SIZE (abella-2.0.8.tar.gz) = 255157 diff --git a/math/abella/files/patch-dune-project b/math/abella/files/patch-dune-project new file mode 100644 index 000000000000..6d7a6f580c03 --- /dev/null +++ b/math/abella/files/patch-dune-project @@ -0,0 +1,8 @@ +--- dune-project.orig 2024-05-05 18:43:45 UTC ++++ dune-project +@@ -1,4 +1,4 @@ +-(lang dune 3.11) ++(lang dune 3.7) + (name abella) + (version v2.0.8) + (using menhir 2.0) diff --git a/math/abella/files/patch-src_abella.ml b/math/abella/files/patch-src_abella.ml new file mode 100644 index 000000000000..6b6107511cca --- /dev/null +++ b/math/abella/files/patch-src_abella.ml @@ -0,0 +1,25 @@ +--- src/abella.ml.orig 2024-05-21 12:02:44 UTC ++++ src/abella.ml +@@ -877,8 +877,7 @@ let () = + + let em = + let doc = "Does nothing; use abella_dep instead." in +- let deprecated = "The -M flag is deprecated and does nothing; use abella_dep instead" in +- Arg.(value @@ flag @@ info ["M"] ~doc ~deprecated) ++ Arg.(value @@ flag @@ info ["M"] ~doc) + in + + let file = +@@ -897,9 +896,8 @@ let () = + `S Manpage.s_bugs ; + `P "File bug reports on <$(b,https://github.com/abella-prover/abella/issues)>" ; + ] in +- let info = Cmd.info "abella" ~doc ~man ~exits:[] ~version:Version.version in +- Cmd.v info @@ Term.(const abella_main $ flags $ switch $ output $ compiled $ annotate $ norec $ em $ file) ++ let info = Term.info "abella" ~doc ~man ~exits:[] ~version:Version.version in ++ Term.(const abella_main $ flags $ switch $ output $ compiled $ annotate $ norec $ em $ file), info + in +- +- Stdlib.exit (Cmd.eval' cmd) ++ Term.exit @@ Term.eval cmd + ;; diff --git a/math/abella/files/patch-src_abella__dep.ml b/math/abella/files/patch-src_abella__dep.ml new file mode 100644 index 000000000000..8e186a546d5d --- /dev/null +++ b/math/abella/files/patch-src_abella__dep.ml @@ -0,0 +1,13 @@ +--- src/abella_dep.ml.orig 2024-05-21 11:46:09 UTC ++++ src/abella_dep.ml +@@ -132,7 +132,7 @@ let () = + `S Manpage.s_bugs ; + `P "File bug reports on <$(b,https://github.com/abella-prover/abella/issues)>" ; + ] in +- let info = Cmd.info "abella_dep" ~doc ~man ~exits:[] in +- Cmd.v info @@ Term.(const abella_dep $ conf $ files) ++ let info = Term.info "abella_dep" ~doc ~man ~exits:[] in ++ Term.(const abella_dep $ conf $ files), info + in +- exit (Cmd.eval cmd) ++ Term.exit @@ Term.eval cmd diff --git a/math/abella/files/patch-src_abella__doc.ml b/math/abella/files/patch-src_abella__doc.ml new file mode 100644 index 000000000000..e8843d95cdfd --- /dev/null +++ b/math/abella/files/patch-src_abella__doc.ml @@ -0,0 +1,30 @@ +--- src/abella_doc.ml.orig 2024-05-21 12:00:44 UTC ++++ src/abella_doc.ml +@@ -261,13 +261,12 @@ let () = + let ab1 = Filename.concat dir "abella" in + let ab2 = Filename.concat dir "abella.exe" in + if Sys.file_exists ab1 then ab1 else ab2 in +- let env = Cmd.Env.info "ABELLA" ++ let env = Arg.env_var "ABELLA" + ~doc:"Abella command to run (overriden by $(b,--abella))" in + let doc = "Set the Abella command to $(docv)" in + Arg.(value @@ opt string default @@ + info ["a" ; "abella"] ~doc ~env +- ~docv:"CMD" +- ~absent:"$(b,abella[.exe])") ++ ~docv:"CMD") + in + let verbose = + let doc = "Verbose output" in +@@ -298,7 +297,8 @@ let () = + `S Manpage.s_bugs ; + `P "File bug reports on <$(b,https://github.com/abella-prover/abella/issues)>" ; + ] in +- let info = Cmd.info "abella_doc" ~doc ~man ~exits:[] in +- Cmd.v info @@ Term.(const main $ conf $ files) ++ let info = Term.info "abella_doc" ~doc ~man ~exits:[] in ++ (Term.(const main $ conf $ files), info) + in +- exit (Cmd.eval cmd) ++ Term.exit @@ Term.eval cmd ++ (* exit (Cmd.eval cmd) *)