set system prefix for cmake
@@ -4,9 +4,9 @@ mkdir build
cd build
cmake .. \
+ -CMAKE_SYSTEM_PREFIX_PATH="${PREFIX}" \
-DCMAKE_CXX_COMPILER="${CXX}" \
-DCMAKE_C_COMPILER="${CC}" \
- -DPython_ROOT_DIR="${PREFIX}" \
-DCLINGO_REQUIRE_PYTHON=ON \
-DCMAKE_INSTALL_PREFIX="${PREFIX}" \
-DPYCLINGO_USER_INSTALL=OFF \
