From 4abde328ef5e57c0bdabe348c5d8629d6a0d6eaa Mon Sep 17 00:00:00 2001
From: daniel <daniel@openbsd.org>
Date: Sun, 8 Jan 2023 20:34:48 +0000
Subject: [PATCH] minor tweaks for compcert

- editing compcert.ini is no longer needed
- bump up the minimum coq version that compcert 3.12 would work with

with Volker Schlecht
---
 lang/compcert/Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/lang/compcert/Makefile b/lang/compcert/Makefile
index 91dfeeeef61..7f56f08e24d 100644
--- a/lang/compcert/Makefile
+++ b/lang/compcert/Makefile
@@ -8,6 +8,7 @@ GH_PROJECT =		CompCert
 GH_TAGNAME =		v${V}
 DISTNAME =		${GH_PROJECT}-${V}
 PKGNAME =		${DISTNAME:L}
+REVISION =		0
 
 HOMEPAGE =		https://compcert.org/
 
@@ -31,7 +32,7 @@ CONFIGURE_ARGS  = -mandir ${PREFIX}/man \
 		  ${MACHINE_ARCH}-bsd
 
 BUILD_DEPENDS =	lang/ocaml>=4.05 \
-		math/coq>=8.8.0 \
+		math/coq>=8.12.0 \
 		sysutils/findlib \
 		devel/ocaml-menhir>=20190626
 
@@ -42,7 +43,5 @@ RUN_DEPENDS =	lang/gcc/${MODGCC4_VERSION}
 
 post-install:
 	${INSTALL_DATA} ${WRKSRC}/LICENSE ${PREFIX}/share/compcert
-	sed -i -e "s,^stdlib_path=.*,stdlib_path=${TRUEPREFIX}/lib," \
-		${PREFIX}/share/compcert/compcert.ini
 
 .include <bsd.port.mk>