As discussed off-list, here's an update to lang/compcert.
Builds and tests ok on amd64, builds ok on i386 with test failures in
test/abi.
"sharedir" is now a configure option upstream, so I removed those parts
from patch-configure and added the share path to CONFIGURE_ARGS.
Index: Makefile
===
RCS file: /cvs/ports/lang/compcert/Makefile,v
retrieving revision 1.35
diff -u -p -r1.35 Makefile
--- Makefile 11 Mar 2022 19:28:54 - 1.35
+++ Makefile 6 Jan 2023 22:13:47 -
@@ -2,13 +2,12 @@ ONLY_FOR_ARCHS = aarch64 amd64 i386 powe
COMMENT = high assurance C compiler
-V = 3.10
+V = 3.12
GH_ACCOUNT = AbsInt
GH_PROJECT = CompCert
GH_TAGNAME = v${V}
DISTNAME = ${GH_PROJECT}-${V}
PKGNAME = ${DISTNAME:L}
-REVISION = 1
HOMEPAGE = https://compcert.org/
@@ -26,6 +25,7 @@ USE_GMAKE = Yes
CONFIGURE_STYLE = simple
CONFIGURE_ARGS = -mandir ${PREFIX}/man \
-libdir ${PREFIX}/lib \
+ -sharedir ${PREFIX}/share/compcert \
-toolprefix e \
-no-standard-headers \
${MACHINE_ARCH}-bsd
Index: distinfo
===
RCS file: /cvs/ports/lang/compcert/distinfo,v
retrieving revision 1.22
diff -u -p -r1.22 distinfo
--- distinfo 21 Nov 2021 02:10:17 - 1.22
+++ distinfo 6 Jan 2023 22:13:47 -
@@ -1,2 +1,2 @@
-SHA256 (CompCert-3.10.tar.gz) = ideImkHZ0pXulZ/53nrtGgp8gT93+ppmi+7avq3pGSc=
-SIZE (CompCert-3.10.tar.gz) = 2774118
+SHA256 (CompCert-3.12.tar.gz) = 69HR8oGZXth0c2sg8Xg2ESD+HfWd2pv0vkMfq4ZM99Q=
+SIZE (CompCert-3.12.tar.gz) = 2797848
Index: patches/patch-Makefile
===
RCS file: /cvs/ports/lang/compcert/patches/patch-Makefile,v
retrieving revision 1.11
diff -u -p -r1.11 patch-Makefile
--- patches/patch-Makefile 11 Mar 2022 19:28:54 - 1.11
+++ patches/patch-Makefile 6 Jan 2023 22:13:47 -
@@ -3,7 +3,7 @@ Convenience test target
Index: Makefile
--- Makefile.orig
+++ Makefile
-@@ -231,7 +231,7 @@ runtime:
+@@ -226,7 +226,7 @@ runtime:
FORCE:
@@ -12,7 +12,7 @@ Index: Makefile
documentation: $(FILES)
mkdir -p doc/html
-@@ -338,6 +338,10 @@ ifeq ($(INSTALL_COQDEV),true)
+@@ -333,6 +333,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
Index: patches/patch-configure
===
RCS file: /cvs/ports/lang/compcert/patches/patch-configure,v
retrieving revision 1.17
diff -u -p -r1.17 patch-configure
--- patches/patch-configure 11 Mar 2022 19:28:54 - 1.17
+++ patches/patch-configure 6 Jan 2023 22:13:47 -
@@ -1,18 +1,9 @@
-1) Fixup path locations for OpenBSD
-2) Add configuration support for macppc and aarch64 on OpenBSD
+Add configuration support for macppc and aarch64 on OpenBSD
Index: configure
--- configure.orig
+++ configure
-@@ -20,6 +20,7 @@ prefix='/usr/local'
- bindir='$(PREFIX)/bin'
- libdir='$(PREFIX)/lib/compcert'
- mandir='$(PREFIX)/share/man'
-+sharedir='$(PREFIX)/share/compcert'
- coqdevdir='$(PREFIX)/lib/compcert/coq'
- toolprefix=''
- target=''
-@@ -41,6 +42,7 @@ Supported targets:
+@@ -42,6 +42,7 @@ Supported targets:
ppc-eabi (PowerPC, EABI with GNU/Unix tools)
ppc-eabi-diab(PowerPC, EABI with Diab tools)
ppc-linux(PowerPC, Linux)
@@ -20,7 +11,7 @@ Index: configure
arm-eabi (ARM, EABI, little endian)
arm-linux(ARM, EABI, little endian)
arm-eabihf (ARM, EABI using hardware FP registers, little endian)
-@@ -59,6 +61,7 @@ Supported targets:
+@@ -60,6 +61,7 @@ Supported targets:
rv32-linux (RISC-V 32 bits, Linux)
rv64-linux (RISC-V 64 bits, Linux)
aarch64-linux(AArch64, i.e. ARMv8 in 64-bit mode, Linux)
@@ -28,33 +19,16 @@ Index: configure
aarch64-macos(AArch64, i.e. Apple silicon, MacOS)
manual (edit configuration file by hand)
-@@ -66,7 +69,7 @@ For x86 targets, the "x86_32-" prefix can also be writ
- For x86 targets, the "x86_64-" prefix can also be written "amd64-".
+@@ -68,7 +70,7 @@ For x86 targets, the "x86_64-" prefix can also be writ
For AArch64 targets, the "aarch64-" prefix can also be written "arm64-".
+ For RISC-V targets, the "rv32-" or "rv64-" prefix can also be written "riscv32-" or "riscv64-".
-For PowerPC targets, the "ppc-" prefix can be refined into:
+For PowerPC targets, the "ppc-" prefix can also be written "powerpc-" and can be refined into:
ppc64- PowerPC 64 bits
e5500- Freescale e5500 core (PowerPC 64 bit, EREF extensions)
-@@ -88,6 +91,7 @@ Options:
- -bindir Install binaries in
- -libdir Install libraries in
- -mandir Install
