Browse thread
OCaml version 3.11.0+beta1
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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