diff options
| author | Xuanrui Qi | 2021-10-05 10:29:45 +0900 |
|---|---|---|
| committer | Xuanrui Qi | 2021-10-05 10:29:45 +0900 |
| commit | 3b8d7eb129301f1818623ae92f3fcaa604ceb969 (patch) | |
| tree | 4630800765cced34ec83b11c2bdcbe714dadf99b | |
| parent | 2fe30f48a5cc0d9c96d0d69ece1215c792c3ed35 (diff) | |
| download | aur-3b8d7eb129301f1818623ae92f3fcaa604ceb969.tar.gz | |
Ver 20210419
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 15 |
2 files changed, 15 insertions, 17 deletions
@@ -1,22 +1,19 @@ pkgbase = ocaml-menhir-compcert pkgdesc = Latest version of Menhir that can build the latest CompCert release. - pkgver = 20200211 + pkgver = 20210419 pkgrel = 1 url = http://cristal.inria.fr/~fpottier/menhir/ arch = i686 arch = x86_64 license = GPL - license = QPL - makedepends = ocamlbuild - makedepends = ocaml-findlib - makedepends = dune - depends = ocaml>=4.02 - provides = ocaml-menhir=20200211 + license = custom:QPL + makedepends = dune>=2.0 + depends = ocaml>=4.02.3 + provides = ocaml-menhir=20210419 conflicts = ocaml-menhir options = !strip options = !makeflags - source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20200211/menhir-20200211.tar.gz - sha256sums = 00f677401a92d91568a4faffb4977ab71a32a265de59e35419ad5b705d4a532d + source = https://gitlab.inria.fr/fpottier/menhir/-/archive/20210419/menhir-20210419.tar.gz + sha256sums = 6b75a92276f1cdc8f1ea5030adad344a10bfce9077de274f621f5ef2c3428920 pkgname = ocaml-menhir-compcert - @@ -8,28 +8,29 @@ pkgname=ocaml-menhir-compcert _basepkgname=${pkgname%-*} -pkgver=20200211 +pkgver=20210419 pkgrel=1 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' 'dune') +license=('GPL' 'custom:QPL') +depends=('ocaml>=4.02.3') +makedepends=('dune>=2.0') provides=($_basepkgname=$pkgver) conflicts=($_basepkgname) options=(!strip !makeflags) source=("https://gitlab.inria.fr/fpottier/menhir/-/archive/$pkgver/menhir-$pkgver.tar.gz") -sha256sums=('00f677401a92d91568a4faffb4977ab71a32a265de59e35419ad5b705d4a532d') +sha256sums=('6b75a92276f1cdc8f1ea5030adad344a10bfce9077de274f621f5ef2c3428920') build() { cd "$srcdir/${_basepkgname/ocaml-/}-$pkgver" - dune build } package() { cd "$srcdir/${_basepkgname/ocaml-/}-$pkgver" dune install --prefix "${pkgdir}/usr" \ - --libdir "${pkgdir}$(ocamlfind printconf destdir)" + --libdir "lib/ocaml" \ + --mandir "share/man" + install -Dm644 LICENSE $pkgdir/usr/share/licenses/$pkgname/LICENSE } |