[ANN] Release Candidate: 3.11.2+rc1

[ANN] Release Candidate: 3.11.2+rc1

[Damien Doligez]

Dear Ocaml Users,

It is our pleasure to announce that the release of 3.11.2 is imminent.
What we need now is your cooperation for testing the release candidate,
especially on Windows.

The release candidate is available as source code at this address:
ftp://ftp.inria.fr/INRIA/Projects/cristal/ocaml/ocaml-3.11/ocaml-3.11.2+rc1.tar.bz2

See the list of changes at the end of this mail.

After testing this release candidate, please send a mail to
<damien.doligez@inria.fr> and tell us what you tested and whether
it worked.


Notes for Windows users:
- A recent update to Vista seems to have broken cygwin version 1.5.
   You will need to install the new version 1.7.1 instead:
   http://www.cygwin.com/
- You will also need the latest version of Alain Frisch's flexdll,
   version 0.21: http://alain.frisch.fr/flexdll.html#download


Happy new year's eve to everyone,

-- The OCaml Team

Objective Caml 3.11.2+rc1:
--------------------------

Bug fixes:
- PR#4151: better documentation for min and max w.r.t. NaN
- PR#4421: ocamlbuild uses wrong compiler for C files
- PR#4710, PR#4720: ocamlbuild does not use properly configuration  
information
- PR#4750: under some Windows installations, high start-up times for  
Unix lib
- PR#4777: problem with scanf and CRLF
- PR#4810: BSD problem with socket addresses, e.g. in Unix.getnameinfo
- PR#4813: issue with parsing of float literals by the GNU assembler
- PR#4816: problem with modules and private types
- PR#4818: missed opportunity for type-based optimization of bigarray  
accesses
- PR#4821: check for duplicate method names in classes
- PR#4823: build problem on Mac OS X
- PR#4836: spurious errors raised by Unix.single_write under Windows
- PR#4841, PR#4860, PR#4930: problem with ocamlopt -output-obj under  
Mac OS X
- PR#4847: C compiler error with ocamlc -output-obj under Win64
- PR#4856: ocamlbuild uses ocamlrun to execute a native plugin
- PR#4867, PR#4760: ocamlopt -shared fails on Mac OS X 64bit
- PR#4873: ocamlbuild ignores "thread" tag when building a custom  
toplevel
- PR#4890: ocamlbuild tries to use native plugin on bytecode-only arch
- PR#4896: ocamlbuild should always pass -I to tools for external  
libraries
- PR#4900: small bug triggering automatic compaction even if  
max_overhead = 1M
- PR#4902: bug in %.0F printf format
- PR#4910: problem with format concatenation
- PR#4922: ocamlbuild recompiles too many files
- PR#4923: missing \xff for scanf %S
- PR#4933: functors not handling private types correctly
- PR#4940: problem with end-of-line in DOS text mode, tentative fix
- Module Printf: the simple conversion %F (without width indication)  
was not
            treated properly.
- Makefile: problem with cygwin, flexdll, and symbolic links

Feature wishes:
- PR#9: (tentative implementation) make ocamldebug use #linenum  
annotations
- PR#123, PR#4477: custom exception printers
- PR#3456: Obj.double_field and Obj.set_double_field functions
- PR#4003: destination directory can be given to Filename. 
[open_]temp_file
- PR#4647: Buffer.blit function
- PR#4685: access to Filename.dir_sep
- PR#4703: support for debugging embedded applications
- PR#4723: "clear_rules" function to empty the set of ocamlbuild rules
- PR#4921: configure option to help cross-compilers

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

[Stéphane Glondu]

Damien Doligez a écrit :
> After testing this release candidate, please send a mail to
> <damien.doligez@inria.fr> and tell us what you tested and whether
> it worked.

I've successfully recompiled most of the packages depending on ocaml
currently available in Debian sid on amd64. The missing packages are
(sorted by dependency level):

########## Level 1 ##############################
# needs porting: ocamlduce jocaml camlp5
########## Level 2 ##############################
# needs camlp5: ledit geneweb otags ulex ulex0.8
########## Level 3 ##############################
# needs porting: mldonkey
# needs camlp5: coq
########## Level 4 ##############################
# needs porting: ocaml-batteries
# needs ledit: pkglab
# needs coq: coq-float ssreflect
# needs ocamlduce: ocsigen
########## Level 5 ##############################
# needs porting: galax
# needs ocsigen: nurpawiki
# needs camlp5: matita
# needs coq: why
########## Level 6 ##############################
# needs why: frama-c
#################################################

All successfully built packages are apt-able at (targeted at sid):

  deb http://debian.glondu.net/debian ocaml3112rc1 main
  deb-src http://debian.glondu.net/debian ocaml3112rc1 main

A summary of the successfully built packages is available at:

  http://debian.glondu.net/debian/ocaml3112rc1-summary.txt

The repository is signed with my GPG key. Build logs and *.changes files
are next to their *.deb counterparts, unsigned.


Cheers,

-- 
Stéphane

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

[Richard Jones]

On Tue, Dec 29, 2009 at 03:59:34PM +0100, Damien Doligez wrote:
> The release candidate is available as source code at this address:
> ftp://ftp.inria.fr/INRIA/Projects/cristal/ocaml/ocaml-3.11/ocaml-3.11.2+rc1.tar.bz2
> 
> See the list of changes at the end of this mail.
> 
> After testing this release candidate, please send a mail to
> <damien.doligez@inria.fr> and tell us what you tested and whether
> it worked.

I've pushed this out to Fedora Rawhide users after some very light
testing myself.  If there are any major problems we should see reports
from QA systems and users in a day or two.

Rich.

-- 
Richard Jones
Red Hat

RE: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

[David Allsopp]

Damien Doligez wrote:
> It is our pleasure to announce that the release of 3.11.2 is imminent.
> What we need now is your cooperation for testing the release candidate,
> especially on Windows.

I've managed to compile this RC on Windows 7 x64 using the MinGW 32-bit port
(with ocaml-calendar 2.02, ocaml-csv 1.1.7, extlib 1.5.1, findlib 1.2.5,
json-static 0.9.8, json-wheel 1.0.6, ocamlnet 2.2.9, ocamlsha 1.5,
ocaml-pcre 6.0.1, pgocaml 1.4 and spiderCaml 0.2).

OCaml seems fine, but.....

The latest version of Cygwin seems to contain a questionable change to the
handling of symlinks which created more trouble building OCaml than previous
versions (as flexlink runs "natively" and not within Cygwin) - although I've
built OCaml and these libraries successfully within bash, I'm having trouble
with ocamlopt when run outside bash (my usual setup is cmd + GnuWin32).

Has anyone else got ocamlopt working properly with non-trivial code (C stubs
and so on) on Windows outside Cygwin? I'm getting errors from gcc trying to
run cc1 which I think is to do with symlink misery and also I can't link
anything with ocamlopt unless running in bash. The Cygwin team's decision to
revert to the default to their own internal symlink format is almost as
questionable as Microsoft's making the API for creating NTFS symlinks in
Vista/2008 require administrator privileges but unlike Microsoft I'm sure
they actually have some good reason for it...


David

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

[Richard Jones]

On Tue, Dec 29, 2009 at 04:52:00PM +0000, Richard Jones wrote:
> On Tue, Dec 29, 2009 at 03:59:34PM +0100, Damien Doligez wrote:
> > The release candidate is available as source code at this address:
> > ftp://ftp.inria.fr/INRIA/Projects/cristal/ocaml/ocaml-3.11/ocaml-3.11.2+rc1.tar.bz2
> > 
> > See the list of changes at the end of this mail.
> > 
> > After testing this release candidate, please send a mail to
> > <damien.doligez@inria.fr> and tell us what you tested and whether
> > it worked.
> 
> I've pushed this out to Fedora Rawhide users after some very light
> testing myself.  If there are any major problems we should see reports
> from QA systems and users in a day or two.

Following up, two packages had problems building:

camlp5 - When you compile, it complains it doesn't know anything about
3.11.2 and that this will require an upstream change.

cduce - Also FTBFS.

I have not looked any deeper into either of these build problems at
the moment.

Everything else built fine.

Rich.

-- 
Richard Jones
Red Hat

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

[Stéphane Glondu]

[-- Attachment #1: Type: text/plain, Size: 828 bytes --]

Richard Jones a écrit :
> camlp5 - When you compile, it complains it doesn't know anything about
> 3.11.2 and that this will require an upstream change.

The first patch attached adds support for 3.11.2 (see comments in it).
I've also added some fixes to the manpage that are of course irrelevant
for the support of OCaml 3.11.2 (hopefully, they will also be applied in
the next upstream release).

> cduce - Also FTBFS.

You mean ocamlduce? cduce compiles fine. I've tagged in git [1] a new rc
for ocamlduce. A tarball is available at [2]. I will wait for the final
release of OCaml 3.11.2 to make a new formal release of ocamlduce.

[1] http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=ocamlduce/ocamlduce.git

[2]
http://debian.glondu.net/debian/pool/ocaml3112rc1/1/ocamlduce_3.11.2.0%7Erc1.orig.tar.gz


Cheers,

-- 
Stéphane


[-- Attachment #2: 0001-Add-partial-OCaml-3.11.2-support.patch --]
[-- Type: text/x-patch, Size: 1363 bytes --]

From: Stephane Glondu <steph@glondu.net>
Date: Tue, 5 Jan 2010 17:17:57 +0100
Subject: [PATCH] Add (partial) OCaml 3.11.2 support

The full support is achieved by running the following commands after
extracting the tarball of version 5.12, before runing ./configure:

  cp -a ocaml_stuff/3.11.1 ocaml_stuff/3.11.2
  sed -i \
    -e 's/let ocaml_version = "3.11.1"/let ocaml_version = "3.11.2"/' \
    ocaml_stuff/3.11.2/utils/pconfig.ml
  cp -a ocaml_src/main/ast2pt.ml_3.11.1 ocaml_src/main/ast2pt.ml_3.11.2

Signed-off-by: Stephane Glondu <steph@glondu.net>
---
 main/ast2pt.ml |    2 +-
 top/rprint.ml  |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/main/ast2pt.ml b/main/ast2pt.ml
index 3c1ae43..9f3af38 100644
--- a/main/ast2pt.ml
+++ b/main/ast2pt.ml
@@ -14,7 +14,7 @@ THEN
 END;
 
 IFDEF
-  OCAML_3_11 OR OCAML_3_11_0 OR OCAML_3_11_1 OR OCAML_3_12_0
+  OCAML_3_11 OR OCAML_3_11_0 OR OCAML_3_11_1 OR OCAML_3_11_2 OR OCAML_3_12_0
 THEN
   DEFINE AFTER_OCAML_3_11
 END;
diff --git a/top/rprint.ml b/top/rprint.ml
index c011b07..1a67480 100644
--- a/top/rprint.ml
+++ b/top/rprint.ml
@@ -11,7 +11,7 @@ THEN
   DEFINE OCAML_3_08
 END;
 
-IFDEF OCAML_3_11 OR OCAML_3_11_0 OR OCAML_3_11_1 OR OCAML_3_12_0 THEN
+IFDEF OCAML_3_11 OR OCAML_3_11_0 OR OCAML_3_11_1 OR OCAML_3_11_2 OR OCAML_3_12_0 THEN
   DEFINE AFTER_OCAML_3_11
 END;
 
-- 

[-- Attachment #3: 0002-Fix-typos-in-manpage.patch --]
[-- Type: text/x-patch, Size: 807 bytes --]

From: Stephane Glondu <steph@glondu.net>
Date: Tue, 5 Jan 2010 17:27:36 +0100
Subject: [PATCH] Fix typos in manpage

---
 man/camlp5.1.tpl |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/man/camlp5.1.tpl b/man/camlp5.1.tpl
index 9fdf2ab..a10d718 100644
--- a/man/camlp5.1.tpl
+++ b/man/camlp5.1.tpl
@@ -107,7 +107,7 @@ object files (ending with .cmo or .cma). Several usage of these options
 are authorized. They must precede the other options.
 
 .LP
-An optionnal
+An optional
 .B \-\-
 may end the load options.
 
@@ -300,7 +300,7 @@ the command line as ".cmi" files. For example, how to add the the
 OCaml module "str":
 .nf
 .ta 1c
-	mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str
+	mkcamlp5 \-custom str.cmi str.cma \-cclib \-lstr \-o camlp5str
 .fi
 .LP
 
-- 

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

[Richard Jones]

On Tue, Jan 05, 2010 at 06:06:38PM +0100, Stéphane Glondu wrote:
> Richard Jones a écrit :
> > camlp5 - When you compile, it complains it doesn't know anything about
> > 3.11.2 and that this will require an upstream change.
> 
> The first patch attached adds support for 3.11.2 (see comments in it).
> I've also added some fixes to the manpage that are of course irrelevant
> for the support of OCaml 3.11.2 (hopefully, they will also be applied in
> the next upstream release).

Thanks -- will apply it.

> > cduce - Also FTBFS.
> 
> You mean ocamlduce? cduce compiles fine. I've tagged in git [1] a new rc
> for ocamlduce. A tarball is available at [2]. I will wait for the final
> release of OCaml 3.11.2 to make a new formal release of ocamlduce.
> 
> [1] http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=ocamlduce/ocamlduce.git
> 
> [2]
> http://debian.glondu.net/debian/pool/ocaml3112rc1/1/ocamlduce_3.11.2.0%7Erc1.orig.tar.gz

Excellent, thanks :-)

Rich.

-- 
Richard Jones
Red Hat

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

[Richard Jones]

On Tue, Jan 05, 2010 at 06:06:38PM +0100, Stéphane Glondu wrote:
> You mean ocamlduce? cduce compiles fine. I've tagged in git [1] a new rc
> for ocamlduce. A tarball is available at [2]. I will wait for the final
> release of OCaml 3.11.2 to make a new formal release of ocamlduce.
> 
> [1] http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=ocamlduce/ocamlduce.git
> 
> [2]
> http://debian.glondu.net/debian/pool/ocaml3112rc1/1/ocamlduce_3.11.2.0%7Erc1.orig.tar.gz

I tried this out, and I get this very lengthy error message:

./ocamlc -a utils/misc.cmo parsing/linenum.cmo utils/terminfo.cmo utils/warnings.cmo parsing/location.cmo otherlibs/ocamlduce/cduce_types.cmo parsing/longident.cmo typing/ident.cmo typing/path.cmo typing/primitive.cmo typing/types.cmo typing/btype.cmo typing/predef.cmo typing/datarepr.cmo utils/tbl.cmo typing/subst.cmo myocamlbuild_config.cmo utils/config.cmo utils/clflags.cmo utils/consistbl.cmo typing/env.cmo bytecomp/lambda.cmo bytecomp/printlambda.cmo bytecomp/switch.cmo typing/ctype.cmo typing/typedtree.cmo bytecomp/typeopt.cmo typing/parmatch.cmo bytecomp/matching.cmo bytecomp/translext.cmo bytecomp/translobj.cmo bytecomp/translcore.cmo bytecomp/translclass.cmo ocamldoc/odoc_config.cmo ocamldoc/odoc_global.cmo ocamldoc/odoc_messages.cmo ocamldoc/odoc_types.cmo ocamldoc/odoc_misc.cmo ocamldoc/odoc_name.cmo ocamldoc/odoc_parameter.cmo typing/oprint.cmo typing/printtyp.cmo ocamldoc/odoc_value.cmo ocamldoc/odoc_class.cmo ocamldoc/odoc_exception.cmo ocamldoc/odoc_type.cmo ocamldoc/odoc_module.cmo ocamldoc/odoc_args.cmo ocamldoc/odoc_env.cmo ocamldoc/odoc_merge.cmo ocamldoc/odoc_sig.cmo ocamldoc/odoc_ast.cmo ocamldoc/odoc_comments_global.cmo ocamldoc/odoc_scan.cmo ocamldoc/odoc_search.cmo ocamldoc/odoc_cross.cmo ocamldoc/odoc_parser.cmo ocamldoc/odoc_lexer.cmo ocamldoc/odoc_see_lexer.cmo ocamldoc/odoc_text_parser.cmo ocamldoc/odoc_text_lexer.cmo ocamldoc/odoc_text.cmo ocamldoc/odoc_comments.cmo ocamldoc/odoc_print.cmo tools/depend.cmo ocamldoc/odoc_dep.cmo parsing/syntaxerr.cmo parsing/xparser.cmo parsing/parser.cmo parsing/lexer.cmo parsing/parse.cmo typing/includeclass.cmo typing/includecore.cmo typing/mtype.cmo typing/includemod.cmo typing/stypes.cmo typing/typeext.cmo typing/typetexp.cmo typing/typecore.cmo typing/typedecl.cmo typing/typeclass.cmo typing/typemod.cmo utils/ccomp.cmo ocamldoc/odoc_analyse.cmo ocamldoc/odoc_str.cmo ocamldoc/odoc_info.cmo -o ocamldoc/odoc_info.cma
tools/ocamldep.byte -pp ../ocamldoc/remove_DEBUG -modules ocamldoc/odoc_inherit.ml > ocamldoc/odoc_inherit.ml.depends
tools/ocamldep.byte -pp ../ocamldoc/remove_DEBUG -modules ocamldoc/odoc_test.ml > ocamldoc/odoc_test.ml.depends
touch otherlibs/ocamlduce/cduce_types.mli  ; if  ocamlopt -pack -g -I otherlibs/ocamlduce otherlibs/ocamlduce/custom.cmi otherlibs/ocamlduce/encodings.cmi otherlibs/ocamlduce/imap.cmi otherlibs/ocamlduce/state.cmi otherlibs/ocamlduce/upool.cmi otherlibs/ocamlduce/ns.cmi otherlibs/ocamlduce/sortedList.cmi otherlibs/ocamlduce/atoms.cmi otherlibs/ocamlduce/bool.cmi otherlibs/ocamlduce/chars.cmi otherlibs/ocamlduce/ident.cmi otherlibs/ocamlduce/intervals.cmi otherlibs/ocamlduce/inttbl.cmi otherlibs/ocamlduce/normal.cmi otherlibs/ocamlduce/pretty.cmi otherlibs/ocamlduce/stats.cmi otherlibs/ocamlduce/compunit.cmi otherlibs/ocamlduce/types.cmi otherlibs/ocamlduce/sequence.cmi otherlibs/ocamlduce/sample.cmi otherlibs/ocamlduce/auto_pat.cmi otherlibs/ocamlduce/patterns.cmi otherlibs/ocamlduce/value.cmi otherlibs/ocamlduce/run_dispatch.cmi otherlibs/ocamlduce/explain.cmi otherlibs/ocamlduce/typepat.cmi otherlibs/ocamlduce/serial.cmi -o otherlibs/ocamlduce/cduce_types.cmx  ; then  rm -f otherlibs/ocamlduce/cduce_types.mli  ; else  rm -f otherlibs/ocamlduce/cduce_types.mli  ; exit 1; fi
+ touch otherlibs/ocamlduce/cduce_types.mli  ; if  ocamlopt -pack -g -I otherlibs/ocamlduce otherlibs/ocamlduce/custom.cmi otherlibs/ocamlduce/encodings.cmi otherlibs/ocamlduce/imap.cmi otherlibs/ocamlduce/state.cmi otherlibs/ocamlduce/upool.cmi otherlibs/ocamlduce/ns.cmi otherlibs/ocamlduce/sortedList.cmi otherlibs/ocamlduce/atoms.cmi otherlibs/ocamlduce/bool.cmi otherlibs/ocamlduce/chars.cmi otherlibs/ocamlduce/ident.cmi otherlibs/ocamlduce/intervals.cmi otherlibs/ocamlduce/inttbl.cmi otherlibs/ocamlduce/normal.cmi otherlibs/ocamlduce/pretty.cmi otherlibs/ocamlduce/stats.cmi otherlibs/ocamlduce/compunit.cmi otherlibs/ocamlduce/types.cmi otherlibs/ocamlduce/sequence.cmi otherlibs/ocamlduce/sample.cmi otherlibs/ocamlduce/auto_pat.cmi otherlibs/ocamlduce/patterns.cmi otherlibs/ocamlduce/value.cmi otherlibs/ocamlduce/run_dispatch.cmi otherlibs/ocamlduce/explain.cmi otherlibs/ocamlduce/typepat.cmi otherlibs/ocamlduce/serial.cmi -o otherlibs/ocamlduce/cduce_types.cmx  ; then  rm -f otherlibs/ocamlduce/cduce_types.mli  ; else  rm -f otherlibs/ocamlduce/cduce_types.mli  ; exit 1; fi
Fatal error: exception Sys_error("otherlibs/ocamlduce/cduce_types.cmx: No such file or directory")
Command exited with code 1.
make[1]: *** [world] Error 10
make[1]: Leaving directory `/home/rjones/d/fedora/cduce/devel/cduce-0.5.3/ocamlduce-3.11.2.0+rc1/ocaml-3.11.2+rc1'
error: Bad exit status from /var/tmp/rpm-tmp.tnLqgK (%build)

Rich.

-- 
Richard Jones
Red Hat

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

[Richard Jones]

On Tue, Dec 29, 2009 at 03:59:34PM +0100, Damien Doligez wrote:
> It is our pleasure to announce that the release of 3.11.2 is imminent.

Is there an ETA for 3.11.2?  I'd very much like to include it in
RHEL 6.

Rich.

-- 
Richard Jones
Red Hat

Re: [Caml-list] [ANN] Release Candidate: 3.11.2+rc1

[Damien Doligez]

Hi Rich,

> Is there an ETA for 3.11.2?  I'd very much like to include it in
> RHEL 6.


We have some problems with Windows, and I'm not sure whether I'll
do an RC2, but I hope to release 3.11.2 within 3 weeks.

-- Damien

Re: [ANN] Release Candidate: 3.11.2+rc1

[Sylvain Le Gall]

On 12-01-2010, Damien Doligez <Damien.Doligez@inria.fr> wrote:
> Hi Rich,
>
>> Is there an ETA for 3.11.2?  I'd very much like to include it in
>> RHEL 6.
>
>
> We have some problems with Windows, and I'm not sure whether I'll
> do an RC2, but I hope to release 3.11.2 within 3 weeks.
>

Is it this the problem you are talking about: 

Notes for Windows users:
- A recent update to Vista seems to have broken cygwin version 1.5.
You will need to install the new version 1.7.1 instead:
http://www.cygwin.com/
- You will also need the latest version of Alain Frisch's flexdll,
version 0.21: http://alain.frisch.fr/flexdll.html#download

Regards,
Sylvain Le Gall

Re: [Caml-list] Re: [ANN] Release Candidate: 3.11.2+rc1

[Damien Doligez]

On 2010-01-12, at 11:30, Sylvain Le Gall wrote:

> Is it this the problem you are talking about:

[...]

No.  We have a report of build problems with MSVC when building
with ocamlbuild that I need to investigate.

-- Damien