From df6746b7e2a723c4c00096f79b837b57406438b3 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 4 Nov 2025 10:52:43 -0800 Subject: [PATCH] Homebrew formulas for ebmc 5.7 and 5.8 --- Formula/ebmc@5.7.rb | 24 ++++++++++++++++++++++++ Formula/ebmc@5.8.rb | 24 ++++++++++++++++++++++++ 2 files changed, 48 insertions(+) create mode 100644 Formula/ebmc@5.7.rb create mode 100644 Formula/ebmc@5.8.rb diff --git a/Formula/ebmc@5.7.rb b/Formula/ebmc@5.7.rb new file mode 100644 index 000000000..4200eae3a --- /dev/null +++ b/Formula/ebmc@5.7.rb @@ -0,0 +1,24 @@ +class Ebmc < Formula + desc "Model Checker for SystemVerilog" + homepage "https://www.cprover.org/ebmc/" + url "https://github.com/diffblue/hw-cbmc.git", + tag: "ebmc-5.7", + revision: "953ccfa6092115594a28b43c87e27a6f22b2f192" + version "5.7" + license "BSD-3-Clause" + + uses_from_macos "flex" => :build + uses_from_macos "curl" => :build + depends_on "bison" => :build + + def install + system "make", "-C", "lib/cbmc/src", "minisat2-download" + system "make", "-C", "src" + system "mkdir", "-p", "#{prefix}/usr/bin" + system "cp", "src/ebmc/ebmc", "#{prefix}/usr/bin/" + end + + test do + system "make", "-C", "regression/ebmc", "test" + end +end diff --git a/Formula/ebmc@5.8.rb b/Formula/ebmc@5.8.rb new file mode 100644 index 000000000..995dfb6dd --- /dev/null +++ b/Formula/ebmc@5.8.rb @@ -0,0 +1,24 @@ +class Ebmc < Formula + desc "Model Checker for SystemVerilog" + homepage "https://www.cprover.org/ebmc/" + url "https://github.com/diffblue/hw-cbmc.git", + tag: "ebmc-5.8", + revision: "e67715256cd4ac967545bef1025410f676256f5d" + version "5.8" + license "BSD-3-Clause" + + uses_from_macos "flex" => :build + uses_from_macos "curl" => :build + depends_on "bison" => :build + + def install + system "make", "-C", "lib/cbmc/src", "minisat2-download" + system "make", "-C", "src" + system "mkdir", "-p", "#{prefix}/usr/bin" + system "cp", "src/ebmc/ebmc", "#{prefix}/usr/bin/" + end + + test do + system "make", "-C", "regression/ebmc", "test" + end +end