2018-01-19 07:03:50 +01:00
|
|
|
|
# Tanım: Prolog environment
|
|
|
|
|
|
# URL: http://www.swi-prolog.org/
|
|
|
|
|
|
# Paketçi: milisarge
|
|
|
|
|
|
# Gerekler: libjpeg-turbo xorg-libxft xorg-libxinerama xorg-libxpm unixodbc
|
|
|
|
|
|
# Grup: geliştirme
|
|
|
|
|
|
|
|
|
|
|
|
isim=swi-prolog
|
|
|
|
|
|
surum=7.6.4
|
|
|
|
|
|
devir=1
|
|
|
|
|
|
kaynak=(http://www.swi-prolog.org/download/stable/src/swipl-${surum/_/-}.tar.gz
|
|
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
derle() {
|
|
|
|
|
|
cd "swipl-${surum/_/-}"
|
|
|
|
|
|
./configure --with-world --prefix=/usr
|
|
|
|
|
|
(cd src; ./configure --enable-readline --prefix=/usr)
|
|
|
|
|
|
make
|
2018-01-19 07:04:46 +01:00
|
|
|
|
make -C "$SRC/swipl-${surum/_/-}" check || true
|
|
|
|
|
|
make -C "$SRC/swipl-${surum/_/-}" DESTDIR="$PKG" install
|
2018-01-19 07:03:50 +01:00
|
|
|
|
# Fix for FS#20873
|
|
|
|
|
|
chmod +x "$PKG/usr/lib/swipl-${surum/_/-}/library/dialect/sicstus/swipl-lfr.pl"
|
|
|
|
|
|
}
|
