blob: 582e015ecb9be80a5476588092033e4107f3d7f3 (
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
|
# Maintainer: Ebrahim Azarisooreh <ebrahim.azarisooreh@gmail.com>
# Contributor: 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>
pkgname=swi-prolog-devel
pkgver=8.1.12
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'
'uuid: for using the uuid 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=('1c8f62a2dd6b279972c77b8b817bd93bb7bc54b11f852868eff79e82be0655e9')
conflicts=('swi-prolog')
provides=('swi-prolog')
build() {
cd "swipl-$pkgver"
mkdir build
cd build && cmake -DCMAKE_INSTALL_PREFIX=/usr .. && make
}
package() {
make -C "swipl-$pkgver/build" DESTDIR="$pkgdir" install
}
|