Initial commit

2 files changed, 68 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..83acc527410b
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,22 @@
+pkgbase = lean2-git
+	pkgdesc = Lean Theorem Prover 2
+	pkgver = 0.2.0.r8682.eedbd197d
+	pkgrel = 1
+	url = http://leanprover.github.io/
+	arch = x86_64
+	arch = i386
+	license = Apache
+	makedepends = git
+	makedepends = cmake
+	makedepends = python
+	makedepends = gperftools
+	depends = gmp
+	depends = mpfr
+	depends = lua>=5.2
+	optdepends = emacs: emacs mode
+	conflicts = lean-bin
+	source = lean2-git::git+https://github.com/leanprover/lean2.git
+	md5sums = SKIP
+
+pkgname = lean2-git
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..2d7dad971134
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,46 @@
+# Maintainer: Sayantan Khan <bolt.khan at gmail dot com>
+
+pkgname=lean2-git
+_pkgver=0.2.0
+pkgver=0.2.0.r8682.eedbd197d
+pkgrel=1
+pkgdesc='Lean Theorem Prover 2'
+arch=('x86_64' 'i386')
+url="http://leanprover.github.io/"
+license=('Apache')
+depends=('gmp' 'mpfr' 'lua>=5.2')
+makedepends=('git' 'cmake' 'python' 'gperftools')
+optdepends=('emacs: emacs mode')
+conflicts=('lean-bin')
+source=("$pkgname::git+https://github.com/leanprover/lean2.git")
+md5sums=(SKIP)
+
+pkgver() {
+  cd "$srcdir/$pkgname"
+  printf "${_pkgver}.r%s.%s" "$(git rev-list --count HEAD)" "$(git describe --always)"
+}
+
+prepare() {
+  git clone https://github.com/leanprover/emacs-dependencies "$pkgname"/src/emacs/dependencies
+  cd "$pkgname"/src/emacs # The following lines are to disable Flycheck, which seems to have some issues.
+  sed -e '/Flycheck\ init/,+4d' lean-mode.el > lean-mode.el.new
+  mv lean-mode.el lean-mode.el.old
+  mv lean-mode.el.new lean-mode.el
+}
+
+build() {
+  cd "$pkgname"
+  cmake -G 'Unix Makefiles' -DCMAKE_BUILD_TYPE=Release \
+    -DCMAKE_INSTALL_PREFIX=/usr src/ \
+    -DTCMALLOC=OFF # temporary workaround for a tcmalloc bug
+  make
+}
+
+package() {
+  cd "$pkgname"
+  make DESTDIR="$pkgdir" install
+  "$pkgdir"/usr/bin/linja
+  install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
+}
+
+# vim: set et ts=2 sw=2: