blob: 990cf3369dc81c1b7c5b4c1ccd2636b6609dd7a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
# Maintainer: Nikolaos Bezirgiannis <bezeria@gmail.com>
# Contributor: Alexander Rødseth <rodseth@gmail.com>
# Contributor: Jachym Barvinek <jachymb@gmail.com>
# Contributor: Thomas Dziedzic < gostrc at gmail >
# Contributor: John Proctor <jproctor@prium.net>
# Contributor: Juergen Hoetzel <juergen@archlinux.org>
# Contributor: eazar001
pkgname=swi-prolog-devel
pkgver=7.3.1
pkgrel=1
pkgdesc='Prolog environment (development version)'
arch=('x86_64' 'i686')
url='http://www.swi-prolog.org/'
license=('GPL' 'LGPL')
depends=('gmp' 'readline' 'openssl' 'libarchive')
makedepends=('libxft' 'libjpeg' 'unixodbc' 'libxpm' 'libxinerama')
optdepends=('unixodbc: for using the odbc4pl library'
'libjpeg: for using the pl2xpce library'
'libxpm: for using the pl2xpce library'
'libxinerama: for using the pl2xpce library'
'libxft: for using the pl2xpce library'
'java-environment: for interfacing java with the jpl package')
#options=('!makeflags')
source=("http://swi-prolog.org/download/devel/src/swipl-${pkgver}.tar.gz")
sha256sums=('9a62b048f604af710c03a2055e3382c84c9f2c342c6fb8fa257332ede6763062')
conflicts=('swi-prolog')
provides=('swi-prolog')
build() {
cd "swipl-$pkgver"
./configure --prefix=/usr --with-world
cd src
./configure --enable-readline --prefix=/usr
cd ..
make
}
check() {
make -C "swipl-$pkgver" check || true
}
package() {
make -C "swipl-$pkgver" DESTDIR="$pkgdir" install
# Fix for FS#20873
chmod +x "$pkgdir/usr/lib/swipl-$pkgver/library/dialect/sicstus/swipl-lfr.pl"
}
|