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 /PKGBUILD | |
| parent | 1251feace233f4d7f5e4ba8cf12a23e3b49afda6 (diff) | |
| download | aur-19d3d4bc440d14678320b20b26596cf8070a6121.tar.gz | |
add extra python option
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 \ |