swi-prolog
This commit is contained in:
parent
67380a038e
commit
ce53ffecb1
|
@ -6,17 +6,44 @@
|
||||||
|
|
||||||
isim=swi-prolog
|
isim=swi-prolog
|
||||||
surum=7.6.4
|
surum=7.6.4
|
||||||
devir=1
|
devir=2
|
||||||
kaynak=(http://www.swi-prolog.org/download/stable/src/swipl-${surum/_/-}.tar.gz
|
kaynak=(http://www.swi-prolog.org/download/stable/src/swipl-${surum/_/-}.tar.gz)
|
||||||
)
|
|
||||||
|
|
||||||
derle() {
|
derle() {
|
||||||
cd "swipl-${surum/_/-}"
|
cd "swipl-${surum/_/-}"
|
||||||
./configure --with-world --prefix=/usr
|
./configure --with-world --prefix=/usr
|
||||||
(cd src; ./configure --enable-readline --prefix=/usr)
|
(cd src; ./configure --enable-readline --prefix=/usr)
|
||||||
make
|
make
|
||||||
make -C "$SRC/swipl-${surum/_/-}" check || true
|
make -C "$SRC/swipl-${surum/_/-}" check || true
|
||||||
make -C "$SRC/swipl-${surum/_/-}" DESTDIR="$PKG" install
|
make -C "$SRC/swipl-${surum/_/-}" DESTDIR="$PKG" install
|
||||||
# Fix for FS#20873
|
# Fix for FS#20873
|
||||||
chmod +x "$PKG/usr/lib/swipl-${surum/_/-}/library/dialect/sicstus/swipl-lfr.pl"
|
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
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue