From 8451a7ba4b3ee0a0c93afc94c04472d0809ac525 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 10 Jun 2025 10:30:40 -0700 Subject: [PATCH] Homebrew formulas for ebmc 5.5 and 5.6 --- Formula/ebmc@5.5.rb | 24 ++++++++++++++++++++++++ Formula/ebmc@5.6.rb | 24 ++++++++++++++++++++++++ 2 files changed, 48 insertions(+) create mode 100644 Formula/ebmc@5.5.rb create mode 100644 Formula/ebmc@5.6.rb diff --git a/Formula/ebmc@5.5.rb b/Formula/ebmc@5.5.rb new file mode 100644 index 000000000..b7a47207e --- /dev/null +++ b/Formula/ebmc@5.5.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.5", + revision: "d3b36a4b52ee3b17575c59346c321729657c1877" + version "5.5" + 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.6.rb b/Formula/ebmc@5.6.rb new file mode 100644 index 000000000..6b58b01e3 --- /dev/null +++ b/Formula/ebmc@5.6.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.6", + revision: "9b402aa7cfb1157b0399f9e684bdfc1b505ed50d" + version "5.6" + 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