Version française
Home     About     Download     Resources     Contact us    
Browse thread
OCaml version 3.11.0+beta1
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Dario Teixeira <darioteixeira@y...>
Subject: Re: [Caml-list] OCaml version 3.11.0+beta1
Hi,

> We are pleased to celebrate the birthday of Friedrich
> Nietzsche by releasing OCaml version 3.11.0+beta1.  We need YOU
> to test it thoroughly and report any problems you might have.
> Does your favorite software work with it?

Great news, thanks!  One note to GODI users: trying out the beta
version is very simple; just ask GODI to build the godi-ocaml and
godi-ocaml-src packages, and configure the latter one by setting
OCAML_CVS_CHECKOUT to "yes" and OCAML_CVS_REVISION to "release311"
(or "ocaml3110beta1" if you want the Beta 1 static snapshot).
GODI will then automatically recompile all packages.

Btw, I noticed that type-conv will *not* compile with this beta
(a Camlp4 incompatibility?).  Anyone experiencing a similar
problem?  The GODI protocol is listed at the end.

Kind regards,
Dario Teixeira



/bin/mkdir -p /home/dario/.godi_3.11/build/godi/godi-type-conv/work/type-conv-1.6.2
===> Patching for godi-type-conv-1.6.2godi1
===> Configuring for godi-type-conv-1.6.2godi1
===> Building for godi-type-conv-1.6.2godi1
make[1]: Entering directory `/home/dario/.godi_3.11/build/godi/godi-type-conv/work/type-conv-1.6.2/lib'
ocamlc -c -I +camlp4 pa_type_conv.mli
ocamlc -c -pp "camlp4orf " -I +camlp4 pa_type_conv.ml
File "pa_type_conv.ml", line 190, characters 16-17:
While expanding quotation "ctyp" in a position of "patt":
  Parse error: [a_LIDENT] expected after "?" (in [ctyp])

File "pa_type_conv.ml", line 1, characters 0-1:
Error: Preprocessor error
make[1]: *** [pa_type_conv.cmo] Error 2
make: *** [all] Error 2
make[1]: Leaving directory `/home/dario/.godi_3.11/build/godi/godi-type-conv/work/type-conv-1.6.2/lib'
*** Error code 2

Stop.
godi_make: stopped in /home/dario/.godi_3.11/build/godi/godi-type-conv
*** Error code 1