aspcud.paketlendi

talimatname/genel/aspcud/talimat

@@ -0,0 +1,25 @@
+# Description: Paket bağımlılık çözücü
+# URL: http://potassco.sourceforge.net/
+# Packager: milisarge
+# Depends on: boost cmake re2c clingo
+
+name=aspcud
+version=1.9.1
+release=1
+source=(
+http://downloads.sourceforge.net/project/potassco/aspcud/1.9.1/$name-$version-source.tar.gz)
+
+build() {
+	mkdir -p build
+	cd build
+	cmake "../$pkgname-$pkgver-source" \
+	-DCMAKE_INSTALL_PREFIX:PATH=/usr \
+	-DCUDF2LP_LOC=cudf2lp \
+	-DGRINGO_LOC=gringo \
+	-DCLASP_LOC=clasp \
+	-DCMAKE_BUILD_TYPE=Release \
+	-GNinja
+	ninja
+
+	DESTDIR="$pkgdir" ninja -C $SRC/build install
+}

talimatname/genel/clingo/talimat

@@ -0,0 +1,27 @@
+# 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
+}