[arch-commits] Commit in clingo/trunk (PKGBUILD)

[Alexander Rødseth]

    Date: Friday, July 7, 2017 @ 16:19:26
  Author: arodseth
Revision: 242868

upgpkg: clingo 5.2.0-3

Modified:
  clingo/trunk/PKGBUILD

----------+
 PKGBUILD |   12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-07-07 16:19:16 UTC (rev 242867)
+++ PKGBUILD	2017-07-07 16:19:26 UTC (rev 242868)
@@ -4,15 +4,15 @@
 
 pkgname=clingo
 pkgver=5.2.0
-pkgrel=2
+pkgrel=3
 pkgdesc='Grounding tools for (disjunctive) logic programs'
-arch=('x86_64' 'i686')
+arch=('x86_64')
 url='https://potassco.org/'
 license=('GPL3')
 depends=('python' 'lua')
-makedepends=('bison' 're2c' 'cmake' 'ninja' 'python' 'lua')
-conflicts=('clasp')
-provides=('clasp')
+makedepends=('bison' 're2c' 'cmake' 'ninja' 'python' 'lua' 'clang')
+conflicts=('clasp' 'gringo')
+provides=('clasp' 'gringo')
 source=("https://github.com/potassco/$pkgname/archive/v$pkgver.tar.gz")
 sha256sums=('57d8979b0972a091e1921309ca9ba9c18dd0cf83afcfb1586a8c0bff54ed8b9b')
 
@@ -19,6 +19,7 @@
 build() {
   mkdir -p build
   cd build
+
   cmake "../$pkgname-$pkgver" \
     -DCMAKE_INSTALL_PREFIX=/usr \
     -DCLINGO_REQUIRE_PYTHON=ON \
@@ -26,6 +27,7 @@
     -DPYCLINGO_USER_INSTALL=OFF \
     -DCLINGO_REQUIRE_LUA=ON \
     -DCLINGO_BUILD_LUA_SHARED=ON \
+    -DCMAKE_CXX_COMPILER=clang++ \
     -G Ninja
   ninja
 }