Fixed Homebrew formula, bump to 0.9.2

black-sat · Sep 5, 2022 · b4bd17c · b4bd17c
1 parent d145674
commit b4bd17c
Show file tree

Hide file tree

Showing 6 changed files with 18 additions and 18 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -25,7 +25,7 @@ cmake_minimum_required(VERSION 3.10)
 
 project(
   black 
-  VERSION 0.9.1
+  VERSION 0.9.2
   LANGUAGES C CXX
   DESCRIPTION "BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)"
 )

diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# BLACK [![Build Status](https://api.cirrus-ci.com/github/black-sat/black.svg)](https://cirrus-ci.com/github/black-sat/black) ![appveyor](https://ci.appveyor.com/api/projects/status/github/black-sat/black?branch=master&svg=true) ![MIT](https://img.shields.io/badge/license-MIT-brightgreen) [![Latest release](https://badgen.net/github/release/black-sat/black)](https://github.com/black-sat/black/releases/tag/v0.9.1) [![codecov](https://codecov.io/gh/black-sat/black/branch/master/graph/badge.svg?token=ZETQF5NZ6X)](https://codecov.io/gh/black-sat/black)
+# BLACK [![Build Status](https://api.cirrus-ci.com/github/black-sat/black.svg)](https://cirrus-ci.com/github/black-sat/black) ![appveyor](https://ci.appveyor.com/api/projects/status/github/black-sat/black?branch=master&svg=true) ![MIT](https://img.shields.io/badge/license-MIT-brightgreen) [![Latest release](https://badgen.net/github/release/black-sat/black)](https://github.com/black-sat/black/releases/tag/v0.9.2) [![codecov](https://codecov.io/gh/black-sat/black/branch/master/graph/badge.svg?token=ZETQF5NZ6X)](https://codecov.io/gh/black-sat/black)
 
 BLACK (short for Bounded Lᴛʟ sAtisfiability ChecKer) is a tool for testing the
 satisfiability of formulas in Linear Temporal Logic and related logics.
@@ -24,7 +24,7 @@ See the [Documentation page][Doc] for further information on BLACK's installatio
 
 | Ubuntu ≥ 22.04             | Fedora 36 |
 |----------------------------|------------------------------|
-| [![Download](https://badgen.net/badge/Download%20v0.9.1/.deb/green)][pkg.deb] | [![Download](https://badgen.net/badge/Download%20v0.9.1/.rpm/green)][pkg.rpm]   |
+| [![Download](https://badgen.net/badge/Download%20v0.9.2/.deb/green)][pkg.deb] | [![Download](https://badgen.net/badge/Download%20v0.9.2/.rpm/green)][pkg.rpm]   |
 | `sudo apt install ⟨file⟩` | `sudo dnf install ⟨file⟩` |
 
 
@@ -40,10 +40,10 @@ $ brew install black-sat/black/black-sat
 
 Download the self-contained ZIP archive.
 
-[![Download](https://badgen.net/badge/Download%20v0.9.1/.zip/green)][pkg.win]
+[![Download](https://badgen.net/badge/Download%20v0.9.2/.zip/green)][pkg.win]
 
 [Doc]: https://www.black-sat.org
 [brew]: https://brew.sh
-[pkg.deb]: https://github.com/black-sat/black/releases/download/v0.9.1/black-sat-0.9.1-1.x86_64.deb
-[pkg.rpm]: https://github.com/black-sat/black/releases/download/v0.9.1/black-sat-0.9.1-1.x86_64.rpm
-[pkg.win]: https://github.com/black-sat/black/releases/download/v0.9.1/black-0.9.1-win-x64.zip
+[pkg.deb]: https://github.com/black-sat/black/releases/download/v0.9.2/black-sat-0.9.2-1.x86_64.deb
+[pkg.rpm]: https://github.com/black-sat/black/releases/download/v0.9.2/black-sat-0.9.2-1.x86_64.rpm
+[pkg.win]: https://github.com/black-sat/black/releases/download/v0.9.2/black-0.9.2-win-x64.zip
diff --git a/docs/cli.rst b/docs/cli.rst
@@ -137,7 +137,7 @@ with the ``--sat-backends`` option::
    $ black --sat-backends
 
    BLACK - Bounded Lᴛʟ sAtisfiability ChecKer
-        version 0.9.1
+        version 0.9.2
 
    Available SAT backends:
    - z3 *

diff --git a/docs/installation/linux.rst b/docs/installation/linux.rst
@@ -26,10 +26,10 @@ the packages should work but do not, please open a GitHub `issue
 <https://github.com/black-sat/black/issues>`_.
 
 
-.. |UbuntuBadge| image:: https://badgen.net/badge/Download%20v0.9.1/.deb/green
-.. _UbuntuBadge: https://github.com/black-sat/black/releases/download/v0.9.1/black-sat-0.9.1-1.x86_64.deb
-.. |FedoraBadge| image:: https://badgen.net/badge/Download%20v0.9.1/.rpm/green
-.. _FedoraBadge: https://github.com/black-sat/black/releases/download/v0.9.1/black-sat-0.9.1-1.x86_64.rpm
+.. |UbuntuBadge| image:: https://badgen.net/badge/Download%20v0.9.2/.deb/green
+.. _UbuntuBadge: https://github.com/black-sat/black/releases/download/v0.9.2/black-sat-0.9.2-1.x86_64.deb
+.. |FedoraBadge| image:: https://badgen.net/badge/Download%20v0.9.2/.rpm/green
+.. _FedoraBadge: https://github.com/black-sat/black/releases/download/v0.9.2/black-sat-0.9.2-1.x86_64.rpm
 
 Compilation from source
 ------------------------

diff --git a/docs/installation/windows.rst b/docs/installation/windows.rst
@@ -13,8 +13,8 @@ is self-contained.
 
    * - |WindowsBadge|_
 
-.. |WindowsBadge| image:: https://badgen.net/badge/Download%20v0.9.1/.zip/green
-.. _WindowsBadge: https://github.com/black-sat/black/releases/download/v0.9.1/black-0.9.1-win-x64.zip
+.. |WindowsBadge| image:: https://badgen.net/badge/Download%20v0.9.2/.zip/green
+.. _WindowsBadge: https://github.com/black-sat/black/releases/download/v0.9.2/black-0.9.2-win-x64.zip
 
 
 The binary package includes the Z3 backend. To use other backends, BLACK needs

diff --git a/release.sh b/release.sh
@@ -152,10 +152,10 @@ class BlackSat < Formula
   depends_on "cryptominisat" => :recommended
 
   def install
-    ENV["CC"] = "#{HOMEBREW_PREFIX}/opt/llvm/bin/clang"
-    ENV["CXX"] = "#{HOMEBREW_PREFIX}/opt/llvm/bin/clang++"
-    ENV["LDFLAGS"] = "-L#{HOMEBREW_PREFIX}/opt/llvm/lib -Wl,-rpath,#{HOMEBREW_PREFIX}/opt/llvm/lib"  
-    ENV["CXXFLAGS"] = "-I#{HOMEBREW_PREFIX}/opt/llvm/include"
+    ENV["CC"]=Formula["llvm"].opt_bin/"clang"
+    ENV["CXX"]=Formula["llvm"].opt_bin/"clang++"
+    ENV["LDFLAGS"]="-L#{Formula["llvm"].opt_lib} -Wl,-rpath,#{Formula["llvm"].opt_lib}"
+    ENV["CXXFLAGS"]="-I#{Formula["llvm"].opt_include}"
     system "cmake", ".", "-DENABLE_MINISAT=NO", *std_cmake_args
     system "make"
     system "make", "install"