# Description: mantık programları için temel bilgi veren ayrıştırıcı uygulama # URL: https://potassco.org # Packager: milisarge # Depends on: re2c cmake ninja python lua clang name=clingo version=5.2.0 release=1 source=(https://github.com/potassco/clingo/archive/v$version.tar.gz::$name-$ersion.tar.gz) build() { mkdir -p build cd build cmake "../$name-$version" \ -DCMAKE_INSTALL_PREFIX=/usr \ -DCLINGO_REQUIRE_PYTHON=ON \ -DCLINGO_BUILD_PY_SHARED=ON \ -DPYCLINGO_USER_INSTALL=OFF \ -DCLINGO_REQUIRE_LUA=ON \ -DCLINGO_BUILD_LUA_SHARED=ON \ -DCMAKE_CXX_COMPILER=clang++ \ -G Ninja ninja DESTDIR="$PKG" ninja -C $SRC/build install }