summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorVincent Bernardoff2015-06-27 10:02:52 +0200
committerVincent Bernardoff2015-06-27 10:02:52 +0200
commitba9e576772bab433f8caf991fb8fbf73964c537d (patch)
tree8bfb836e8d3ec202a0314a1ed00f151083128986
parentd424fdad35819de9339a349dce1bf9b744a5568b (diff)
downloadaur-ba9e576772bab433f8caf991fb8fbf73964c537d.tar.gz
Use clang.
See https://github.com/ocaml/opam/issues/2203
-rw-r--r--.SRCINFO1
-rw-r--r--PKGBUILD4
2 files changed, 3 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index dc2d1cba95f4..00df7098de1c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -9,6 +9,7 @@ pkgbase = clasp
arch = armv7h
groups = potassco
license = GPL3
+ depends = clang
source = http://downloads.sourceforge.net/project/potassco/clasp/3.1.2/clasp-3.1.2-source.tar.gz
sha1sums = bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba
diff --git a/PKGBUILD b/PKGBUILD
index c072f2423926..689728bb2721 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -8,13 +8,13 @@ pkgdesc="A conflict-driven nogood learning answer set solver."
arch=('x86_64' 'i686' 'armv6h' 'armv7h')
url="http://potassco.sourceforge.net/"
license=('GPL3')
-depends=()
+depends=('clang')
source=("http://downloads.sourceforge.net/project/potassco/${pkgname}/${pkgver}/${pkgname}-${pkgver}-source.tar.gz")
sha1sums=(bcfbd98a842f3f70a2d0e49f382cc2392ddad7ba)
build() {
cd "${srcdir}/${pkgname}-${pkgver}"
- ./configure.sh --prefix='/usr'
+ ./configure.sh --prefix='/usr' CXX=clang++
cd build/release
make
}