diff options
| author | Xuanrui Qi | 2019-07-10 23:16:19 -0700 |
|---|---|---|
| committer | Xuanrui Qi | 2019-07-10 23:16:19 -0700 |
| commit | 56932536a059f0d1e53a128c4861c958648de006 (patch) | |
| tree | e0d3e9369c5585707b7761bc9a081e897a9a46c7 | |
| parent | 284d2790299b5389a4d585429751784afb251762 (diff) | |
| download | aur-56932536a059f0d1e53a128c4861c958648de006.tar.gz | |
Fix dir name
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 11 |
2 files changed, 7 insertions, 6 deletions
@@ -1,7 +1,7 @@ pkgbase = ocaml-menhir-compcert pkgdesc = Latest version of Menhir that can build the latest CompCert release. pkgver = 20181113 - pkgrel = 1 + pkgrel = 2 url = http://cristal.inria.fr/~fpottier/menhir/ arch = i686 arch = x86_64 @@ -7,27 +7,28 @@ # Contributor: Nicolas Pouillard <nicolas.pouillard@gmail.com> pkgname=ocaml-menhir-compcert +_basepkgname=${pkgname%-*} pkgver=20181113 -pkgrel=1 +pkgrel=2 pkgdesc="Latest version of Menhir that can build the latest CompCert release." arch=("i686" "x86_64") url="http://cristal.inria.fr/~fpottier/menhir/" license=('GPL' 'QPL') depends=('ocaml>=4.02') makedepends=('ocamlbuild' 'ocaml-findlib') -provides=(ocaml-menhir=$pkgver) -conflicts=(ocaml-menhir) +provides=($_basepkgname=$pkgver) +conflicts=($_basepkgname) options=(!strip !makeflags) source=("https://gitlab.inria.fr/fpottier/menhir/-/archive/$pkgver/menhir-$pkgver.tar.gz") md5sums=('1c57e4b6a99603bd4169506e3d937950') build() { - cd "$srcdir/${pkgname/ocaml-/}-$pkgver" + cd "$srcdir/${_basepkgname/ocaml-/}-$pkgver" make PREFIX="/usr" all } package() { - cd "$srcdir/${pkgname/ocaml-/}-$pkgver" + cd "$srcdir/${_basepkgname/ocaml-/}-$pkgver" export OCAMLFIND_DESTDIR="$pkgdir$(ocamlfind printconf destdir)" install -dm 755 "$OCAMLFIND_DESTDIR" make PREFIX="$pkgdir/usr" install |