milis/talimatname/genel/a/aspcud/talimat

26 lines
569 B
Plaintext
Raw Normal View History

2017-10-27 20:46:27 +02:00
# Tanım: Paket bağımlılık çözücü
2017-09-12 09:57:28 +02:00
# URL: http://potassco.sourceforge.net/
2017-10-27 20:46:27 +02:00
# Paketçi: milisarge
# Gerekler: boost cmake re2c clingo
2017-12-22 22:59:36 +01:00
# Grup: kütüphane
2017-09-12 09:57:28 +02:00
2017-10-28 14:10:23 +02:00
isim=aspcud
surum=1.9.1
devir=1
kaynak=(
2017-12-22 22:59:36 +01:00
http://downloads.sourceforge.net/project/potassco/aspcud/1.9.1/$isim-$surum-source.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-source" \
2017-09-12 09:57:28 +02:00
-DCMAKE_INSTALL_PREFIX:PATH=/usr \
-DCUDF2LP_LOC=cudf2lp \
-DGRINGO_LOC=gringo \
-DCLASP_LOC=clasp \
-DCMAKE_BUILD_TYPE=Release \
-GNinja
ninja
2017-09-12 09:59:32 +02:00
DESTDIR="$PKG" ninja -C $SRC/build install
2017-09-12 09:57:28 +02:00
}