2018-06-09 00:06:58 +02: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
|
2018-07-01 05:01:47 +02:00
|
|
|
|
devir=2
|
|
|
|
|
|
kaynak=(http://www.swi-prolog.org/download/stable/src/swipl-${surum/_/-}.tar.gz)
|
2018-06-09 00:06:58 +02:00
|
|
|
|
|
|
|
|
|
|
derle() {
|
2018-07-01 05:01:47 +02:00
|
|
|
|
cd "swipl-${surum/_/-}"
|
|
|
|
|
|
./configure --with-world --prefix=/usr
|
|
|
|
|
|
(cd src; ./configure --enable-readline --prefix=/usr)
|
|
|
|
|
|
make
|
|
|
|
|
|
make -C "$SRC/swipl-${surum/_/-}" check || true
|
|
|
|
|
|
make -C "$SRC/swipl-${surum/_/-}" DESTDIR="$PKG" install
|
|
|
|
|
|
# Fix for FS#20873
|
|
|
|
|
|
chmod +x "$PKG/usr/lib/swipl-${surum/_/-}/library/dialect/sicstus/swipl-lfr.pl"
|
|
|
|
|
|
cd packages
|
|
|
|
|
|
./configure \
|
|
|
|
|
|
--with-cpp \
|
|
|
|
|
|
--with-clib \
|
|
|
|
|
|
--with-odbc \
|
|
|
|
|
|
--with-table \
|
|
|
|
|
|
--with-xpce \
|
|
|
|
|
|
--with-sgml \
|
|
|
|
|
|
--with-RDF \
|
|
|
|
|
|
--with-semweb \
|
|
|
|
|
|
--with-http \
|
|
|
|
|
|
--with-chr \
|
|
|
|
|
|
--with-clpqr \
|
|
|
|
|
|
--with-nlp \
|
|
|
|
|
|
--with-ssl \
|
|
|
|
|
|
--with-tipc \
|
|
|
|
|
|
--with-pldoc \
|
|
|
|
|
|
--with-plunit \
|
|
|
|
|
|
--with-zlib \
|
|
|
|
|
|
--with-R \
|
2018-07-01 05:29:52 +02:00
|
|
|
|
--with-pengines \
|
2018-07-01 05:01:47 +02:00
|
|
|
|
--with-protobufs \
|
|
|
|
|
|
--with-PDT \
|
|
|
|
|
|
--with-utf8proc \
|
|
|
|
|
|
--with-archive \
|
|
|
|
|
|
--without-jpl
|
|
|
|
|
|
make all
|
|
|
|
|
|
make install DESTDIR=$PKG
|
|
|
|
|
|
|
2018-06-09 00:06:58 +02:00
|
|
|
|
}
|
