blob: 8d9a74f264a335d04b77961b7f5b93e7651971c6 (
plain)
1 # Description: A comprehensive Free Software Prolog environment
2 # URL: http://www.swi-prolog.org/
3 # Packager: Younes Hafri <ycrux@club-internet.fr>
4 # Maintainer: unmaintained
5 #
6 # Depends on: x11, jdk
7
8 name=swi-prolog
9 version=5.6.12
10 release=1
11 source=(http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/pl-$version.tar.gz \
12 http://turing.ubishops.ca/home/bruda/emacs-prolog/prolog.el.gz)
13
14 build () {
15 cd pl-$version/src
16
17 ./configure \
18 --prefix=/usr \
19 --enable-mt \
20 --with-world\
21 --enable-readline \
22 --enable-largefile
23
24 make && make prefix=$PKG/usr install
25 cd ../packages
26
27 ./configure \
28 --prefix=/usr \
29 --enable-mt \
30 --with-world\
31 --enable-readline \
32 --enable-largefile
33
34 make && make prefix=$PKG/usr install
35 chown -R root:root $PKG
36 }
|