From a69760e180448c31998369902b8524f476548f76 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 15 Sep 2023 15:47:47 +0200
Subject: [PATCH] coq: update to 8.19.0.

---
 srcpkgs/coq/template | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 78d6caa780d..9ceb3b7d20d 100644
--- a/srcpkgs/coq/template
+++ b/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
+}