diff options
author | Vincent Bernardoff | 2015-06-27 10:02:52 +0200 |
---|---|---|
committer | Vincent Bernardoff | 2015-06-27 10:02:52 +0200 |
commit | ba9e576772bab433f8caf991fb8fbf73964c537d (patch) | |
tree | 8bfb836e8d3ec202a0314a1ed00f151083128986 | |
parent | d424fdad35819de9339a349dce1bf9b744a5568b (diff) | |
download | aur-ba9e576772bab433f8caf991fb8fbf73964c537d.tar.gz |
Use clang.
See https://github.com/ocaml/opam/issues/2203
-rw-r--r-- | .SRCINFO | 1 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 2 deletions
@@ -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 @@ -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 } |