New package: verifast-17.06
This commit is contained in:
parent
5e8d947ec7
commit
e05e38ac28
2 changed files with 30 additions and 0 deletions
1
srcpkgs/verifast-vfide
Symbolic link
1
srcpkgs/verifast-vfide
Symbolic link
|
@ -0,0 +1 @@
|
||||||
|
verifast
|
29
srcpkgs/verifast/template
Normal file
29
srcpkgs/verifast/template
Normal file
|
@ -0,0 +1,29 @@
|
||||||
|
# Template file for 'verifast'
|
||||||
|
pkgname=verifast
|
||||||
|
version=17.06
|
||||||
|
revision=1
|
||||||
|
build_style=gnu-makefile
|
||||||
|
make_build_args="-C src Z3V4DOT5=yes LD_LIBRARY_PATH=/usr/lib/ocaml/stublibs OCAMLCFLAGS=-unsafe-string build"
|
||||||
|
hostmakedepends="vala unzip ocaml ocaml-findlib m4 camlp4 pkg-config"
|
||||||
|
makedepends="ocaml-lablgtk2-gtksourceview2 ocaml-num z3-ocaml glib-devel gtksourceview2-devel"
|
||||||
|
short_desc="VeriFast code verifier in separation logic"
|
||||||
|
maintainer="Tai Chi Minh Ralph Eastwood <tcmreastwood@gmail.com>"
|
||||||
|
license="MIT"
|
||||||
|
homepage="https://github.com/verifast"
|
||||||
|
distfiles="https://github.com/verifast/${pkgname}/archive/v${version}.tar.gz"
|
||||||
|
checksum=2cadc3d39730b5422373ebc642009d3efb84373a8fc61b1d51877063a1e4191a
|
||||||
|
nocross="yes"
|
||||||
|
|
||||||
|
do_install() {
|
||||||
|
vbin bin/verifast
|
||||||
|
vbin bin/vfide
|
||||||
|
vlicense LICENSE.md
|
||||||
|
}
|
||||||
|
|
||||||
|
verifast-vfide_package() {
|
||||||
|
short_desc+=" - vfide"
|
||||||
|
depends="verifast>=${version}_${revision}"
|
||||||
|
pkg_install() {
|
||||||
|
vmove usr/bin/vfide
|
||||||
|
}
|
||||||
|
}
|
Loading…
Reference in a new issue