2 files changed, 1 insertions, 1 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 38e9ec15c926..c4398d0305a1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -19,4 +19,3 @@ pkgbase = clingo
 	sha256sums = SKIP
 
 pkgname = clingo
-
diff --git a/PKGBUILD b/PKGBUILD
index 4c0dc28f33bd..62bf578eccf6 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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 \