diff options
author | Parabola <dev@list.parabolagnulinux.org> | 2012-02-05 17:25:05 +0000 |
---|---|---|
committer | Parabola <dev@list.parabolagnulinux.org> | 2012-02-05 17:25:05 +0000 |
commit | 359d940358dec836dd0acfe9d9caf0b1ff0a97fe (patch) | |
tree | eeed5f77c8417a98fe5b8538d3c019d1cea00c04 /community-staging/coq/PKGBUILD | |
parent | cdc66cc7110e78bf1197f9effc70422114f9341b (diff) |
Sun Feb 5 17:25:01 UTC 2012
Diffstat (limited to 'community-staging/coq/PKGBUILD')
-rw-r--r-- | community-staging/coq/PKGBUILD | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/community-staging/coq/PKGBUILD b/community-staging/coq/PKGBUILD deleted file mode 100644 index 15223d9d4..000000000 --- a/community-staging/coq/PKGBUILD +++ /dev/null @@ -1,37 +0,0 @@ -# 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 -} |