Remove optional dependency on ninja

2 files changed, 4 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index bc35cc3a301f..170764855fb1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,15 @@
 # Generated by mksrcinfo v8
-# Sun May  1 19:06:56 UTC 2016
+# Fri May 27 11:06:57 UTC 2016
 pkgbase = lean-bin
 	pkgdesc = Lean Theorem Prover
 	pkgver = 0.2.0.20160412023438
-	pkgrel = 2
+	pkgrel = 3
 	url = http://leanprover.github.io/
 	arch = x86_64
 	arch = i386
 	license = Apache
 	depends = lua>=5.2
 	optdepends = emacs: emacs mode
-	optdepends = ninja
 	conflicts = lean-git
 	source_x86_64 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160412023438.git4eee26eaee55b8e2cb6731c0499d520daf91d38c~15.10_amd64.deb
 	sha1sums_x86_64 = 8cdea07428cd632234894e99ba43c1e33174b385
diff --git a/PKGBUILD b/PKGBUILD
index 6e18a019a756..8b64a23996ca 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,13 +4,13 @@
 pkgname=lean-bin
 pkgver=0.2.0.20160412023438
 _gitcommit=4eee26eaee55b8e2cb6731c0499d520daf91d38c
-pkgrel=2
+pkgrel=3
 pkgdesc="Lean Theorem Prover"
 arch=('x86_64' 'i386')
 url="http://leanprover.github.io/"
 license=('Apache')
 depends=('lua>=5.2')
-optdepends=('emacs: emacs mode' 'ninja')
+optdepends=('emacs: emacs mode')
 conflicts=('lean-git')
 source_x86_64=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_${pkgver}.git${_gitcommit}~15.10_amd64.deb")
 source_i386=("https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_${pkgver}.git${_gitcommit}~15.10_i386.deb")