Permalink
Browse files

update coq-nogui 8.4 -> 8.4.pl1

  • Loading branch information...
1 parent 4742c00 commit 1a3672e70a75391e8002b17b6464d2b6fea81b4f @eagletmt committed Dec 30, 2012
Showing with 7 additions and 6 deletions.
  1. +7 −6 coq-nogui/PKGBUILD
View
@@ -2,21 +2,22 @@
# Contributor: George Giorgidze <giorgidze@gmail.com>
pkgname=coq-nogui
-pkgver=8.4
-pkgrel=2
+pkgver=8.4.pl1
+_pkgver=8.4pl1
+pkgrel=1
pkgdesc='Formal proof management system, without CoqIDE'
arch=('i686' 'x86_64')
url='http://coq.inria.fr/'
license=('GPL')
options=('!emptydirs')
depends=('ocaml')
makedepends=('camlp5-transitional' 'hevea')
-source=("http://coq.inria.fr/distrib/V$pkgver/files/coq-$pkgver.tar.gz")
+source=("http://coq.inria.fr/distrib/V$_pkgver/files/coq-$_pkgver.tar.gz")
provides=("coq=$pkgver")
conflicts=('coq')
build() {
- cd coq-$pkgver
+ cd "coq-$_pkgver"
./configure \
-prefix /usr \
@@ -32,11 +33,11 @@ build() {
}
package() {
- cd coq-$pkgver
+ cd "coq-$_pkgver"
make COQINSTALLPREFIX="$pkgdir" install
make COQINSTALLPREFIX="$pkgdir" install-doc-html
}
-md5sums=('f28662cd687f66ed3c372ca3d35ea928')
+md5sums=('07e44e89fc99d6c414605dc96be37f12')

0 comments on commit 1a3672e

Please sign in to comment.