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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id EF702BBAF for ; Wed, 15 Oct 2008 16:42:20 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncDAFae9UjAXQImiGdsb2JhbACBcpFuAQEBFSKtYIFr X-IronPort-AV: E=Sophos;i="4.33,416,1220220000"; d="scan'208";a="16115227" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2008 16:42:20 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9FEgJ9t019390 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 15 Oct 2008 16:42:20 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As4BAI+e9UhDWxLCbmdsb2JhbACBcpFuPq1cgWs X-IronPort-AV: E=Sophos;i="4.33,416,1220220000"; d="scan'208";a="18134447" Received: from ip67-91-18-194.z18-91-67.customer.algx.net (HELO server1.bertec.net) ([67.91.18.194]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Oct 2008 16:42:12 +0200 Received: from kuba.bertec.net (kuba.bertec.net [192.168.2.16]) by server1.bertec.net (Postfix) with ESMTP id 8DF52105761 for ; Wed, 15 Oct 2008 10:42:11 -0400 (EDT) From: Kuba Ober To: caml-list@inria.fr Subject: Native win32 OCaml: recap Date: Wed, 15 Oct 2008 10:42:09 -0400 User-Agent: KMail/1.9.10 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200810151042.10524.kuba@mareimbrium.org> X-Miltered: at discorde with ID 48F6014B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 bytecode:01 debugger:01 mingw:01 compiler:01 bytecode:01 ocamlopt:01 mingw:01 nmake:01 ocamlopt:01 masm:01 cheers:01 pitch:98 studios:98 Here's the recap from the discussion so far. I'm only considering win32 platform, nothing else. Please pitch in if I didn't get it right this time: 1. OCaml 3.11 will have a non-replaying bytecode debugger that runs on native ports (built with msvc or mingw). 2. OCaml requires an installed C compiler, linker and assmebler -- same ones as used during build - to link with native code. 3. Bytecode OCaml requires no external tools to "compile" and run OCaml code that does not call upon newly defined native functions. 4. ocamlopt does require assembler and linker to produce the executable. 5. OCaml requires at least msys to build itself using either msvc or mingw compilers. msys is provides bash, make and friends. OCaml does not build using nmake. 6. ocamlopt can use either ml or masm for assembler; ml comes with recent Visual Studios. When ml is not present, it would be good to have it use nasm instead. Cheers, Kuba