From 719761e0c67a153888cebc14202ac7f8253cf7e0 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Wed, 20 Oct 2021 17:05:39 +0200
Subject: [PATCH] coq: update to 8.14.0.

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

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 503d994b5ff..88bbe0631db 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,14 +1,14 @@
 # Template file for 'coq'
 pkgname=coq
-version=8.13.2
-revision=3
-hostmakedepends="camlp5 ocaml ocaml-findlib ocaml-num ocaml-zarith"
+version=8.14.0
+revision=1
+hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
 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=1e7793d8483f1e939f62df6749f843df967a15d843a4a5acb024904b76e25a14
+checksum=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c
 nopie=yes
 nocross=yes
 
@@ -18,13 +18,16 @@ case "$XBPS_TARGET_MACHINE" in
 esac
 
 do_configure() {
-	./configure -prefix ${DESTDIR}/usr -coqide no
+	./configure -prefix /usr -coqide no
 }
 
 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() {
-	make install
+	dune install coq-core coq-stdlib --prefix=/usr --destdir="$DESTDIR" \
+		--mandir=/usr/share/man --docdir=/usr/share/doc
 }