From ce53ffecb1e14cd69db66cf2ba3d4accda5d6f92 Mon Sep 17 00:00:00 2001 From: milisbir Date: Sun, 1 Jul 2018 05:01:47 +0200 Subject: [PATCH] swi-prolog --- talimatname/genel/s/swi-prolog/talimat | 49 ++++++++++++++++++++------ 1 file changed, 38 insertions(+), 11 deletions(-) diff --git a/talimatname/genel/s/swi-prolog/talimat b/talimatname/genel/s/swi-prolog/talimat index 68aac1887..582249688 100644 --- a/talimatname/genel/s/swi-prolog/talimat +++ b/talimatname/genel/s/swi-prolog/talimat @@ -6,17 +6,44 @@ isim=swi-prolog surum=7.6.4 -devir=1 -kaynak=(http://www.swi-prolog.org/download/stable/src/swipl-${surum/_/-}.tar.gz -) +devir=2 +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 - 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 "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 \ + --with-protobufs \ + --with-PDT \ + --with-utf8proc \ + --with-archive \ + --without-jpl + make all + make install DESTDIR=$PKG + }