From 903ea394b7f79921d584251a2f805c4d66482d22 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 18 Feb 2022 15:55:01 +0100
Subject: [PATCH] coq: rebuild with new ocaml-zarith and dune, drop hack.

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

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 74c150edd1a..b7ddbfe70a3 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -1,7 +1,7 @@
 # Template file for 'coq'
 pkgname=coq
 version=8.15.0
-revision=1
+revision=2
 hostmakedepends="camlp5 dune ocaml ocaml-findlib ocaml-num ocaml-zarith"
 short_desc="Proof assistant written in OCaml"
 maintainer="Leah Neukirchen <leah@vuxu.org>"
@@ -17,13 +17,15 @@ case "$XBPS_TARGET_MACHINE" in
 	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_configure() {
 	./configure -prefix /usr -coqide no
 }
 
 do_build() {
-	# 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
 }