cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

support coq 8.10.1

Browse Source
This commit is contained in:
daniel 2019-10-30 06:08:15 +00:00
parent ee1583e3d3
commit b7a017b3cd
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lang/compcert/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.14 2019/10/16 00:08:35 daniel Exp $
# $OpenBSD: Makefile,v 1.15 2019/10/30 06:08:15 daniel Exp $
ONLY_FOR_ARCHS = aarch64 amd64 i386 powerpc
@ -10,7 +10,7 @@ GH_PROJECT = CompCert
GH_TAGNAME = v${V}
DISTNAME = ${GH_PROJECT}-${V}
PKGNAME = ${DISTNAME:L}
REVISION = 0
REVISION = 1
HOMEPAGE = http://compcert.inria.fr/

6
lang/compcert/patches/patch-configure
View File

@ -1,4 +1,4 @@
$OpenBSD: patch-configure,v 1.9 2019/10/16 00:08:35 daniel Exp $
$OpenBSD: patch-configure,v 1.10 2019/10/30 06:08:15 daniel Exp $
1) Fixup path locations for OpenBSD
2) Backport e3f2f8 for coq 8.10.0 release
@ -79,7 +79,7 @@ Index: configure
coq_ver=$(${COQBIN}coqc -v 2>/dev/null | sed -n -e 's/The Coq Proof Assistant, version \([^ ]*\).*$/\1/p')
case "$coq_ver" in
- 8.7.0|8.7.1|8.7.2|8.8.0|8.8.1|8.8.2|8.9.0|8.9.1|8.10)
+ 8.7.0|8.7.1|8.7.2|8.8.0|8.8.1|8.8.2|8.9.0|8.9.1|8.10.0|8.10+beta?)
+ 8.7.0|8.7.1|8.7.2|8.8.0|8.8.1|8.8.2|8.9.0|8.9.1|8.10.0|8.10.1)
echo "version $coq_ver -- good!";;
?*)
echo "version $coq_ver -- UNSUPPORTED"
@ -87,7 +87,7 @@ Index: configure
echo "Warning: this version of Coq is unsupported, proceed at your own risks."
else
- echo "Error: CompCert requires one of the following Coq versions: 8.10, 8.9.1, 8.9.0, 8.8.2, 8.8.1, 8.8.0, 8.7.2, 8.7.1, 8.7.0"
+ echo "Error: CompCert requires one of the following Coq versions: 8.10.0, 8.9.1, 8.9.0, 8.8.2, 8.8.1, 8.8.0, 8.7.2, 8.7.1, 8.7.0"
+ echo "Error: CompCert requires one of the following Coq versions: 8.10.1, 8.10.0, 8.9.1, 8.9.0, 8.8.2, 8.8.1, 8.8.0, 8.7.2, 8.7.1, 8.7.0"
missingtools=true
fi;;
"")