mirror/aur
1
0
Fork 0
mirror of https://github.com/archlinux/aur.git synced 2026-02-06 20:12:25 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Change links to libxml2-legacy

Browse source
This commit is contained in:
Alberto Bonizzi 2026-02-06 14:34:56 +01:00
parent 4d377a4ba9
commit 21e22aeaf9
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.SRCINFO
View file

@ -1,7 +1,7 @@
pkgbase = nurv-bin
pkgdesc = Assumption Based Runtime Verificaton tool built on nuXmv
pkgver = 2.0.0
pkgrel = 1
pkgrel = 2
url = https://es-static.fbk.eu/tools/nurv/
arch = x86_64
license = LicenseRef-NuRV-FBK-License
@ -9,7 +9,7 @@ pkgbase = nurv-bin
depends = gcc-libs
depends = glibc
depends = gmp
depends = libxml2
depends = libxml2-legacy
depends = util-linux-libs
provides = NuRV
source_x86_64 = https://es-static.fbk.eu/tools/nurv/releases/NuRV-2.0.0-linuxx64.tar.bz2

6
PKGBUILD
View file

@ -2,13 +2,13 @@
pkgname=nurv-bin
pkgver=2.0.0
pkgrel=1
pkgrel=2
pkgdesc="Assumption Based Runtime Verificaton tool built on nuXmv"
arch=('x86_64')
url="https://es-static.fbk.eu/tools/nurv/"
license=('LicenseRef-NuRV-FBK-License')
provides=('NuRV')
depends=('gcc-libs' 'glibc' 'gmp' 'libxml2' 'util-linux-libs')
depends=('gcc-libs' 'glibc' 'gmp' 'libxml2-legacy' 'util-linux-libs')
makedepends=('patchelf')
source_x86_64=("https://es-static.fbk.eu/tools/nurv/releases/NuRV-${pkgver}-linuxx64.tar.bz2")
@ -21,5 +21,5 @@ package() {
install -Dm644 "${_output}/LICENSE.txt" -t "${pkgdir}/usr/share/licenses/${pkgname}/"
install -Dm644 "${_output}/LICENSE_FOR_EVALUATION.txt" -t "${pkgdir}/usr/share/licenses/${pkgname}/"
patchelf --replace-needed libxml2.so.2 libxml2.so "${pkgdir}/usr/bin/NuRV"
patchelf --replace-needed libxml2.so.2 libxml2.so.2.13.9 "${pkgdir}/usr/bin/NuRV"
}