Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ocaml 5.2.0 #172795

Merged
merged 22 commits into from
Jun 6, 2024
Merged

ocaml 5.2.0 #172795

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
bc060b1
ocaml 5.2.0
XVilka May 25, 2024
baeb5b5
camlp5 8.03.00
XVilka May 25, 2024
1815ddd
ocaml-num: revision bump (ocaml-5.2.0)
XVilka May 25, 2024
b46d13c
ocaml-zarith: revision bump (ocaml-5.2.0)
XVilka May 25, 2024
4125c15
camlp-streams: revision bump (ocaml-5.2.0)
XVilka May 25, 2024
50c7313
ledit: revision bump (ocaml-5.2.0)
XVilka May 25, 2024
bfa9d39
coq: revision bump (ocaml-5.2.0)
XVilka May 26, 2024
b725791
menhir: patch and revision bump (ocaml-5.2.0)
XVilka May 26, 2024
923720a
hyperkit: revision bump (ocaml-5.2.0)
XVilka May 26, 2024
6c2d3e4
ocaml-findlib: revision bump (ocaml-5.2.0)
XVilka May 26, 2024
8802357
math-comp: revision bump (ocaml-5.2.0)
XVilka Jun 4, 2024
ceb2d4b
camlp-streams: update 5.0.1_2 bottle.
chenrui333 Jun 6, 2024
e821b5e
camlp5: update 8.03.00 bottle.
chenrui333 Jun 6, 2024
d35b543
coq: update 8.19.1_1 bottle.
chenrui333 Jun 6, 2024
0a20f2c
hyperkit: update 0.20210107_1 bottle.
chenrui333 Jun 6, 2024
bf8daf9
ledit: update 2.06_1 bottle.
chenrui333 Jun 6, 2024
c42a960
math-comp: update 1.19.0_3 bottle.
chenrui333 Jun 6, 2024
f5f91ac
menhir: update 20231231_1 bottle.
chenrui333 Jun 6, 2024
7262e07
ocaml: update 5.2.0 bottle.
chenrui333 Jun 6, 2024
36f60b1
ocaml-findlib: update 1.9.6_2 bottle.
chenrui333 Jun 6, 2024
53f8802
ocaml-num: update 1.5_1 bottle.
chenrui333 Jun 6, 2024
a07e9c0
ocaml-zarith: update 1.13_2 bottle.
chenrui333 Jun 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 8 additions & 8 deletions Formula/c/camlp-streams.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,16 +4,16 @@ class CamlpStreams < Formula
url "https://github.com/ocaml/camlp-streams/archive/refs/tags/v5.0.1.tar.gz"
sha256 "ad71f62406e9bb4e7fb5d4593ede2af6c68f8b0d96f25574446e142c3eb0d9a4"
license "LGPL-2.1-only" => { with: "OCaml-LGPL-linking-exception" }
revision 1
revision 2

bottle do
sha256 cellar: :any, arm64_sonoma: "1ab3f2156883e27bcfeff416cccb5e6f5e32102a52640299c5d6ca561b0b09f4"
sha256 cellar: :any, arm64_ventura: "ee43234549a20178bcc759f2b630f68869c956527061079b3203091358c49195"
sha256 cellar: :any, arm64_monterey: "c88d7c4203e0111c6f21c6db54bfeb963e7962025741659d827a4153a096f3e0"
sha256 cellar: :any, sonoma: "909acae960bc459db4f9f721801086296809a7b85db919229cc26ae67457f92e"
sha256 cellar: :any, ventura: "e57d2a7c4e1ed7d865c72f6e0699a5e8439b22b76cff119ca10f41ccaf38ac92"
sha256 cellar: :any, monterey: "584919e25737e013998be682d4cb0b79a512dd37180444e134f853c254586fd6"
sha256 cellar: :any_skip_relocation, x86_64_linux: "c23521a07bf157dc5f7fd018fdc804149a5e4c4acb375db87f1396bf50a1321c"
sha256 cellar: :any, arm64_sonoma: "2e14df738f00604bcc6f5bd534dc4a6216486240427aa007b5fe8df7b187b0fd"
sha256 cellar: :any, arm64_ventura: "ca997e18666ae5d5a8e5763e33734b275cefe959a8f2e255d6851eb8f301978f"
sha256 cellar: :any, arm64_monterey: "f0a77287617143cdfa16431336601bf3a6f8a0414361b0b67b4516fc738f3c81"
sha256 cellar: :any, sonoma: "b30608d83869c763c51775791e1d005d644c72cc64f2fa9d15c8cd2b11e77d39"
sha256 cellar: :any, ventura: "c821b2f2fe7931a46ab12c76675d3ffb7dd6b52e867ea760043c5c3b0f3487c7"
sha256 cellar: :any, monterey: "8c6b64e84a4345a3825af63c61b0e3240d5c3de2650cfbe7c3845d0a968eb4fd"
sha256 cellar: :any_skip_relocation, x86_64_linux: "94edf173dbacdba66a99216f910de374584c51a6a59ea97695ca251024a61a10"
end

depends_on "dune" => :build
Expand Down
23 changes: 12 additions & 11 deletions Formula/c/camlp5.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,9 @@
class Camlp5 < Formula
desc "Preprocessor and pretty-printer for OCaml"
homepage "https://camlp5.github.io/"
url "https://github.com/camlp5/camlp5/archive/refs/tags/8.02.01.tar.gz"
sha256 "58d4bce0c20fa1151fc2c15f172f5884472e2044a4b0da22aababf46c361e515"
url "https://github.com/camlp5/camlp5/archive/refs/tags/8.03.00.tar.gz"
sha256 "0dae6d32184aca6f2cdbe818ee2f26aa58baa87d9e82f820914c63b35aa075de"
license "BSD-3-Clause"
revision 1
head "https://github.com/camlp5/camlp5.git", branch: "master"

livecheck do
Expand All @@ -13,13 +12,13 @@ class Camlp5 < Formula
end

bottle do
sha256 arm64_sonoma: "b759ee090fbf543cdc3fc06316f6e49688031dadc5f596dcb7d202c5e9b6259d"
sha256 arm64_ventura: "fecb24a088b59346812faa716de555a939e6ff0efd38cec825ce4178834c3ba7"
sha256 arm64_monterey: "6b9fb48113e2cb84683f72fa3744da3bbe00f483df59ea1e07016a2e06352a9f"
sha256 sonoma: "23da0a4d852c4d00da8523d2a2303b482dbddd40a9eb8d674f87907d9f718937"
sha256 ventura: "07d9c205a10282211954729926982a14215def6e5ebf511bba15a39d0f77adf4"
sha256 monterey: "582c31c1fd609b1904515b878ce4a2f886391a042ae6b9de6d595dabf832fda9"
sha256 x86_64_linux: "6dbd19efdc0c99cd9fb94ee55ce1b8d5f6ee12e73ae93a3146c5bdec602e04d3"
sha256 arm64_sonoma: "351bc6f9bba7beebcd961e5bab9ebca32d8b4bd0507e1901cceb1e2930c6c493"
sha256 arm64_ventura: "be8a0d5f7f033e1b79e416654b5b3eccca3201f689726d42b408faff6c8f6fe3"
sha256 arm64_monterey: "4eb4dbe6e3e66708c4e942e2ed10d90178cced35ea75367286c63b9ca21c07d5"
sha256 sonoma: "906ffd7b6316f20a10d349d1170752298aeb0191eac7dcff6c22c01fb7618005"
sha256 ventura: "23b352596c1e729f9094f5e05822d9c10b1a2b28e5c6d3b6bde5ae01d95c15a8"
sha256 monterey: "8f42fe3372d348d38f9f3272036967bf0e6425de81df130a6aeebf76842e4e20"
sha256 x86_64_linux: "6d732cb0df6a06f0f9ece5791d12169d032326ddb58306e17ea276d95abd3ebb"
end

depends_on "ocaml-findlib" => :build
Expand Down Expand Up @@ -51,7 +50,9 @@ def install
# ocaml files are in sync with the camlp5 files. If camlp5 has been
# compiled with an older version of the ocaml compiler, then an error
# "interface mismatch" will occur.
shell_output("#{bin}/camlp5 #{lib}/ocaml/camlp5/pa_o.cmo #{lib}/ocaml/camlp5/pr_o.cmo " \
shell_output("#{bin}/camlp5 #{lib}/ocaml/camlp5/pa_o.cmo " \
"#{lib}/ocaml/camlp5/o_keywords.cmo " \
"#{lib}/ocaml/camlp5/pr_o.cmo " \
"#{ocaml.opt_lib}/ocaml/str/str.cma hi.ml")
end
end
23 changes: 16 additions & 7 deletions Formula/c/coq.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ class Coq < Formula
url "https://github.com/coq/coq/releases/download/V8.19.1/coq-8.19.1.tar.gz"
sha256 "1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674"
license "LGPL-2.1-only"
revision 1
head "https://github.com/coq/coq.git", branch: "master"

livecheck do
Expand All @@ -12,13 +13,13 @@ class Coq < Formula
end

bottle do
sha256 arm64_sonoma: "a93180d61587f2b1de891d1e44209e3a6b4c3309358237a5c8ee51512b37e1ee"
sha256 arm64_ventura: "64d2843a331221922ecb451d7fcf9e9452e11d6cafc989f7a72f5ddd5fb95731"
sha256 arm64_monterey: "dffe71678cacfc2a3b632e75eee1d5b1c7984bf9ddc2a4afe4e9df454709e782"
sha256 sonoma: "890818aa86192050cb0aef368a339653988bc473b526b9610b34487bac0668ff"
sha256 ventura: "d6285f8393333c3e1b83f7948f25cbd4a939d0011d9f1783fb83602ddf98fda9"
sha256 monterey: "d417eff81ca483b9832493dba3f9e6653e5eea1b9fcffe1c645725edd2db48f3"
sha256 x86_64_linux: "b9979855e4fe5fbca8ad5927c0fd06e041223ae252e148cf98e042106dd23708"
sha256 arm64_sonoma: "d3a5f3a7f582755ac089a9a03ee34f4d4d245e1a07f39cfe03b4498eee1cd3b8"
sha256 arm64_ventura: "6a9553764a0a0a8e9a8100100e71e02954a8b7fe05b80a3e8dfc56fc93f7e799"
sha256 arm64_monterey: "7cbc3d9565fb6d760e6cf9d525f7fda67fa8048f10af1c2567f73f914a70bfad"
sha256 sonoma: "9307527ca25209485d35abef99bf2569f9868ac1ddab9e481b94bc24a029ad72"
sha256 ventura: "27fe173b76690d141e73d688e960b7375aeb40ecbe457577bf1d172947e4f9c2"
sha256 monterey: "900c3bf8a15780c078658d15195b4193bffe0231c25494fa36fb7cbb0f576d68"
sha256 x86_64_linux: "aed6466a06ef1fb083aa6c74e35a7ef0114d991448b72331c3830168402feebc"
end

depends_on "dune" => :build
Expand All @@ -31,6 +32,10 @@ class Coq < Formula
uses_from_macos "unzip" => :build

def install
# Work around for https://github.com/Homebrew/homebrew-test-bot/issues/805
if ENV["HOMEBREW_GITHUB_ACTIONS"] && !(Formula["ocaml-findlib"].etc/"findlib.conf").exist?
ENV["OCAMLFIND_CONF"] = Formula["ocaml-findlib"].opt_libexec/"findlib.conf"
end
ENV.prepend_path "OCAMLPATH", Formula["ocaml-zarith"].opt_lib/"ocaml"
ENV.prepend_path "OCAMLPATH", Formula["ocaml-findlib"].opt_lib/"ocaml"
system "./configure", "-prefix", prefix,
Expand All @@ -49,6 +54,10 @@ def install
end

test do
# Work around for https://github.com/Homebrew/homebrew-test-bot/issues/805
if ENV["HOMEBREW_GITHUB_ACTIONS"] && !(Formula["ocaml-findlib"].etc/"findlib.conf").exist?
ENV["OCAMLFIND_CONF"] = Formula["ocaml-findlib"].opt_libexec/"findlib.conf"
end
(testpath/"testing.v").write <<~EOS
Require Coq.micromega.Lia.
Require Coq.ZArith.ZArith.
Expand Down
6 changes: 2 additions & 4 deletions Formula/h/hyperkit.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,12 +4,10 @@ class Hyperkit < Formula
url "https://github.com/moby/hyperkit/archive/refs/tags/v0.20210107.tar.gz"
sha256 "095f5f5ef550d7cad10e4d13e9c9ce8b58cc319d654a6d837d8d87ee70537835"
license "BSD-2-Clause"
revision 1

bottle do
sha256 cellar: :any_skip_relocation, ventura: "3b67078315551718bc3c752b943b933713ddb69058f3cb72a0f65faa6e9295ab"
sha256 cellar: :any_skip_relocation, monterey: "da3b0d0374a85af5c649c86fb7796c1eecae468f5783bbb994a96d807e60712a"
sha256 cellar: :any_skip_relocation, big_sur: "f96e7270e9e853ce33f2195136b11338a5cf4d612ee50f3dd51b5c8506b4efcb"
sha256 cellar: :any_skip_relocation, catalina: "cd58afe172473278d3ed9404e9d25e10bee487fb4e27cd6de39c950a0ccaca87"
Comment on lines -9 to -12
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

need to followup on this

Copy link
Member

@chenrui333 chenrui333 Jun 6, 2024 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

https://github.com/Homebrew/homebrew-core/actions/runs/9395167391

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hyperkit really looks like abandonware now:

Not much could probably be done for it, until developers/maintainers step in.

Copy link
Contributor Author

@XVilka XVilka Jun 6, 2024 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Apologize for tagging you @djs55, but since you were hyperkit developer, you might be able to help reviving it.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yeah, there are no new commits for the past two years.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's not so much abandonware, but stable. There's no need to keep it up-to-date with the very latest OCaml, and I doubt there are many users accessing it via Homebrew. I'm happy to it to be removed from Homebrew to ensure there's no blocker on upstream OCaml updates. Copying in @djs55 as another maintainer of Hyperkit to confirm.

Copy link

@djs55 djs55 Jun 7, 2024 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would describe it as stable -- it's still shipped in Docker Desktop for Intel Macs. Removing hyperkit from Homebrew is fine.

sha256 cellar: :any_skip_relocation, monterey: "69e59bde1dae4ff1da807711cd9060cdf81e248aa55a0dd761a20abd8787e20b"
end

depends_on "ocaml" => :build
Expand Down
15 changes: 8 additions & 7 deletions Formula/l/ledit.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ class Ledit < Formula
version "2.06"
sha256 "9fb4fe256ca9e878a0b47dfd43b4c64c6a3f089c9e76193b2db347f0d90855be"
license "BSD-3-Clause"
revision 1

livecheck do
url :stable
Expand All @@ -15,13 +16,13 @@ class Ledit < Formula
end

bottle do
sha256 cellar: :any_skip_relocation, arm64_sonoma: "fb17134571471349a072e47eb5849e5ecc66006616fa77bf2363d04a8fa91446"
sha256 cellar: :any_skip_relocation, arm64_ventura: "26e778db2994c1524b3b993e94eb642586c227cfe04b103e9ead54a557fa67ac"
sha256 cellar: :any_skip_relocation, arm64_monterey: "9799ea6b0736a0a266eabd35ca40719683f4cb9dfecf220f4f73f3de26ee3b5d"
sha256 cellar: :any_skip_relocation, sonoma: "ab446bc5a875dc4527f05103db24700488cc32761aa241d18065ac6a66082971"
sha256 cellar: :any_skip_relocation, ventura: "3b7c8d59ad0746dab63189ddc5fa9176b177c39404c368520be0cf03c9c14cca"
sha256 cellar: :any_skip_relocation, monterey: "6fd3e1bcddb9d283dd6dbb8b84bb0dcab8ee5ec215bef0004be1c2a4991c912a"
sha256 cellar: :any_skip_relocation, x86_64_linux: "3521f1fe5b11e11d11a53c988888cf4807db6f5f17e420010e5c85a543ce7211"
sha256 cellar: :any_skip_relocation, arm64_sonoma: "5cd73d8f31cd78874d997a6d4fd9f641e48feca0f7fe8563bb76bc1cb3e54fbd"
sha256 cellar: :any_skip_relocation, arm64_ventura: "e3a9793e08a678bf56e0d52ec6d1882a7e9f315b3aa3408444ed140f15bf2b32"
sha256 cellar: :any_skip_relocation, arm64_monterey: "e8fa06836756c84e6f20a13214680bbb0b360025ef193211d7e3ac0b88856202"
sha256 cellar: :any_skip_relocation, sonoma: "ba5e850a2325c803b48366814ccd65ccf4acf57112f9cb16b4bc5ef43add3a8a"
sha256 cellar: :any_skip_relocation, ventura: "61b71950ed308177659d6d98f88e83d9f26b2ce8c9f41cffab9e92eef9988144"
sha256 cellar: :any_skip_relocation, monterey: "482dd44cabb6afec89846ad02430f0b48e2aee3e32885c58eedd38619fdc4886"
sha256 cellar: :any_skip_relocation, x86_64_linux: "280c140f1337f33186cc2d9a1946cd27732435292e98fff8c1a431d408ebb237"
end

depends_on "ocaml-findlib" => :build
Expand Down
26 changes: 18 additions & 8 deletions Formula/m/math-comp.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,24 +4,29 @@ class MathComp < Formula
url "https://github.com/math-comp/math-comp/archive/refs/tags/mathcomp-1.19.0.tar.gz"
sha256 "786db902d904347f2108ffceae15ba29037ff8e63a6c58b87928f08671456394"
license "CECILL-B"
revision 2
revision 3
head "https://github.com/math-comp/math-comp.git", branch: "master"

bottle do
sha256 cellar: :any_skip_relocation, arm64_sonoma: "3ea1b572027d6051e36a26a2a813deaf63fbcff5dd65dc0bf38842649ad3a5fa"
sha256 cellar: :any_skip_relocation, arm64_ventura: "a82eb21533f651ee962e0d64c9b9574c6fcd0c3ce6a91767d1a734b1f483f425"
sha256 cellar: :any_skip_relocation, arm64_monterey: "59ceb23e02aa6142e9b1adbd135f46afca15f2852596d2b2089e75ec11cd6888"
sha256 cellar: :any_skip_relocation, sonoma: "fb7f57a80f97d5d4514c126f6fb659681c46b789f0fcf83a3893814db91e2db1"
sha256 cellar: :any_skip_relocation, ventura: "de4028a41747143cdd6a113681e178beef7df9c0e5cb674fbeac82cb27359bc4"
sha256 cellar: :any_skip_relocation, monterey: "475dcb71b57f8c7ec671a083d39162e7e6a3673f30533814b8b2d3f9dd74236f"
sha256 cellar: :any_skip_relocation, x86_64_linux: "8b0c39d34525e702e21d0b9e43a9722c61c564f658d7ffafc468c397fc79738a"
sha256 cellar: :any_skip_relocation, arm64_sonoma: "fe578ded99ac581dbb4892205822e06ec3d5d753aa8f8412be06fe0269c06aa5"
sha256 cellar: :any_skip_relocation, arm64_ventura: "e02280c42ec43cf8ff9e4c9c9c5db5550dcf37ea3465bc2c79b861da89e832cb"
sha256 cellar: :any_skip_relocation, arm64_monterey: "4e10a7ccd7897d1780906022a26baf7614ec74686be1e765cbdf9ebc511592f0"
sha256 cellar: :any_skip_relocation, sonoma: "a9f5f9efe46c5b0a6ed49997e42dcc34eea97a05e92c67eb54a0cf925199638d"
sha256 cellar: :any_skip_relocation, ventura: "129385c0192110aba6dc10f5b0ced11ebe8336c91f7a2b03adcfab1fd9f30724"
sha256 cellar: :any_skip_relocation, monterey: "3bf4193ec3a297ce9baef489a69264f82c023fd32fb07298f1adc923151f316c"
sha256 cellar: :any_skip_relocation, x86_64_linux: "f5357d811a663bf0b5b3de6bc031e1fbc6c0253782f2501f2b65864f81af3f9f"
end

depends_on "ocaml" => :build
depends_on "ocaml-findlib" => :build
depends_on "coq"

def install
# Work around for https://github.com/Homebrew/homebrew-test-bot/issues/805
if ENV["HOMEBREW_GITHUB_ACTIONS"] && !(Formula["ocaml-findlib"].etc/"findlib.conf").exist?
ENV["OCAMLFIND_CONF"] = Formula["ocaml-findlib"].opt_libexec/"findlib.conf"
end

coqlib = "#{lib}/coq/"

(buildpath/"mathcomp/Makefile.coq.local").write <<~EOS
Expand All @@ -40,6 +45,11 @@ def install
end

test do
# Work around for https://github.com/Homebrew/homebrew-test-bot/issues/805
if ENV["HOMEBREW_GITHUB_ACTIONS"] && !(Formula["ocaml-findlib"].etc/"findlib.conf").exist?
ENV["OCAMLFIND_CONF"] = Formula["ocaml-findlib"].opt_libexec/"findlib.conf"
end

(testpath/"testing.v").write <<~EOS
From mathcomp Require Import ssreflect seq.

Expand Down
35 changes: 28 additions & 7 deletions Formula/m/menhir.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,21 +4,27 @@ class Menhir < Formula
url "https://gitlab.inria.fr/fpottier/menhir/-/archive/20231231/menhir-20231231.tar.bz2"
sha256 "fb76a37b84e28acd3ecf58efea3abc8c7a9a70987a44915837e81093a7853d3a"
license "GPL-3.0-or-later"
revision 1

bottle do
sha256 cellar: :any, arm64_sonoma: "182247d95722654249f03821183168020c5fd2c8dfc2cb537f7849113d55077f"
sha256 cellar: :any, arm64_ventura: "a6f67e1df35d4958923fae7e847f799d81710ac298b618bd08f4a643b8a03b89"
sha256 cellar: :any, arm64_monterey: "77285973f5aff863fe702d1b6e57eb32528718e17da0cbfebc8f88da88f00674"
sha256 cellar: :any, sonoma: "8cb64eaf45aeed6fa2a9f13b7d88a749efb47e79fad18647a7b9525161e536c5"
sha256 cellar: :any, ventura: "30f0b2a803560c18bebeb851c222c1a8352e7130045a02e3680f7aff40d5d180"
sha256 cellar: :any, monterey: "51b8a1f0d7873e4f578f75e1102ac09f6026c264b52add86d9ec8c25fa9a5348"
sha256 cellar: :any_skip_relocation, x86_64_linux: "e9da631e1b1809bb851303ab71ebeb80319064d1672e0511d605869c29686339"
sha256 cellar: :any, arm64_sonoma: "51bd3947698d7b10bb3c564ac1af6253939cc2c92a213a987eab78b69eca413e"
sha256 cellar: :any, arm64_ventura: "ecc727bfc088943865ce50c8a119f22cc119cb0bb40475c3b335ec0106ccb4c3"
sha256 cellar: :any, arm64_monterey: "13297c3d65c7163ed6435b61b976bbb382627c1f0287d4c451e96504a1482666"
sha256 cellar: :any, sonoma: "cd93d31e5b19eeaa76015c1fe532b47bfd9da10751b4e22b39868e5799bf1ef2"
sha256 cellar: :any, ventura: "53593f93829e9fa15b9fa2454941ddc5a3b9bb51b9d1715ad37c39102c7aee2c"
sha256 cellar: :any, monterey: "b7c47233eb83cc4fdef9408f13d72d43f38d098526be8412dba83b3fde002729"
sha256 cellar: :any_skip_relocation, x86_64_linux: "a0cc957c64dc08d73d4d141746d7d2707db4d7c405b2835060dd8f5c827c023b"
end

depends_on "dune" => :build
depends_on "ocamlbuild" => :build
depends_on "ocaml"

# Allow to compile with OCaml >= 5.2.0
# Shall be removed once the first new version of menhir after 20231231 is released.
# https://gitlab.inria.fr/fpottier/menhir/-/commit/9b49658fc64736511ec41a06bb474afbf3dc6690
patch :DATA

def install
system "dune", "build", "@install"
system "dune", "install", "--prefix=#{prefix}", "--mandir=#{man}"
Expand Down Expand Up @@ -47,3 +53,18 @@ def install
assert_predicate testpath/"test.mli", :exist?
end
end

__END__
diff --git a/sdk/cmly_api.ml b/sdk/cmly_api.ml
index acbb8714..88c93951 100644
--- a/sdk/cmly_api.ml
+++ b/sdk/cmly_api.ml
@@ -146,7 +146,7 @@ module type GRAMMAR = sig
val default_reduction : t -> production option

val reductions : t -> (terminal * production list) list
- [@@@ocaml.deprecated "Please use [get_reductions]"]
+ [@@ocaml.deprecated "Please use [get_reductions]"]
end

module Print : sig
16 changes: 8 additions & 8 deletions Formula/o/ocaml-findlib.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,21 +4,21 @@ class OcamlFindlib < Formula
url "http://download.camlcity.org/download/findlib-1.9.6.tar.gz"
sha256 "2df996279ae16b606db5ff5879f93dbfade0898db9f1a3e82f7f845faa2930a2"
license "MIT"
revision 1
revision 2

livecheck do
url "http://download.camlcity.org/download/"
regex(/href=.*?findlib[._-]v?(\d+(?:\.\d+)+)\.t/i)
end

bottle do
sha256 arm64_sonoma: "57ff114e13929f3b5382c78418a43b896cd2c4f3d9627d9017b1d94a2609489a"
sha256 arm64_ventura: "377870c6a2a9a7e059136d3fb161e9cf0d48191f4e3df7fb7adfc7003e0527fc"
sha256 arm64_monterey: "ad81c990d61dbcee8f0ab536ac519f697e7839313290a3b3f9ccff2717100a07"
sha256 sonoma: "187c3979f7d1a04e3e009a9c36d0943c5d6bf7ae780fdfb38a27e0923d31eea6"
sha256 ventura: "a0fc2d66f141c96efbf271429b7655ca53f05ee1c33350822903807beb8a96d7"
sha256 monterey: "32251158ac86cbfafb14df0866da222e540fa0c4a30a023e631fb411dc604a8d"
sha256 x86_64_linux: "0d81ac15dc0af7b4675ca0c2a5f302594ed5f5a676af51066d7d9c0f8f41faf5"
sha256 arm64_sonoma: "27db02a3efa66607b5131c5c7e2fe171540b3967ab0e80da5c62252b2cf8936b"
sha256 arm64_ventura: "c9b81ddf8a113a064ef29cc3f0477a608367cec59a87885101ae5ab7063010dd"
sha256 arm64_monterey: "e37c0b5bf1940cbbc4bfb6406e10d060aa76164bb77d598adf82834a9b725a07"
sha256 sonoma: "c7dd3598b58e99b1dfcc4060a1b4bb244e289ae9a13fe98914f29217b5ab67d7"
sha256 ventura: "ba4ead7c276b54aa9c48c6e2b929aea8f04a1cbbb808fbfb087a5d9f03fe47ee"
sha256 monterey: "5fc964c610117d95d20857f3ffffb52d6f518fe502c74a3ec40e108e60d9e40d"
sha256 x86_64_linux: "75203b91c65f7c6ca18a0105202a5a6aeffbd225a4f97fc7a1d977bcaa403f30"
end

depends_on "ocaml"
Expand Down
15 changes: 8 additions & 7 deletions Formula/o/ocaml-num.rb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,15 +4,16 @@ class OcamlNum < Formula
url "https://github.com/ocaml/num/archive/refs/tags/v1.5.tar.gz"
sha256 "7ae07c8f5601e2dfc5008a62dcaf2719912ae596a19365c5d7bdf2230515959a"
license "LGPL-2.1"
revision 1

bottle do
sha256 cellar: :any, arm64_sonoma: "6a837fdd87b83bdb4db4602fc9942dad50624c7d99481f41b99716bf592aee85"
sha256 cellar: :any, arm64_ventura: "231cfed2d688c19e41a1ae0c82905ccb3959cc6fbc86d2217ca9deb6a8288266"
sha256 cellar: :any, arm64_monterey: "4d375fd5288c5f44f4ff65e5c85eb1e92b887af71db96b2e3f63a80399993a0d"
sha256 cellar: :any, sonoma: "f2b874ac0a07256fa90b68eadf30afa7f47fd93ce401ba2427811d9d8260d5e3"
sha256 cellar: :any, ventura: "9ee4141f058d0fe4d54ebb82fa0e9775cc7710ee54beec33ffea4167e92b4f3e"
sha256 cellar: :any, monterey: "12dfa8ad705078f598817b0da7318ecd976c96d711c10fb77cce6c280c12bf77"
sha256 cellar: :any_skip_relocation, x86_64_linux: "1e0e5e92a00aefb0ee4682437417fd5ee86e02671738c9b476820573f13f44e7"
sha256 cellar: :any, arm64_sonoma: "7e7b2d6adfef7295f25999b02b580412d2fa696c6930b664c012a3de467d3573"
sha256 cellar: :any, arm64_ventura: "75917ef34c2d9db4edb9e26c4032ed90e88b5b9c60d269a9d3eeec2d064b0010"
sha256 cellar: :any, arm64_monterey: "9e62643f96acfd3196326a958182691dac900fab5968460d4b94278e90c5a862"
sha256 cellar: :any, sonoma: "82b313f948966c3e7ac0871dec7b2a086454c52701010a88a2f3eafea402db7b"
sha256 cellar: :any, ventura: "3efd7a7c5e693579e750fbdf013e1cf709b31abe7bf41085b2223a31fcae5741"
sha256 cellar: :any, monterey: "6d0fcf3f73719c755a40b41ca397a0210ac1ee336fb37685a3674673ae526de8"
sha256 cellar: :any_skip_relocation, x86_64_linux: "a8bd4fec57bb98c82767df5d77937b67170256cf20a67b9335ed30de3248ab75"
end

depends_on "ocaml-findlib" => :build
Expand Down
Loading
Loading