1 files changed, 37 insertions, 0 deletions
diff --git a/community-staging/coq/PKGBUILD b/community-staging/coq/PKGBUILD
new file mode 100644
index 000000000..15223d9d4
--- /dev/null
+++ b/community-staging/coq/PKGBUILD
@@ -0,0 +1,37 @@
+# Maintainer: Thomas Dziedzic < gostrc at gmail >
+# Contributor: George Giorgidze <giorgidze@gmail.com>
+
+pkgname=coq
+pkgver=8.3pl3
+pkgrel=2
+pkgdesc='Formal proof management system.'
+arch=('i686' 'x86_64')
+url='http://coq.inria.fr/'
+license=('GPL')
+options=('!emptydirs')
+depends=('gtk2' 'lablgtk2' 'ocaml')
+makedepends=('camlp5-transitional' 'netpbm' 'hevea')
+source=("http://coq.inria.fr/distrib/V${pkgver}/files/coq-${pkgver}.tar.gz")
+md5sums=('37e9a52110a025128667c03fed75f9c2')
+
+build() {
+  cd coq-${pkgver}
+
+  ./configure \
+    -prefix '/usr' \
+    -mandir '/usr/share/man' \
+    -opt \
+    -with-doc yes
+
+  make world
+
+  make doc-html
+}
+
+package() {
+  cd coq-${pkgver}
+
+  make COQINSTALLPREFIX=${pkgdir} install
+
+  make COQINSTALLPREFIX=${pkgdir} install-doc-html
+}