diff options
| author | Manuel Wiesinger | 2025-02-19 11:37:25 +0100 |
|---|---|---|
| committer | Manuel Wiesinger | 2025-02-19 11:37:25 +0100 |
| commit | 818b16afcaf979a96be72da854436a16d13e359f (patch) | |
| tree | 7b59d5786a581a148de58430a842f487965a41e5 | |
| parent | 9e276d83f7014ee82e74812023121a1c17c1559a (diff) | |
| download | aur-ocaml-unisim_archisec.tar.gz | |
0.0.9 -> 0.0.10, check()
- Tested in clean chroot
| -rw-r--r-- | .SRCINFO | 8 | ||||
| -rw-r--r-- | PKGBUILD | 37 |
2 files changed, 21 insertions, 24 deletions
@@ -1,7 +1,7 @@ pkgbase = ocaml-unisim_archisec pkgdesc = Disassembly metadata and DBA (Dynamic Bitvector Automata) semantics of several instruction set architectures - pkgver = 0.0.9 - pkgrel = 2 + pkgver = 0.0.10 + pkgrel = 1 url = https://binsec.github.io arch = x86_64 license = BSD-3-Clause @@ -9,7 +9,7 @@ pkgbase = ocaml-unisim_archisec depends = gcc-libs depends = glibc depends = ocaml - source = ocaml-unisim_archisec-0.0.9.tar.gz::https://github.com/binsec/unisim_archisec/archive/refs/tags/0.0.9.tar.gz - b2sums = a72ae085101b7861b55872b82f67a8e653aa0e6a118c23a9bc77c4986a75fb47a94705bef5f6330c1610a66ceb4a1b9065e9aee63693e3a825956895d91c8962 + source = ocaml-unisim_archisec-0.0.10.tar.gz::https://github.com/binsec/unisim_archisec/archive/refs/tags/0.0.10.tar.gz + b2sums = 0a3b4591ab25d3b6582778abe725735c5dbd85b1ea5771084c78ac096b33e39cc80a67698f4bd99dce116b573cfb0248e96d2ed30d17bca615c9f6010a1c9ff0 pkgname = ocaml-unisim_archisec @@ -1,9 +1,9 @@ # Maintainer: Manuel Wiesinger <m {you know what belongs here} mmap {and here} at> -_srcname=unisim_archisec -pkgname="ocaml-${_srcname}" -pkgver=0.0.9 -pkgrel=2 +_ocamlname=unisim_archisec +pkgname=ocaml-${_ocamlname} +pkgver=0.0.10 +pkgrel=1 pkgdesc="Disassembly metadata and DBA (Dynamic Bitvector Automata) semantics of several instruction set architectures" arch=('x86_64') url="https://binsec.github.io" @@ -11,26 +11,23 @@ license=('BSD-3-Clause') depends=('gcc-libs' 'glibc' 'ocaml') makedepends=('dune>=3.0') source=("$pkgname-$pkgver.tar.gz::https://github.com/binsec/unisim_archisec/archive/refs/tags/${pkgver}.tar.gz") -b2sums=('a72ae085101b7861b55872b82f67a8e653aa0e6a118c23a9bc77c4986a75fb47a94705bef5f6330c1610a66ceb4a1b9065e9aee63693e3a825956895d91c8962') - -# Check fails but that does not affect functionality. Reported to upstream -# https://github.com/binsec/unisim_archisec/ -# -# check() { -# cd "$srcdir/${_srcname}-${pkgver}" -# dune test -# } +b2sums=('0a3b4591ab25d3b6582778abe725735c5dbd85b1ea5771084c78ac096b33e39cc80a67698f4bd99dce116b573cfb0248e96d2ed30d17bca615c9f6010a1c9ff0') build() { - cd "$srcdir/${_srcname}-${pkgver}" - dune build @install + cd $srcdir/${_ocamlname}-${pkgver} + dune build -p $_ocamlname +} + +check() { + cd $srcdir/${_ocamlname}-${pkgver} + dune test } package() { - cd "$srcdir/${_srcname}-${pkgver}" - DESTDIR="${pkgdir}" dune install --prefix "/usr" --libdir "/usr/lib/ocaml" --docdir "/usr/share/doc" + cd $srcdir/${_ocamlname}-${pkgver} + DESTDIR=$pkgdir dune install --prefix "/usr" --libdir "/usr/lib/ocaml" --docdir "/usr/share/doc" - install -d "$pkgdir/usr/share/licenses/$pkgname/" - mv $pkgdir/usr/share/doc/$_srcname/LICENSE.md "$pkgdir/usr/share/licenses/$pkgname/" - mv $pkgdir/usr/share/doc/$_srcname $pkgdir/usr/share/doc/$pkgname + install -d $pkgdir/usr/share/licenses/$pkgname/ + mv $pkgdir/usr/share/doc/$_ocamlname/LICENSE.md $pkgdir/usr/share/licenses/$pkgname/ + mv $pkgdir/usr/share/doc/$_ocamlname $pkgdir/usr/share/doc/$pkgname } |