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

update to tagged release of 3.8

Browse Source 
Adds coq 8.12.1 support along with the usual spate of improvements.
This commit is contained in:
daniel 2020-11-17 04:13:18 +00:00
parent 06ac160d22
commit 91ef93d6d1
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lang/compcert/Makefile
View File

@ -1,14 +1,13 @@
# $OpenBSD: Makefile,v 1.24 2020/11/15 03:02:19 daniel Exp $
# $OpenBSD: Makefile,v 1.25 2020/11/17 04:13:18 daniel Exp $
ONLY_FOR_ARCHS = aarch64 amd64 i386 powerpc
COMMENT = high assurance C compiler
V = 3.7.20201114
V = 3.8
GH_ACCOUNT = AbsInt
GH_PROJECT = CompCert
#GH_TAGNAME = v${V}
GH_COMMIT = 27beb944ff6ff18ea612c116e414eb40ce1320a6
GH_TAGNAME = v${V}
DISTNAME = ${GH_PROJECT}-${V}
PKGNAME = ${DISTNAME:L}

4
lang/compcert/distinfo
View File

@ -1,2 +1,2 @@
SHA256 (CompCert-3.7.20201114-27beb944.tar.gz) = Pvf14pt8FWJjOk7+g75W5M5KHJw8onqqkx8QMlf0MtY=
SIZE (CompCert-3.7.20201114-27beb944.tar.gz) = 2729786
SHA256 (CompCert-3.8.tar.gz) = c0171rc9S2qHWMS3EyAIIRF5rhhy1swHUfvvUKtcm0w=
SIZE (CompCert-3.8.tar.gz) = 2728654