# Maintainer: Ebrahim Azarisooreh # Contributor: Nikolaos Bezirgiannis # Contributor: Alexander Rødseth # Contributor: Jachym Barvinek # Contributor: Thomas Dziedzic < gostrc at gmail > # Contributor: John Proctor # Contributor: Juergen Hoetzel pkgname=swi-prolog-devel pkgver=9.3.3 pkgrel=1 pkgdesc='Prolog environment (development version)' arch=('x86_64' 'i686') url='https://www.swi-prolog.org/' license=(GPL LGPL) depends=('gmp' 'readline' 'openssl' 'libarchive' 'libyaml') makedepends=(cmake jdk-openjdk junit libjpeg libxft libxinerama libxpm ninja unixodbc) 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' 'jdk-openjdk: for using Prolog from Java' 'java-runtime: for using Prolog from Java') source=("https://www.swi-prolog.org/download/devel/src/swipl-$pkgver.tar.gz") sha256sums=('db8453356811edbb4c2130d52617d327a4b4e322e2941dd4d52b5751d03e3946') provides=('swi-prolog') conflicts=('swi-prolog') build() { mkdir -p build cd build cmake ../swipl-$pkgver \ -DCMAKE_BUILD_TYPE=PGO \ -DCMAKE_INSTALL_PREFIX=/usr \ -DCMAKE_C_FLAGS="$CFLAGS -fPIC -ffile-prefix-map=$PWD= -w" \ -DLIBEDIT_LIBRARIES=/usr/lib/libedit.so.0 \ -DLIBEDIT_INCLUDE_DIR=/usr/include \ -DUSE_TCMALLOC=OFF \ -G Ninja #../swipl-$pkgver/scripts/pgo-compile.sh ninja } check() { cd build # the prolog_in_java test fails ctest -j 8 || true } package() { DESTDIR="$pkgdir" ninja -C build install } # getver: www.swi-prolog.org/download/devel # vim: ts=2 sw=2 et: