| 12345678910111213141516171819202122232425262728 |
- # 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
- }
|
