From 4d377a4ba92a2edd5271f153d9519a2cb89a62cb Mon Sep 17 00:00:00 2001
From: Alberto Bonizzi <aseoista@gmail.com>
Date: Fri, 6 Feb 2026 14:24:29 +0100
Subject: [PATCH] Initial nurv-bin version

---
 .SRCINFO | 18 ++++++++++++++++++
 LICENSE  | 12 ++++++++++++
 PKGBUILD | 25 +++++++++++++++++++++++++
 3 files changed, 55 insertions(+)
 create mode 100644 .SRCINFO
 create mode 100644 LICENSE
 create mode 100644 PKGBUILD

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..166a159a1d34
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,18 @@
+pkgbase = nurv-bin
+	pkgdesc = Assumption Based Runtime Verificaton tool built on nuXmv
+	pkgver = 2.0.0
+	pkgrel = 1
+	url = https://es-static.fbk.eu/tools/nurv/
+	arch = x86_64
+	license = LicenseRef-NuRV-FBK-License
+	makedepends = patchelf
+	depends = gcc-libs
+	depends = glibc
+	depends = gmp
+	depends = libxml2
+	depends = util-linux-libs
+	provides = NuRV
+	source_x86_64 = https://es-static.fbk.eu/tools/nurv/releases/NuRV-2.0.0-linuxx64.tar.bz2
+	sha256sums_x86_64 = SKIP
+
+pkgname = nurv-bin
diff --git a/LICENSE b/LICENSE
new file mode 100644
index 000000000000..b87c5e4be442
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,12 @@
+Copyright Arch Linux Contributors
+
+Permission to use, copy, modify, and/or distribute this software for
+any purpose with or without fee is hereby granted.
+
+THE SOFTWARE IS PROVIDED “AS IS” AND THE AUTHOR DISCLAIMS ALL
+WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES
+OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE
+FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY
+DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN
+AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
+OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..ee6bb3d7954b
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,25 @@
+# Maintainer: Alberto Bonizzi <aseoista at gmail dot com>
+
+pkgname=nurv-bin
+pkgver=2.0.0
+pkgrel=1
+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')
+makedepends=('patchelf')
+
+source_x86_64=("https://es-static.fbk.eu/tools/nurv/releases/NuRV-${pkgver}-linuxx64.tar.bz2")
+
+sha256sums_x86_64=('SKIP')
+
+package() {
+  _output="${srcdir}/NuRV-${pkgver}-linuxx64"
+  install -Dm755 "${_output}/NuRV" "${pkgdir}/usr/bin/NuRV"
+  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"
+}