diff options
| author | Matěj Grabovský | 2018-09-18 00:08:18 +0200 |
|---|---|---|
| committer | Matěj Grabovský | 2018-09-18 00:08:18 +0200 |
| commit | 40448357cd74a70e4b061391194b3f79322f8827 (patch) | |
| tree | b26cf18f05b1277dc865b539008ee8a2bcfd045a | |
| parent | a0d36533f1e9fd48c613d14468c0f7c79ef3f36c (diff) | |
| download | aur-40448357cd74a70e4b061391194b3f79322f8827.tar.gz | |
Require build with gcc7 (thanks Edward W Ayers)
| -rw-r--r-- | .SRCINFO | 5 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 4 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Tue Nov 7 16:44:00 UTC 2017 +# Mon Sep 17 22:08:09 UTC 2018 pkgbase = lean-git pkgdesc = Lean Theorem Prover - pkgver = 3.3.0.r54.g393008586 + pkgver = 3.3.0.r668.gb13ac127f pkgrel = 1 url = http://leanprover.github.io/ arch = x86_64 @@ -12,6 +12,7 @@ pkgbase = lean-git makedepends = cmake makedepends = python makedepends = gperftools + makedepends = gcc7 depends = gmp depends = mpfr depends = lua>=5.2 @@ -1,15 +1,16 @@ # Maintainer: Matej Grabovsky <matej.grabovsky at gmail> +# Contributor: Edward W Ayers <ewa21 at cam.ac.uk> pkgname=lean-git _pkgver=3.3.0 -pkgver=3.3.0.r54.g393008586 +pkgver=3.3.0.r668.gb13ac127f pkgrel=1 pkgdesc='Lean Theorem Prover' arch=('x86_64' 'i386') url="http://leanprover.github.io/" license=('Apache') depends=('gmp' 'mpfr' 'lua>=5.2') -makedepends=('git' 'cmake' 'python' 'gperftools') +makedepends=('git' 'cmake' 'python' 'gperftools' 'gcc7') optdepends=('emacs: emacs mode') conflicts=('lean-bin') source=("$pkgname::git+https://github.com/leanprover/lean.git") @@ -24,6 +25,7 @@ build() { cd "$pkgname" cmake -G 'Unix Makefiles' -DCMAKE_BUILD_TYPE=Release \ -DCMAKE_INSTALL_PREFIX=/usr src/ \ + -DCMAKE_CXX_COMPILER=g++-7 \ -DTCMALLOC=OFF # temporary workaround for a tcmalloc bug make } |