From: xclerc <xavier.clerc@inria.fr>
To: caml-list@yquem.inria.fr
Cc: xclerc Clerc <xavier.clerc@inria.fr>
Subject: Re: [Caml-list] OCaml 3.12.0+beta1
Date: Fri, 18 Jun 2010 16:56:11 +0200 [thread overview]
Message-ID: <64560095-5E0E-4053-95DD-81598C01B143@inria.fr> (raw)
In-Reply-To: <71FAA322-19FB-4E83-ACCA-9CB6EAC91487@inria.fr>
Le 17 juin 2010 à 15:35, xclerc a écrit :
>
> Le 16 juin 2010 à 22:52, Török Edwin a écrit :
>
>> On 06/16/2010 04:07 PM, Damien Doligez wrote:
>>> Dear OCaml users,
>>>
>>> We have the pleasure of celebrating Bloomsday by announcing the release of
>>> OCaml version 3.12.0+beta1.
>>>
>>> This is a beta release, available as source only and intended for power
>>> users to test new features and report bugs (if any).
>>
>> I have run the included OCaml testsuite, but I must have done something
>> wrong since I got some compile failures (unbound modules, and some
>> missing symbols when linking thread-related tests).
>>
>> make report output:
>> Summary:
>> 278 test(s) passed
>> 8 test(s) failed
>> 24 compilation error(s)
>> 0 compilation warning(s)
>>
>> My system is a Debian Linux x86_64.
>> What I've done is:
>> ./configure -prefix ~/compilers/o312
>> make world.opt
>> make install
>>
>> Then put $HOME/compilers/o312/bin first in PATH.
>> Then I've simply run a 'make all' in testsuite/
>> (under ulimit -v 1024000 -d 1024000 -t 3600).
>> Note that I also have ocaml 3.11.2 installed.
>>
>> The failures are below, is this something I'm doing wrong, or should I
>> open a bugreport?
>
> This looks like a bug in the test suite.
> Can you send me (off list) a copy of the "*.result" files that appear
> in the trace you get when running the tests?
These issues are now fixed in the SVN repository.
Thanks again for reporting,
Xavier Clerc
next prev parent reply other threads:[~2010-06-18 14:56 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-16 13:07 Damien Doligez
2010-06-16 16:28 ` [Caml-list] " Yoann Padioleau
2010-06-16 18:40 ` Martin Jambon
2010-06-16 20:52 ` Török Edwin
2010-06-17 13:35 ` xclerc
2010-06-18 14:56 ` xclerc [this message]
2010-06-19 5:51 ` Stéphane Glondu
2010-06-24 9:38 ` Florent Ouchet
2010-06-24 17:45 ` Martin Jambon
2010-06-24 18:59 ` Florent.Ouchet
2010-06-24 19:29 ` Dmitry Bely
2010-06-24 19:31 ` Mathias Kende
2010-06-24 19:39 ` Till Varoquaux
2010-06-24 20:49 ` Florent Ouchet
2010-06-24 20:57 ` Hezekiah M. Carty
2010-06-24 22:05 ` Florent Ouchet
2010-06-25 5:54 ` bluestorm
2010-06-25 6:24 ` Florent Ouchet
2010-06-25 8:17 ` bluestorm
2010-06-25 8:48 ` David Allsopp
2010-06-25 9:35 ` bluestorm
2010-06-25 7:29 ` bluestorm
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=64560095-5E0E-4053-95DD-81598C01B143@inria.fr \
--to=xavier.clerc@inria.fr \
--cc=caml-list@yquem.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