Update to commit 08491de0 for coq 8.11.1 support.

lang/compcert/Makefile

@@ -1,13 +1,14 @@
-# $OpenBSD: Makefile,v 1.18 2020/04/06 17:27:00 daniel Exp $
+# $OpenBSD: Makefile,v 1.19 2020/06/02 12:58:22 daniel Exp $
 
 ONLY_FOR_ARCHS =	amd64 i386
 
 COMMENT =		high assurance C compiler
 
-V =			3.7
+V =			3.7.20200601
 GH_ACCOUNT =		AbsInt
 GH_PROJECT =		CompCert
-GH_TAGNAME =		v${V}
+#GH_TAGNAME =		v${V}
+GH_COMMIT =		08491de0566dbd8cfe7a9cd4ca129a5a05caf196
 DISTNAME =		${GH_PROJECT}-${V}
 PKGNAME =		${DISTNAME:L}
 

lang/compcert/distinfo

@@ -1,2 +1,2 @@
-SHA256 (CompCert-3.7.tar.gz) = zu4bLtbCV2y2breg8madz4XmXA/Gg4XweBsMpO24frA=
-SIZE (CompCert-3.7.tar.gz) = 2719086
+SHA256 (CompCert-3.7.20200601-08491de0.tar.gz) = y0Ml8zD1ltXMXqO4h2JWUgWdiYDsIJ1cAqqmf13hKqA=
+SIZE (CompCert-3.7.20200601-08491de0.tar.gz) = 2726159

lang/compcert/patches/patch-Makefile

@@ -1,11 +1,11 @@
-$OpenBSD: patch-Makefile,v 1.5 2019/08/18 01:15:12 daniel Exp $
+$OpenBSD: patch-Makefile,v 1.6 2020/06/02 12:58:22 daniel Exp $
 
 Convenience test target
 
 Index: Makefile
 --- Makefile.orig
 +++ Makefile
-@@ -173,7 +173,7 @@ runtime:
+@@ -181,7 +181,7 @@ runtime:
  
  FORCE:
  
@@ -14,8 +14,8 @@ Index: Makefile
  
  documentation: $(FILES)
  	mkdir -p doc/html
-@@ -255,6 +255,10 @@ ifeq ($(INSTALL_COQDEV),true)
- 	install -m 0644 ./VERSION $(DESTDIR)$(COQDEVDIR)
+@@ -277,6 +277,10 @@ ifeq ($(INSTALL_COQDEV),true)
+ 	install -m 0644 ./compcert.config $(DESTDIR)$(COQDEVDIR)
  	@(echo "To use, pass the following to coq_makefile or add the following to _CoqProject:"; echo "-R $(COQDEVDIR) compcert") > $(DESTDIR)$(COQDEVDIR)/README
  endif
 +