clingo: depend on lua, switch to Python 3
Closes #28057. Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
parent
8cafd8a34a
commit
511c694c92
1 changed files with 5 additions and 2 deletions
|
@ -3,6 +3,7 @@ class Clingo < Formula
|
||||||
homepage "https://potassco.org/"
|
homepage "https://potassco.org/"
|
||||||
url "https://github.com/potassco/clingo/archive/v5.2.2.tar.gz"
|
url "https://github.com/potassco/clingo/archive/v5.2.2.tar.gz"
|
||||||
sha256 "da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf"
|
sha256 "da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf"
|
||||||
|
revision 1
|
||||||
|
|
||||||
bottle do
|
bottle do
|
||||||
rebuild 1
|
rebuild 1
|
||||||
|
@ -13,7 +14,8 @@ class Clingo < Formula
|
||||||
|
|
||||||
depends_on "cmake" => :build
|
depends_on "cmake" => :build
|
||||||
depends_on "doxygen" => :build
|
depends_on "doxygen" => :build
|
||||||
depends_on "python@2"
|
depends_on "lua"
|
||||||
|
depends_on "python"
|
||||||
|
|
||||||
needs :cxx14
|
needs :cxx14
|
||||||
|
|
||||||
|
@ -29,7 +31,8 @@ class Clingo < Formula
|
||||||
system "cmake", ".", "-DCLINGO_BUILD_WITH_PYTHON=ON",
|
system "cmake", ".", "-DCLINGO_BUILD_WITH_PYTHON=ON",
|
||||||
"-DCLINGO_BUILD_PY_SHARED=ON",
|
"-DCLINGO_BUILD_PY_SHARED=ON",
|
||||||
"-DPYCLINGO_USE_INSTALL_PREFIX=ON",
|
"-DPYCLINGO_USE_INSTALL_PREFIX=ON",
|
||||||
"-DCLINGO_BUILD_WITH_LUA=OFF",
|
"-DCLINGO_BUILD_WITH_LUA=ON",
|
||||||
|
"-DPYTHON_EXECUTABLE=#{Formula["python"].opt_bin}/python3",
|
||||||
*std_cmake_args
|
*std_cmake_args
|
||||||
system "make", "install"
|
system "make", "install"
|
||||||
end
|
end
|
||||||
|
|
Loading…
Reference in a new issue