Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: "Török Edwin" <edwintorok@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OCaml 3.12.0+beta1
Date: Wed, 16 Jun 2010 23:52:06 +0300	[thread overview]
Message-ID: <4C193976.1000305@gmail.com> (raw)
In-Reply-To: <E8A96ADD-B0B1-4EAB-8D00-F1DA4EE331EA@inria.fr>

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?
 ... testing 't01.ml'Fatal error: cannot load shared library dllcamlstr
Reason: dllcamlstr.so: cannot open shared object file: No such file or
directory
 ... testing 'Exemples.ml.reference':Files Exemples.ml.reference and
Exemples.ml.result differ
 => failed
 ... testing 'Tests.ml.reference':Files Tests.ml.reference and
Tests.ml.result differ
 => failed
 ... testing 'poly.ml.principal.reference':Files
poly.ml.principal.reference and poly.ml.principal.result differ
 => failed
 ... testing 'poly.ml.reference':Files poly.ml.reference and
poly.ml.result differ
 => failed
 ... testing 'private.ml.reference':Files private.ml.reference and
private.ml.result differ
 => failed

The link failures in the testsuite look like this:
/home/edwin/compilers/o312/lib/ocaml/threads/threads.a(thread.o): In
function `camlThread__fun_1101':
(.text+0x4b): undefined reference to `caml_thread_uncaught_exception'
/home/edwin/compilers/o312/lib/ocaml/threads/threads.a(thread.o): In
function `camlThread__fun_1086':
(.text+0x8a): undefined reference to `caml_wait_signal'

The unbound module:
 ... testing 'tbuffer.ml': ocamlcFile "tbuffer.ml", line 3, characters 0-12:
Error: Unbound module Testing

Best regards,
--Edwin


  parent reply	other threads:[~2010-06-16 20:52 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 [this message]
2010-06-17 13:35   ` xclerc
2010-06-18 14:56     ` xclerc
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=4C193976.1000305@gmail.com \
    --to=edwintorok@gmail.com \
    --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