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

coq: update to 8.14.0.

Browse source
This commit is contained in:
Leah Neukirchen 2021-10-20 17:05:39 +02:00
parent 77eb13a904
commit 719761e0c6
1 changed files with 10 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
srcpkgs/coq/template
View file

@ -1,14 +1,14 @@
# Template file for 'coq' # Template file for 'coq'
pkgname=coq pkgname=coq
version=8.13.2 version=8.14.0
revision=3 revision=1
hostmakedepends="camlp5 ocaml ocaml-findlib ocaml-num ocaml-zarith" hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
short_desc="Proof assistant written in OCaml" short_desc="Proof assistant written in OCaml"
maintainer="Leah Neukirchen <leah@vuxu.org>" maintainer="Leah Neukirchen <leah@vuxu.org>"
license="LGPL-2.1-only" license="LGPL-2.1-only"
homepage="https://coq.inria.fr" homepage="https://coq.inria.fr"
distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz" distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
checksum=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14 checksum=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c
nopie=yes nopie=yes
nocross=yes nocross=yes
@ -18,13 +18,16 @@ case "$XBPS_TARGET_MACHINE" in
esac esac
do_configure() { do_configure() {
./configure -prefix ${DESTDIR}/usr -coqide no ./configure -prefix /usr -coqide no
} }
do_build() { do_build() {
make # can't find dllzarith.so else; also disable fatal deprecations
export OCAMLPARAM='I=/usr/lib/ocaml/zarith,_,w=-D'
dune build --display=short -p coq-core,coq-stdlib
} }
do_install() { do_install() {
make install dune install coq-core coq-stdlib --prefix=/usr --destdir="$DESTDIR" \
--mandir=/usr/share/man --docdir=/usr/share/doc
} }