compcert 3.15

Author: paperchalice

Formula/compcert.rb

@@ -1,26 +1,35 @@
 class Compcert < Formula
   desc "Formally verified C compiler"
   homepage "https://compcert.org/"
-  url "https://github.com/AbsInt/CompCert/archive/refs/tags/v3.9.tar.gz"
-  sha256 "6a56b4e4c2b6e776eba43a1a08047c9efd6874244bd2d8c48ccb6ccd1117aefb"
-  license "LGPL-2.1-only"
+  url "https://github.com/AbsInt/CompCert/archive/refs/tags/v3.15.tar.gz"
+  sha256 "6baae8f69bdbf0192d02fae911207cbde73bb1ff6b9790b1e745be0bd9b2342a"
+  license :cannot_represent
 
   bottle do
     root_url "https://github.com/paperchalice/homebrew-private/releases/download/compcert-3.9"
     sha256 cellar: :any_skip_relocation, big_sur: "e11fd93a2863bef7bccf64894d73b479d86e561e9de10da33360bdbeff147917"
   end
 
   depends_on "coq"    => :build
-  depends_on "menhir" => :build
+  # TODO: depends_on "menhir" => :build
   depends_on "ocaml"  => :build
+  depends_on "opam" => :build
 
   def install
+    opamroot = buildpath/".opam"
+    ENV["OPAMROOT"] = opamroot
+    ENV["OPAMYES"] = "1"
+    system "opam", "init", "--no-setup", "--disable-sandboxing"
+    system "opam", "install", "menhir"
+    ENV.append_path "PATH", opamroot/"default/bin"
+
     # We pass -ignore-coq-version, otherwise every new version of coq
     # breaks the strict version check.
     configure_args = %W[
       -prefix #{prefix}
       #{Hardware::CPU.arch}-macosx
       -ignore-coq-version
+      -ignore-ocaml-version
       -clightgen
     ]
     system "./configure", *configure_args