diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 \ |