Merge pull request #151765 from chenrui333/stp-py3.12

stp, klee: migrate to `[email protected]`
Homebrew · Nov 16, 2023 · 87fbe9d · 87fbe9d
2 parents 57277c5 + 0b08985
commit 87fbe9d
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 19 deletions.
diff --git a/Formula/k/klee.rb b/Formula/k/klee.rb
@@ -6,23 +6,23 @@ class Klee < Formula
   url "https://github.com/klee/klee/archive/refs/tags/v3.0.tar.gz"
   sha256 "204ebf0cb739886f574b1190b04fa9ed9088770c0634984782e9633d1aa4bdc9"
   license "NCSA"
+  revision 1
   head "https://github.com/klee/klee.git", branch: "master"
 
   bottle do
-    sha256 arm64_ventura:  "b5f061339b7061a9d44a038e09a9d71579af070590f216bd38a0d312bb34e00f"
-    sha256 arm64_monterey: "75864bddc2c44e63bb721c69c461a694e9614448861bfff69c2ca3de8196a58e"
-    sha256 arm64_big_sur:  "c2c7664241661c67dfadffe0eebb62bc1caea059215367f45c22e7fe20f3b95b"
-    sha256 ventura:        "fb9816be6391e114836380c3550fe7518600d3eff2b16bfc69d1e7053e8060d4"
-    sha256 monterey:       "8b578e55bb14346578ebfb852e4cf6dfdf3f717b941e16a0062a7204b46f91b5"
-    sha256 big_sur:        "407ae407ca05e578ec4e13c3134b1e88f0b99a89af75a803746a99a3af768f70"
-    sha256 x86_64_linux:   "06ceef2504cd321af3e2f428bd6e7098341608b53165d3d7ae2f0ab16c849e66"
+    sha256 arm64_ventura:  "dca27b1bf29fd452ed22a13630e057c995f6b2c803a9a3b1e0465e33e71e7ff6"
+    sha256 arm64_monterey: "cc3fee3a318ca3899bc092e2fb8d54f89cd89df827dc301315452e255594e0c3"
+    sha256 ventura:        "23b79adbc30a317df0832aff2054433a8c7954514168ef90c937fc54de3c4e37"
+    sha256 monterey:       "4430bc699a8b540955c6555ab10592a212ad2f395e26905a90d5dc5c129ff127"
+    sha256 x86_64_linux:   "93949378eb98df17b78cc7c2e5f0607e7033dafc09e669841026f9130a96d87c"
   end
 
   depends_on "cmake" => :build
+  depends_on "python-setuptools" => :build
   depends_on "gperftools"
   depends_on "llvm@14"
   depends_on "python-tabulate"
-  depends_on "python@3.11"
+  depends_on "python@3.12"
   depends_on "sqlite"
   depends_on "stp"
   depends_on "wllvm"

diff --git a/Formula/s/stp.rb b/Formula/s/stp.rb
@@ -4,7 +4,7 @@ class Stp < Formula
   url "https://github.com/stp/stp/archive/refs/tags/2.3.3.tar.gz"
   sha256 "ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa"
   license "MIT"
-  revision 7
+  revision 8
   head "https://github.com/stp/stp.git", branch: "master"
 
   livecheck do
@@ -13,34 +13,35 @@ class Stp < Formula
   end
 
   bottle do
-    sha256 cellar: :any,                 arm64_sonoma:   "df203f08ddff7a08fa2b967ef008cfe14cc82a9703ae0fa1ad83ea3603da2cb3"
-    sha256 cellar: :any,                 arm64_ventura:  "a0c9c388c24b6f86c13f53099399a2ee9f2c2603e231b1ea533f1a28ad6425d8"
-    sha256 cellar: :any,                 arm64_monterey: "d0cd11c1e75e9d6965ee6fbac27308eddd72744c559f43d7f4e569fbf6391954"
-    sha256 cellar: :any,                 sonoma:         "8301a5e49fd277788d4085edec1922ffe782a9e03f4fbdf43aa3204604c86040"
-    sha256 cellar: :any,                 ventura:        "d394e87302eb22cbeaf8db5c99f057edae0a6e5a98f79905bdd01cef9abdd152"
-    sha256 cellar: :any,                 monterey:       "83f85d893568f0b5ee34d55428981e5aae35355cd2453012c6d013462163fa2b"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:   "5ba95876b0a7084bd5a6ac91ca0817ff4aeb9ef6ea1fd59dbfd67e5546e12fe7"
+    sha256 cellar: :any,                 arm64_sonoma:   "b12c4a9145e67c68639ad6ab9600a56fff075d819163eadb8422c600761bf3ac"
+    sha256 cellar: :any,                 arm64_ventura:  "6aadc8b0307425e991331316a590a32e2a58bfdff299fb88cc816dc8a5fa2e71"
+    sha256 cellar: :any,                 arm64_monterey: "09a0b186febb6588ad2aef0c8d7be05ba1fcbb23a5f3cca900d57670d903ff0e"
+    sha256 cellar: :any,                 sonoma:         "ccd8462d42b78b656a59cf50009e0a5ff684cbadb1782b6bd86f1d75fe5048d1"
+    sha256 cellar: :any,                 ventura:        "ae42c8fc7e9a2cf3b87acab72c51236dcbdf49398ce6cf5b2226912ccd910161"
+    sha256 cellar: :any,                 monterey:       "26bf5d1472e541b4d6971531544e268b804c75c4b87d4bef0b5c525c063d7d24"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:   "d64345bfcdf48933e9199c07aa9363cdccc1c5e118776bf1d2d7b3395dce0ee4"
   end
 
   # stp refuses to build with system bison and flex
   depends_on "bison" => :build
   depends_on "cmake" => :build
   depends_on "flex" => :build
+  depends_on "python-setuptools" => :build
   depends_on "boost"
   depends_on "cryptominisat"
   depends_on "minisat"
-  depends_on "python@3.11"
+  depends_on "python@3.12"
 
   uses_from_macos "perl"
 
   def install
-    python = "python3.11"
+    python = "python3.12"
     site_packages = prefix/Language::Python.site_packages(python)
     site_packages.mkpath
     inreplace "lib/Util/GitSHA1.cpp.in", "@CMAKE_CXX_COMPILER@", ENV.cxx
 
     system "cmake", "-S", ".", "-B", "build",
-                    "-DPYTHON_EXECUTABLE=#{Formula["python@3.11"].opt_bin}/#{python}",
+                    "-DPYTHON_EXECUTABLE=#{Formula["python@3.12"].opt_bin}/#{python}",
                     "-DPYTHON_LIB_INSTALL_DIR=#{site_packages}",
                     *std_cmake_args
     system "cmake", "--build", "build"