On Mon, May 25 2020, Daniel Dickman <[email protected]> wrote:
>> On May 25, 2020, at 5:11 AM, Christopher Zimmermann <[email protected]>
>> wrote:
>>
>> testing needed
>> Reply-To:
>> In-Reply-To: <[email protected]>
>>
>>> On Sun, May 24, 2020 at 05:23:25PM -0400, Daniel Dickman wrote:
>>> Jeremie reported a problem on sparc64. Is it addressed in the diff below?
>>>
>>> https://marc.info/?t=158196793400003&r=1&w=2
>>
>> No. I forgot about this. Chances are it got fixed with Coq 8.11.1, but I
>> don't have access to sparc64 hardware. Who could test on sparc64 ?
>
> I have a sparc64 box but it’s slow. I’ll get it started but someone with a
> faster box will definitely beat me to it.
Everything looks fine on sparc64, except the lang/compcert change:
ONLY_FOR_ARCHS should be set before ".include <bsd.arch.port.mk>", else it
is ignored. Actually, ".include <bsd.arch.port.mk>" isn't needed,
bsd.port.mk already includes that file, so please drop this line.
Christopher: there's a new camlp4 release upstream with support for
ocaml-4.10. Diff below tested on sparc64, if you want to pick it up.
Maybe you should drop MAINTAINER for this port?
ok jca@ for this ocaml update, with the compcert issue addressed, you
folks know better regarding the new coq release.
Index: Makefile
===================================================================
RCS file: /cvs/ports/lang/ocaml-camlp4/Makefile,v
retrieving revision 1.12
diff -u -p -r1.12 Makefile
--- Makefile 26 Sep 2019 09:46:11 -0000 1.12
+++ Makefile 27 May 2020 00:11:13 -0000
@@ -3,8 +3,7 @@
COMMENT = OCaml Preprocessor and Pretty-Printer
CATEGORIES = lang
-V = 4.08+1
-REVISION = 0
+V = 4.10+1
GH_ACCOUNT = ocaml
GH_PROJECT = camlp4
GH_TAGNAME = ${V}
Index: distinfo
===================================================================
RCS file: /cvs/ports/lang/ocaml-camlp4/distinfo,v
retrieving revision 1.6
diff -u -p -r1.6 distinfo
--- distinfo 18 Sep 2019 19:42:58 -0000 1.6
+++ distinfo 25 May 2020 23:37:14 -0000
@@ -1,2 +1,2 @@
-SHA256 (camlp4-4.08+1.tar.gz) = ZVzTvcr7+ENYd/YPS0fdLraf7vWv2IgSke8BuhK9nYg=
-SIZE (camlp4-4.08+1.tar.gz) = 649830
+SHA256 (camlp4-4.10+1.tar.gz) = nZsYgQ6DTuEeYnNqaAMTz5DBVR4iwITKK3DGgzju8p4=
+SIZE (camlp4-4.10+1.tar.gz) = 650092
Index: patches/patch-configure
===================================================================
RCS file: patches/patch-configure
diff -N patches/patch-configure
--- patches/patch-configure 26 Sep 2019 11:04:50 -0000 1.3
+++ /dev/null 1 Jan 1970 00:00:00 -0000
@@ -1,15 +0,0 @@
-$OpenBSD: patch-configure,v 1.3 2019/09/26 11:04:50 chrisz Exp $
-camlp4 4.08 seems to work with OCaml 4.09 just fine.
-
-Index: configure
---- configure.orig
-+++ configure
-@@ -39,7 +39,7 @@ if [ $major -lt 4 -o \( $major -eq 4 -a $minor -lt 2 \
- echo "The standalone Camlp4 requires OCaml >= 4.02."
- echo "For previous versions of OCaml use the Camlp4 distributed with
OCaml."
- exit 2
--elif [ $major -ne 4 -o $minor -ne 8 ]; then
-+elif [ $major -ne 4 -o $minor -ne 9 -a $minor -ne 8 ]; then
- echo "This version of Camlp4 is for OCaml 4.07 but you are using OCaml
$ocaml_version."
- if [ -d .git ] ; then
- if [ $PINNED -eq 1 ] ; then
--
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
