2017-10-27 20:46:27 +02:00
|
|
|
|
# Tanım: mantık programları için temel bilgi veren ayrıştırıcı uygulama
|
2017-09-12 09:57:28 +02:00
|
|
|
|
# URL: https://potassco.org
|
2017-10-27 20:46:27 +02:00
|
|
|
|
# Paketçi: milisarge
|
|
|
|
|
|
# Gerekler: re2c cmake ninja python lua clang
|
2017-09-12 09:57:28 +02:00
|
|
|
|
|
2017-10-28 14:10:23 +02:00
|
|
|
|
isim=clingo
|
|
|
|
|
|
surum=5.2.0
|
|
|
|
|
|
devir=1
|
|
|
|
|
|
kaynak=(https://github.com/potassco/clingo/archive/v$surum.tar.gz::$isim-$ersion.tar.gz)
|
2017-09-12 09:57:28 +02:00
|
|
|
|
|
2017-10-27 23:59:41 +02:00
|
|
|
|
derle() {
|
2017-09-12 09:57:28 +02:00
|
|
|
|
mkdir -p build
|
|
|
|
|
|
cd build
|
|
|
|
|
|
|
2017-10-28 14:10:23 +02:00
|
|
|
|
cmake "../$isim-$surum" \
|
2017-09-12 09:57:28 +02:00
|
|
|
|
-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
|
|
|
|
|
|
}
|
