From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id D42EFBBAF for ; Wed, 16 Jun 2010 22:52:10 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwBAE7WGEzRVaE0mGdsb2JhbACSUowVCBUBAQEBAQgJDAcRIq9FggWFKS6ITwEBAwWFFQSDTQ X-IronPort-AV: E=Sophos;i="4.53,427,1272837600"; d="scan'208";a="61486933" Received: from mail-fx0-f52.google.com ([209.85.161.52]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Jun 2010 22:52:10 +0200 Received: by fxm4 with SMTP id 4so4479447fxm.39 for ; Wed, 16 Jun 2010 13:52:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:received:message-id:date:from :user-agent:mime-version:to:subject:references:in-reply-to :x-enigmail-version:openpgp:content-type:content-transfer-encoding; bh=89wevd8RK+zPXfXD5WsC/UD3Df/tljAJaWrcEuerV+s=; b=BRyOLPgGU5Nc8qTPMZ/Yrnvk0s2v8rsdwp6xC4ETkwmhTx6bf5aBmdEs9jCFw1GKQ0 XMLnsYgRl0AlK/zTWZ+8pE/K7j8aCnokKiv4XUQBr6A5E8FKOg+mxP9W2kgGgZH54jrH gtJiUM1nY61UG9VJXLooNbPMNdbbyZWuUGRzg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:x-enigmail-version:openpgp:content-type :content-transfer-encoding; b=UFIp9QV2QkeBvUKf4q+L+VWZD6Zd2KFiQvchf3s3p4rLQhOLdEevCHelisT/O+sj3f G8xx1fo3BXBFeAyn0QvRErLaUJPRfH+WqPxpgUoj9KvCog4TO5BSJoa/ZQ8nBCkwHcXp bH5Ow2pGDLAE5P2Nc73Q0VnAuN5ayeuz/Wyyk= Received: by 10.223.132.210 with SMTP id c18mr9816515fat.48.1276721530197; Wed, 16 Jun 2010 13:52:10 -0700 (PDT) Received: from debian ([79.114.40.244]) by mx.google.com with ESMTPS id k14sm13133147fav.24.2010.06.16.13.52.07 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 16 Jun 2010 13:52:07 -0700 (PDT) Received: from [127.0.0.1] (localhost [127.0.0.1]) by debian (Postfix) with ESMTP id 573A457B05 for ; Wed, 16 Jun 2010 23:52:06 +0300 (EEST) Message-ID: <4C193976.1000305@gmail.com> Date: Wed, 16 Jun 2010 23:52:06 +0300 From: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.9) Gecko/20100515 Icedove/3.0.4 MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OCaml 3.12.0+beta1 References: In-Reply-To: X-Enigmail-Version: 1.0.1 OpenPGP: id=5379965D Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 damien:01 ocaml:01 compilation:01 compilation:01 -prefix:01 'make:01 ulimit:01 bugreport:01 lib:01 uncaught:01 lib:01 ml':01 edwin:98 celebrating:98 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