Date: Monday, June 5, 2017 @ 14:10:25 Author: arodseth Revision: 234202
upgpkg: clingo 5.2.0-1 Modified: clingo/trunk/PKGBUILD ----------+ PKGBUILD | 39 +++++++++++++++++---------------------- 1 file changed, 17 insertions(+), 22 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-06-05 14:09:56 UTC (rev 234201) +++ PKGBUILD 2017-06-05 14:10:25 UTC (rev 234202) @@ -3,38 +3,33 @@ # Contributor: Vincent Bernardoff <[email protected]> pkgname=clingo -pkgver=5.1.0 +pkgver=5.2.0 pkgrel=1 pkgdesc='Grounding tools for (disjunctive) logic programs' arch=('x86_64' 'i686') url='https://potassco.org/' license=('GPL3') -depends=('python2') -makedepends=('bison' 're2c' 'scons') +depends=('python' 'lua') +makedepends=('bison' 're2c' 'cmake' 'ninja' 'python' 'lua') source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz";) -sha256sums=('c1afa83142d727d18bdab68fd6d7e1341dcb25d2e9a1aea3abc672ecbae6c72a') +sha256sums=('57d8979b0972a091e1921309ca9ba9c18dd0cf83afcfb1586a8c0bff54ed8b9b') build() { - cd "$pkgname-$pkgver" - - scons --build-dir=release + mkdir -p build + cd build + cmake "../$pkgname-$pkgver" \ + -DCMAKE_INSTALL_PREFIX=/usr \ + -DCLINGO_REQUIRE_PYTHON=ON \ + -DCLINGO_BUILD_PY_SHARED=ON \ + -DPYCLINGO_USER_INSTALL=OFF \ + -DCLINGO_REQUIRE_LUA=ON \ + -DCLINGO_BUILD_LUA_SHARED=ON \ + -G Ninja + ninja } package() { - cd "$pkgname-$pkgver/build/release" - - install -D gringo ${pkgdir}/usr/bin/gringo - install -D clingo ${pkgdir}/usr/bin/clingo - install -D reify ${pkgdir}/usr/bin/reify - install -D lpconvert ${pkgdir}/usr/bin/lpconvert - - if [ -x "python/clingo.so" ]; then - install -D "python/clingo.so" ${pkgdir}/usr/lib/libclingo_python.so - fi - - if [ -x "lua/clingo.so" ]; then - install -D "lua/clingo.so" ${pkgdir}/usr/lib/libclingo_lua.so - fi + DESTDIR="$pkgdir" ninja -C build install } -# vim:set ts=2 sw=2 et: +# vim: ts=2 sw=2 et:
