From 511c694c92e1dbf9a7783c05202db1c32e7d7a32 Mon Sep 17 00:00:00 2001 From: Dominik Moritz Date: Sun, 20 May 2018 12:51:58 -0700 Subject: [PATCH] clingo: depend on lua, switch to Python 3 Closes #28057. Signed-off-by: ilovezfs --- Formula/clingo.rb | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Formula/clingo.rb b/Formula/clingo.rb index 295a0bc862..82bb8039e8 100644 --- a/Formula/clingo.rb +++ b/Formula/clingo.rb @@ -3,6 +3,7 @@ class Clingo < Formula homepage "https://potassco.org/" url "https://github.com/potassco/clingo/archive/v5.2.2.tar.gz" sha256 "da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf" + revision 1 bottle do rebuild 1 @@ -13,7 +14,8 @@ class Clingo < Formula depends_on "cmake" => :build depends_on "doxygen" => :build - depends_on "python@2" + depends_on "lua" + depends_on "python" needs :cxx14 @@ -29,7 +31,8 @@ class Clingo < Formula system "cmake", ".", "-DCLINGO_BUILD_WITH_PYTHON=ON", "-DCLINGO_BUILD_PY_SHARED=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 system "make", "install" end