milislinux
/
milis
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

swi-prolog

This commit is contained in:
milisbir 2018-01-19 08:03:50 +02:00
parent 3a7b8d3eef
commit 3af3a9fdf9
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
talimatname/genel/s/swi-prolog/talimat Normal file
View File

@ -0,0 +1,22 @@
# 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
make -C "swipl-${surum/_/-}" check || true
make -C "swipl-${surum/_/-}" DESTDIR="$PKG" install
# Fix for FS#20873
chmod +x "$PKG/usr/lib/swipl-${surum/_/-}/library/dialect/sicstus/swipl-lfr.pl"
}