diff options
| author | Parabola <dev@list.parabolagnulinux.org> | 2012-05-04 20:00:41 +0000 |
|---|---|---|
| committer | Parabola <dev@list.parabolagnulinux.org> | 2012-05-04 20:00:41 +0000 |
| commit | b2c353d874b85e06f355a9419852e2616613c7d0 (patch) | |
| tree | f0773e0a930d308198ef5036d4f74e7f53015e6e /community/coq/PKGBUILD | |
| parent | 0a24fb835cac4007388213ad0afb15257b035b14 (diff) | |
Fri May 4 20:00:31 UTC 2012
Diffstat (limited to 'community/coq/PKGBUILD')
| -rw-r--r-- | community/coq/PKGBUILD | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD deleted file mode 100644 index 31077d16d..000000000 --- a/community/coq/PKGBUILD +++ /dev/null @@ -1,37 +0,0 @@ -# Maintainer: Thomas Dziedzic < gostrc at gmail > -# Contributor: George Giorgidze <giorgidze@gmail.com> - -pkgname=coq -pkgver=8.3pl4 -pkgrel=1 -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=('88e2ce021b09eca207e3119d5202a695') - -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 -} |