coq: update to 8.19.0.

srcpkgs/coq/template

@@ -1,33 +1,35 @@
 # Template file for 'coq'
 pkgname=coq
-version=8.18.0
+version=8.19.0
 revision=1
-hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
+hostmakedepends="dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
 depends="ocaml-findlib"
+checkdepends="python3 rsync time"
 short_desc="Proof assistant written in OCaml"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="LGPL-2.1-only"
 homepage="https://coq.inria.fr"
 distfiles="https://github.com/coq/coq/archive/V${version}.tar.gz"
-checksum=00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b
+checksum=17e5c10fadcd3cda7509d822099a892fcd003485272b56a45abd30390f6a426f
 nopie=yes
 nocross=yes
+make_check=ci-skip  # takes long and has some faults
 
 case "$XBPS_TARGET_MACHINE" in
 	ppc64*) ;;
 	ppc*) broken="R_PPC_REL24 relocation out of range";;
 esac
 
-post_patch() {
-	vsed -i -e 's/which/command -v/g' dev/tools/make_git_revision.sh
-}
-
 do_build() {
 	make dunestrap
-	dune build --display=short -p coq-core,coq-stdlib
+	dune build --display=short -p coq-core,coq-stdlib,coqide-server
 }
 
 do_install() {
 	dune install coq-core coq-stdlib --prefix=/usr --destdir="$DESTDIR" \
 		--mandir=/usr/share/man --docdir=/usr/share/doc
 }
+
+do_check() {
+	make -C test-suite UNIT_TESTS= || make -C test-suite report PRINT_LOGS=1
+}