diff options
author | Andrew Sun | 2021-07-07 07:58:21 -0400 |
---|---|---|
committer | Andrew Sun | 2021-07-07 07:58:21 -0400 |
commit | 19d3d4bc440d14678320b20b26596cf8070a6121 (patch) | |
tree | 216a803423503bb0ba4f3ce9fa926c28d40a24e1 | |
parent | 1251feace233f4d7f5e4ba8cf12a23e3b49afda6 (diff) | |
download | aur-19d3d4bc440d14678320b20b26596cf8070a6121.tar.gz |
add extra python option
-rw-r--r-- | .SRCINFO | 1 | ||||
-rw-r--r-- | PKGBUILD | 1 |
2 files changed, 1 insertions, 1 deletions
@@ -19,4 +19,3 @@ pkgbase = clingo sha256sums = SKIP pkgname = clingo - @@ -27,6 +27,7 @@ build() { -DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_INSTALL_LIBDIR=lib \ -DCLINGO_REQUIRE_PYTHON=ON \ + -DCLINGO_BUILD_WITH_PYTHON=ON \ -DCLINGO_BUILD_PY_SHARED=ON \ -DPYCLINGO_USER_INSTALL=OFF \ -DCLINGO_REQUIRE_LUA=ON \ |