Initial nurv-bin version

.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

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.

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"
+}