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

verifast: rebuild for ocaml-4.07.0.

Browse source
This commit is contained in:
Leah Neukirchen 2018-07-16 14:57:06 +02:00 • committed by Leah Neukirchen
parent 5e4804bb44
commit 5cb5d749a2
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
srcpkgs/verifast/template
View file

@ -1,7 +1,7 @@
# Template file for 'verifast' # Template file for 'verifast'
pkgname=verifast pkgname=verifast
version=17.06 version=17.06
revision=1 revision=2
build_style=gnu-makefile build_style=gnu-makefile
make_build_args="-C src Z3V4DOT5=yes LD_LIBRARY_PATH=/usr/lib/ocaml/stublibs OCAMLCFLAGS=-unsafe-string build" 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" hostmakedepends="vala unzip ocaml ocaml-findlib m4 camlp4 pkg-config"
@ -12,7 +12,7 @@ license="MIT"
homepage="https://github.com/verifast" homepage="https://github.com/verifast"
distfiles="https://github.com/verifast/${pkgname}/archive/v${version}.tar.gz" distfiles="https://github.com/verifast/${pkgname}/archive/v${version}.tar.gz"
checksum=2cadc3d39730b5422373ebc642009d3efb84373a8fc61b1d51877063a1e4191a checksum=2cadc3d39730b5422373ebc642009d3efb84373a8fc61b1d51877063a1e4191a
nocross="yes" nocross=yes
do_install() { do_install() {
vbin bin/verifast vbin bin/verifast