diff options
| author | root <root@rshg054.dnsready.net> | 2012-03-21 00:01:20 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2012-03-21 00:01:20 +0000 |
| commit | a3108a9a809c496e1f6a0e9caf0acebac3889bfb (patch) | |
| tree | df7be9bed47b2d4a4f0ae33d40a406a775a5d1e7 /community/coq/PKGBUILD | |
| parent | 99136e3a2e9f6f07a7ff08d5721bce354b853c8b (diff) | |
Wed Mar 21 00:01:20 UTC 2012
Diffstat (limited to 'community/coq/PKGBUILD')
| -rw-r--r-- | community/coq/PKGBUILD | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD index 15223d9d4..1054b6853 100644 --- a/community/coq/PKGBUILD +++ b/community/coq/PKGBUILD @@ -3,7 +3,7 @@ pkgname=coq pkgver=8.3pl3 -pkgrel=2 +pkgrel=3 pkgdesc='Formal proof management system.' arch=('i686' 'x86_64') url='http://coq.inria.fr/' @@ -11,12 +11,18 @@ 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') +source=("http://coq.inria.fr/distrib/V${pkgver}/files/coq-${pkgver}.tar.gz" + 'camlp5-latest-fix.diff') +md5sums=('37e9a52110a025128667c03fed75f9c2' + '76c55f67f86a3f4b782bbba02ba8893f') build() { cd coq-${pkgver} + # fix compilation bug, remove next bump + # https://coq.inria.fr/bugs/show_bug.cgi?id=2728 + patch -Np0 -i ${srcdir}/camlp5-latest-fix.diff + ./configure \ -prefix '/usr' \ -mandir '/usr/share/man' \ |