From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.3 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 27F03BBAF for ; Thu, 18 Dec 2008 13:35:38 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,242,1228086000"; d="scan'208";a="20551780" Received: from espone.inrialpes.fr (HELO [194.199.21.24]) ([194.199.21.24]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Dec 2008 13:35:37 +0100 Message-ID: <494A42D4.7070501@inrialpes.fr> Date: Thu, 18 Dec 2008 13:32:20 +0100 From: Bertrand Jeannet User-Agent: Mozilla Thunderbird 1.0.2-6 (X11/20050513) X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Change of behaviour of ocaml -make-runtime with 3.11.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; jeannet:01 jeannet:01 inrialpes:01 ocaml:01 ocaml:01 ocamlc:01 runtime:01 ocamlc:01 runtime:01 printf:01 dllunix:01 usr:01 lib:01 stublibs:01 dllunix:01 1. With OCaml 3.11.0, if I write ocamlc.opt -o myrun -make_runtime unix.cma ocamlc.opt -o essai -use_runtime myrun unix.cma essai.ml (with essai.ml: let x = Unix.time() in Format.printf "Here1 %f@." x;;) and then ./essai I get the following error message: Fatal error: cannot load shared library dllunix Reason: /usr/local/lib/ocaml/stublibs/dllunix.so: undefined symbol: caml_copy_int64 2. Until version 3.10.2, it was OK 3. I understandd that now, it is not necessary to use a custom runtime, as ocamlrun can load dynamically dllunix.so (in that case, ./essai works OK). However, I would like that my Makefiles remain compatible with recent versions of OCaml. Bertrand Jeannet