blob: f7f43ec7b96baa7f96148c983dbdb9a59a607840 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
# Maintainer: Nichlas Severinzen <ns@nsz.no>
pkgname=xr0
pkgver=0.15.1
pkgrel=1
pkgdesc="A verifier for C that aims to guarantee the safety of C programs at compile time"
arch=("any")
url="https://github.com/xr0-org/xr0"
license=("Apache-2.0")
makedepends=("gcc" "git" "make")
provides=("xr0")
source=("https://github.com/xr0-org/xr0/archive/refs/tags/v${pkgver}.zip")
sha256sums=("SKIP")
build() {
cd "${srcdir}/xr0-${pkgver}"
make
}
package() {
cd "${srcdir}/xr0-${pkgver}"
install -Dm755 bin/0v "${pkgdir}/usr/bin/0v"
}
|