Tue Apr 5 14:26:38 UTC 2011

1 files changed, 37 insertions, 0 deletions

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