Workaround for a tcmalloc bug

2 files changed, 7 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 56161a34abc9..acbbdf86c037 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Wed Mar 30 15:01:38 UTC 2016
+# Fri May 27 11:05:35 UTC 2016
 pkgbase = lean-git
 	pkgdesc = Lean Theorem Prover
-	pkgver = 0.2.0.r8512.226f8ba
-	pkgrel = 4
+	pkgver = 0.2.0.r8554.9fa30e3
+	pkgrel = 1
 	url = http://leanprover.github.io/
 	arch = x86_64
 	arch = i386
diff --git a/PKGBUILD b/PKGBUILD
index 0c0b624f4dc6..6d1dc97ac317 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,8 +2,8 @@
 
 pkgname=lean-git
 _pkgver=0.2.0
-pkgver=${_pkgver}.r8512.226f8ba
-pkgrel=4
+pkgver=${_pkgver}.r8554.9fa30e3
+pkgrel=1
 pkgdesc='Lean Theorem Prover'
 arch=('x86_64' 'i386')
 url="http://leanprover.github.io/"
@@ -23,7 +23,8 @@ pkgver() {
 build() {
   cd "$pkgname"
   cmake -G 'Unix Makefiles' -DCMAKE_BUILD_TYPE=Release \
-    -DCMAKE_INSTALL_PREFIX=/usr src/
+    -DCMAKE_INSTALL_PREFIX=/usr src/ \
+    -DTCMALLOC=OFF # temporary workaround for a tcmalloc bug
   make
 }