From 8802357ebd64c5e4aa3dc411b1c8f19f55ccfb25 Mon Sep 17 00:00:00 2001 From: Anton Kochkov Date: Tue, 4 Jun 2024 19:41:30 +0800 Subject: [PATCH] math-comp: revision bump (ocaml-5.2.0) --- Formula/m/math-comp.rb | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/Formula/m/math-comp.rb b/Formula/m/math-comp.rb index db7b5a422254c..1dc3fedfa1c84 100644 --- a/Formula/m/math-comp.rb +++ b/Formula/m/math-comp.rb @@ -4,7 +4,7 @@ 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 @@ -22,6 +22,11 @@ class MathComp < Formula 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 @@ -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.