milis/talimatname/genel/c/clingo/talimat

28 lines
657 B
Plaintext
Raw Normal View History

2017-12-24 00:52:58 +01: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-12-24 00:47:53 +01:00
# Grup: sistem
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
}