PKGBUILD


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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

# Maintainer: 404DeadLink <msg on AUR>
pkgname=ocaml-cil-git
pkgver=r4768.673aa00b
pkgrel=1
pkgdesc="C Intermediate Language
CIL is a front-end for the C programming language that facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C.
"
arch=('x86_64')
url="https://goblint.github.io/cil/"
license=('GPL')
groups=()
depends=('ocaml' 'ocaml-zarith' 'ocaml-stdlib-shims' 'ocaml-ppx_deriving_yojson-git')
makedepends=('git' 'lib32-glibc' 'dune' 'perl' 'cppo')
provides=("${pkgname%-git}")
conflicts=("${pkgname%-git}")
replaces=()
backup=()
options=(!strip)
install=
source=("${pkgname%-git}::git+https://github.com/goblint/cil")
noextract=()
md5sums=('SKIP')

pkgver() {
	cd "$srcdir/${pkgname%-git}"

	# Git, no tags available
	printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}


build() {
	cd "$srcdir/${pkgname%-git}"
	dune build @install
}

check() {
	cd "$srcdir/${pkgname%-git}"
	dune runtest
}

package() {
	cd "$srcdir/${pkgname%-git}"
	
	DESTDIR="${pkgdir}" dune install --prefix=/usr --libdir="/usr/lib/ocaml"

	# Dune installs documentation in /usr/doc, fix that.
	install -dm755 "${pkgdir}/usr/share/"
	mv "${pkgdir}/usr/doc" "${pkgdir}/usr/share/"
}