diff --git a/talimatname/genel/aspcud/talimat b/talimatname/genel/aspcud/talimat new file mode 100644 index 000000000..683e3ba36 --- /dev/null +++ b/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 +} diff --git a/talimatname/genel/clingo/talimat b/talimatname/genel/clingo/talimat new file mode 100644 index 000000000..fff87ddfc --- /dev/null +++ b/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 +}