caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Dario Teixeira <darioteixeira@yahoo.com>
To: caml users <caml-list@inria.fr>,
	Damien Doligez <Damien.Doligez@inria.fr>
Subject: Re: [Caml-list] OCaml version 3.11.0+beta1
Date: Wed, 15 Oct 2008 07:19:40 -0700 (PDT)	[thread overview]
Message-ID: <33746.40538.qm@web54607.mail.re2.yahoo.com> (raw)
In-Reply-To: <83E04F95-55DD-470E-9C6D-98FA15AE0CE0@inria.fr>

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







  reply	other threads:[~2008-10-15 14:19 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-10-15 13:40 Damien Doligez
2008-10-15 14:19 ` Dario Teixeira [this message]
2008-10-15 14:55 ` [Caml-list] " Andres Varon
2008-10-15 15:04   ` Alain Frisch
2008-10-15 15:18     ` Andres Varon
2008-10-15 15:37       ` Alain Frisch
2008-10-15 15:44         ` Andres Varon
2008-10-15 15:46           ` Alain Frisch
2008-10-15 15:22     ` Daniel Bünzli
2008-10-15 15:27       ` Andres Varon
2008-10-15 17:41         ` Daniel Bünzli
2008-10-15 15:32       ` Alain Frisch
2008-10-15 15:56         ` Andres Varon
2008-10-15 16:03           ` Xavier Leroy
2008-10-15 19:39             ` Andres Varon
2008-10-15 15:29     ` Stefano Zacchiroli
2008-10-15 15:32 ` Jaap Boender
2008-10-15 18:07 ` Richard Jones
2008-10-16  8:20 ` David Allsopp
2008-10-17 15:53   ` Xavier Leroy
2008-10-16  9:58 ` David Allsopp
2008-10-16 13:08   ` Alain Frisch
2008-10-16 15:42     ` Re : " Adrien
2008-10-16 16:00       ` Alain Frisch
2008-10-16  9:58 ` David Allsopp
2008-10-16 16:22   ` Andres Varon
2008-10-16 16:31     ` Andres Varon
2008-10-16 16:50       ` Andres Varon

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=33746.40538.qm@web54607.mail.re2.yahoo.com \
    --to=darioteixeira@yahoo.com \
    --cc=Damien.Doligez@inria.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).