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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 18728BC69 for ; Thu, 25 Oct 2007 11:01:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAKL4H0fAXQImh2dsb2JhbACOWgIBCAop X-IronPort-AV: E=Sophos;i="4.21,328,1188770400"; d="scan'208";a="18588225" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Oct 2007 11:01:57 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9P91tOe027553 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 25 Oct 2007 11:01:57 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAO73H0c+8O1K/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.21,328,1188770400"; d="scan'208";a="3582788" Received: from gw.trusted-logic.com ([62.240.237.74]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Oct 2007 11:01:57 +0200 Received: from localhost (maio.trusted-logic.fr [127.0.0.1]) by gw.trusted-logic.com (Postfix) with ESMTP id 7294D214067 for ; Thu, 25 Oct 2007 11:01:56 +0200 (CEST) Received: from gw.trusted-logic.com ([127.0.0.1]) by localhost (maio [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 09206-06 for ; Thu, 25 Oct 2007 11:01:56 +0200 (CEST) Received: from [192.168.4.77] (unknown [192.168.4.77]) by gw.trusted-logic.com (Postfix) with ESMTP id 345F8214031 for ; Thu, 25 Oct 2007 11:01:55 +0200 (CEST) Message-ID: <47205B99.90907@trusted-labs.fr> Date: Thu, 25 Oct 2007 11:02:17 +0200 From: =?ISO-8859-1?Q?Correnson_Lo=EFc?= User-Agent: Thunderbird 1.5.0.5 (Windows/20060719) MIME-Version: 1.0 To: caml-list@inria.fr Subject: win32-ocamlopt 3.10 X-Enigmail-Version: 0.94.0.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at trusted-logic.fr X-Miltered: at discorde with ID 47205B83.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; correnson:01 correnson:01 -ocamlopt:01 ocamlopt:01 -verbose:01 nologo:01 nologo:01 ocaml-:01 lib:01 ocaml:01 lib:01 ocaml-:01 stdlib:01 libasmrun:01 masm:01 I was using win32-msvc-ocamlopt-3.06 for *many* years without any problem. I'm trying to upgrade to 3.10 with VC++ 2005 Express, but still have problems on linking phase. Symptom: > $ ocamlopt -verbose -o fact.exe fact.ml > + ml /nologo /coff /Cp /c /Fo"fact.obj" "C:\tmp\camlasm66fdf0.asm">NUL > + ml /nologo /coff /Cp /c /Fo"C:\tmp\camlstartup8f1c00.obj" "C:\tmp\camlstartupfba8a6.asm">NUL > + cl /nologo -D_CRT_SECURE_NO_DEPRECATE /MT /Fe"fact.exe" -I"D:\ocaml-3.10\lib" "C:\tmp\camlstartup8f1c00.obj" "D:\ocaml > -3.10\lib\std_exit.obj" "fact.obj" "D:\ocaml-3.10\lib\stdlib.lib" "D:\ocaml-3.10\lib\libasmrun.lib" advapi32.lib /link > /subsystem:console > Error during linking Installed required packages (on Windows 2000 Pro): * VC++ 2005 Express * Platform SDK SP1 * MASM (found v8.00) Already corrected or checked correct: * clash in $PATH between cygwin/bin/link and VC/bin/link * $PATH and $LIB includes references to VC++ and SDK paths > $ ls *.obj c:/tmp/*.obj c:/tmp/*.asm > ls: c:/tmp/*.obj: No such file or directory > c:/tmp/camlstartupfba8a6.asm fact.obj It seems that actually ml fails on creating the temporary .obj file. However, when I reply by hand the associated cl step: > $ ml /nologo /coff /Cp /c /Fo"C:\tmp\camlstartup8f1c00.obj" "C:\tmp\camlstartupfba8a6.asm" > Assembling: C:\tmp\camlstartupfba8a6.asm The .obj file is now assembled ! > $ ls *.obj c:/tmp/*.obj c:/tmp/*.asm > c:/tmp/camlstartup8f1c00.obj c:/tmp/camlstartupfba8a6.asm fact.obj However, when trying to link again by hand: > $ cl /nologo -D_CRT_SECURE_NO_DEPRECATE /MT /Fe"fact.exe" -I"D:\ocaml-3.10\lib" "C:\tmp\camlstartup8f1c00.obj" "D:\ocam > l-3.10\lib\std_exit.obj" "fact.obj" "D:\ocaml-3.10\lib\stdlib.lib" "D:\ocaml-3.10\lib\libasmrun.lib" advapi32.lib /li > nk /subsystem:console No output on std, but it seems to have failed again... > $ echo $? ; ls fact.* > 128 > fact.cmi fact.cmx fact.ml fact.obj Unfortunately, link /HELP and cl /HELP does not output anything (unlike ml!) Does anyone known how to debug linking phase on VC++ ? Does anyone succeed in using ocamlopt-msvc-3.10 ? L.