diff options
| author | Ebrahim Azarisooreh | 2018-12-18 22:40:43 -0800 |
|---|---|---|
| committer | Ebrahim Azarisooreh | 2018-12-18 22:40:43 -0800 |
| commit | 6c0251caf051e4de62b23bbef30262d5c6f3877e (patch) | |
| tree | 3b1a0be8bdc26b6ea8b69f23ed5a9ea3de4b9bd9 | |
| parent | f352558d58e9aa6b8b1db3a0ca2e1e524214d609 (diff) | |
| download | aur-6c0251caf051e4de62b23bbef30262d5c6f3877e.tar.gz | |
v7.7.25-1
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 21 |
2 files changed, 8 insertions, 19 deletions
@@ -1,6 +1,6 @@ pkgbase = swi-prolog-devel pkgdesc = Prolog environment (development version) - pkgver = 7.7.21 + pkgver = 7.7.25 pkgrel = 1 url = http://www.swi-prolog.org/ arch = x86_64 @@ -25,8 +25,8 @@ pkgbase = swi-prolog-devel optdepends = java-environment: for interfacing java with the jpl package provides = swi-prolog conflicts = swi-prolog - source = http://swi-prolog.org/download/devel/src/swipl-7.7.21.tar.gz - sha256sums = f4795d3e6abe9289729169a9d74a006e55df95a2e118b7a1701bb7bd92c864f4 + source = http://swi-prolog.org/download/devel/src/swipl-7.7.25.tar.gz + sha256sums = 33f3770934ca5ec3d1078543afa8e093e9036aa1c45f19e014ee23d011b8f779 pkgname = swi-prolog-devel @@ -7,7 +7,7 @@ # Contributor: Juergen Hoetzel <juergen@archlinux.org> pkgname=swi-prolog-devel -pkgver=7.7.21 +pkgver=7.7.25 pkgrel=1 pkgdesc='Prolog environment (development version)' arch=('x86_64' 'i686') @@ -24,28 +24,17 @@ optdepends=('unixodbc: for using the odbc4pl 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=('f4795d3e6abe9289729169a9d74a006e55df95a2e118b7a1701bb7bd92c864f4') +sha256sums=('33f3770934ca5ec3d1078543afa8e093e9036aa1c45f19e014ee23d011b8f779') conflicts=('swi-prolog') provides=('swi-prolog') build() { cd "swipl-$pkgver" - ./configure --prefix=/usr --with-world - cd src - ./configure --enable-shared --prefix=/usr - - make -C .. -} - -check() { - make -C "swipl-$pkgver" check || true + mkdir build + cd build && cmake -DCMAKE_INSTALL_PREFIX=/usr .. && make } 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" + make -C "swipl-$pkgver/build" DESTDIR="$pkgdir" install } - |