Merge pull request #1151 from diffblue/ebmc-homebrew

Homebrew formulas for ebmc 5.5 and 5.6

Author: tautschnig

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

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