diff options
Diffstat (limited to 'community/coq/PKGBUILD')
| -rw-r--r-- | community/coq/PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD index 2f2750606..15223d9d4 100644 --- a/community/coq/PKGBUILD +++ b/community/coq/PKGBUILD @@ -3,7 +3,7 @@ pkgname=coq pkgver=8.3pl3 -pkgrel=1 +pkgrel=2 pkgdesc='Formal proof management system.' arch=('i686' 'x86_64') url='http://coq.inria.fr/' @@ -11,11 +11,11 @@ license=('GPL') options=('!emptydirs') depends=('gtk2' 'lablgtk2' 'ocaml') makedepends=('camlp5-transitional' 'netpbm' 'hevea') -source=("http://coq.inria.fr/distrib/V${pkgver}/files/${pkgname}-${pkgver}.tar.gz") +source=("http://coq.inria.fr/distrib/V${pkgver}/files/coq-${pkgver}.tar.gz") md5sums=('37e9a52110a025128667c03fed75f9c2') build() { - cd ${pkgname}-${pkgver} + cd coq-${pkgver} ./configure \ -prefix '/usr' \ @@ -29,7 +29,7 @@ build() { } package() { - cd ${pkgname}-${pkgver} + cd coq-${pkgver} make COQINSTALLPREFIX=${pkgdir} install |