From 0ee43e2bf9e5a8826d483f89827d04f65b93fb24 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Sat, 24 Feb 2024 01:21:05 +0100
Subject: [PATCH] coq: fix build with bytecode.

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

diff --git a/srcpkgs/coq/template b/srcpkgs/coq/template
index 9ceb3b7d20d..0af19896f01 100644
--- a/srcpkgs/coq/template
+++ b/srcpkgs/coq/template
@@ -20,6 +20,13 @@ case "$XBPS_TARGET_MACHINE" in
 	ppc*) broken="R_PPC_REL24 relocation out of range";;
 esac
 
+do_patch() {
+	if ! command -v ocamlc.opt >/dev/null; then
+		# see coq/coq#18609
+		vsed -i -e 's/dep ^ ".cmxs"/dep ^ ".cma"/' tools/dune_rule_gen/coq_rules.ml
+	fi
+}
+
 do_build() {
 	make dunestrap
 	dune build --display=short -p coq-core,coq-stdlib,coqide-server