diff options
| author | root <root@rshg054.dnsready.net> | 2012-02-06 23:14:50 +0000 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2012-02-06 23:14:50 +0000 |
| commit | 1fa6edfba8d1e31ca1c0d59e8202cd3c62ccf393 (patch) | |
| tree | 8d7ccc2dc9d08a4c3cde26aa01c887e9a0fc2fa1 /community/coq/PKGBUILD | |
| parent | bdb5b3e66f6afa586ea147f69af5e4ba388f7615 (diff) | |
Mon Feb 6 23:14:50 UTC 2012
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 |