wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-04-16 06:07:00 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

verifast: removed, does not work with OCaml 4.10

Browse source
This commit is contained in:
Leah Neukirchen 2020-03-01 14:42:27 +01:00 • committed by Leah Neukirchen
parent 73cc5417d4
commit 168bc64637
1 changed files with 0 additions and 31 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
srcpkgs/verifast/template
View file

@ -1,31 +0,0 @@
# Template file for 'verifast'
pkgname=verifast
version=17.06
revision=2
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
broken="ocaml 4.08"
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
}
}