Update to compcert-3.5

ok daniel@ (MAINTAINER)
2019-03-17 03:26:53 +00:00 · 2019-03-17 03:26:53 +00:00 · 155ab44de2
commit 155ab44de2
parent 6b419c1a13
3 changed files with 6 additions and 6 deletions
--- a/lang/compcert/Makefile
+++ b/lang/compcert/Makefile
@ -1,10 +1,10 @@
-# $OpenBSD: Makefile,v 1.4 2019/03/16 18:33:15 jca Exp $
+# $OpenBSD: Makefile,v 1.5 2019/03/17 03:26:53 bcallah Exp $

 ONLY_FOR_ARCHS =	amd64 i386

 COMMENT =		high assurance C compiler

-V=			3.4
+V=			3.5
 GH_ACCOUNT =		AbsInt
 GH_PROJECT =		CompCert
 GH_TAGNAME =		v${V}
--- a/lang/compcert/distinfo
+++ b/lang/compcert/distinfo
@ -1,2 +1,2 @@
-SHA256 (CompCert-3.4.tar.gz) = cJgTYxjqHbkNmAelj9J+kDBugCLLfW4zXKLBPzeH7Ik=
-SIZE (CompCert-3.4.tar.gz) = 2539927
+SHA256 (CompCert-3.5.tar.gz) = HqAfn+nc+2ZN7DsAdr2a4NVLudeSebU1GrEswyNptQk=
+SIZE (CompCert-3.5.tar.gz) = 2544946
--- a/lang/compcert/patches/patch-configure
+++ b/lang/compcert/patches/patch-configure
@ -1,4 +1,4 @@
-$OpenBSD: patch-configure,v 1.3 2018/10/27 01:16:42 daniel Exp $
+$OpenBSD: patch-configure,v 1.4 2019/03/17 03:26:54 bcallah Exp $

 Fixup path locations for OpenBSD.

@ -15,7 +15,7 @@ Index: configure
 coqdevdir='$(PREFIX)/lib/compcert/coq'
 toolprefix=''
 target=''
-@@ -642,14 +643,14 @@ esac
+@@ -643,14 +644,14 @@ esac
 #
 # Generate Makefile.config
 #