milis/talimatname/genel/c/clingo/talimat

# Tanım: mantık programları için temel bilgi veren ayrıştırıcı uygulama
# URL: https://potassco.org
# Paketçi: milisarge
# Gerekler: re2c cmake ninja python lua clang
# Grup: sistem

isim=clingo
surum=5.2.0
devir=1
kaynak=(https://github.com/potassco/clingo/archive/v$surum.tar.gz::$isim-$ersion.tar.gz)

derle() {
	mkdir -p build
	cd build
	cmake "../$isim-$surum" \
	-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
}