[Caml-list] [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....@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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Stéphane Glondu]

Damien Doligez a écrit :

> After testing this release candidate, please send a mail to
> <damien....@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

[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....@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

[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

[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....@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.

[Stéphane Glondu]

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

[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 :-)

[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 otherl
ibs/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 othe
rlibs/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)

[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

_______________________________________________

[Sylvain Le Gall]

On 12-01-2010, Damien Doligez <Damien....@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

[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