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=AWL autolearn=disabled version=3.1.3 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 D97B8BB84 for ; Mon, 16 Jun 2008 14:17:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtQAACv2VUjU436zmWdsb2JhbACBW5BDAQEBAQEIBQYJEQOaWwE X-IronPort-AV: E=Sophos;i="4.27,652,1204498800"; d="scan'208";a="13889962" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Jun 2008 14:17:12 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m5GCHCOE029702 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 16 Jun 2008 14:17:12 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtQAACv2VUjU436zmWdsb2JhbACBW5BDAQEBAQEIBQYJEQOaWwE X-IronPort-AV: E=Sophos;i="4.27,652,1204498800"; d="scan'208";a="13889961" Received: from moutng.kundenserver.de ([212.227.126.179]) by mail1-smtp-roc.national.inria.fr with ESMTP; 16 Jun 2008 14:17:12 +0200 Received: from gate.lan.gerd-stolpmann.de (dslb-084-059-109-233.pools.arcor-ip.net [84.59.109.233]) by mrelayeu.kundenserver.de (node=mrelayeu3) with ESMTP (Nemesis) id 0MKxQS-1K8De244Z0-0000ly; Mon, 16 Jun 2008 14:17:11 +0200 Received: from [192.168.0.32] (fw.lan.gerd-stolpmann.de [192.168.1.1]) by gate.lan.gerd-stolpmann.de (Postfix) with ESMTP id 8D670C07F; Mon, 16 Jun 2008 14:17:10 +0200 (CEST) Subject: Re: [Caml-list] GODI News: RocketBoost Beta From: Gerd Stolpmann To: Alain Frisch Cc: caml-list , godi-list In-Reply-To: <48560A9B.4000208@frisch.fr> References: <1213541678.22235.107.camel@flake.lan.gerd-stolpmann.de> <48560A9B.4000208@frisch.fr> Content-Type: text/plain Date: Mon, 16 Jun 2008 14:18:39 +0200 Message-Id: <1213618719.22235.136.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX1/+kt9adKazaboRI/+MLUAFnRatEP8G8rq8pMw EpQgb0j2fsYNw2Hte3Ct0DCl+7M8TspRzQYbIWdxDS6TLMX+pm oR/dolXU2LDMI3gFhwMYfWkmCqkrVON X-Miltered: at discorde with ID 485659C8.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; gerd:01 stolpmann:01 frisch:01 gerd:01 stolpmann:01 mingw:01 ocaml:01 cygwin:01 cygwin:01 symlinks:01 symlinks:01 ocaml:01 ocamldep:01 mingw:01 oversight:01 Am Montag, den 16.06.2008, 08:39 +0200 schrieb Alain Frisch: > Gerd Stolpmann wrote: > > The big news is that GODI now supports the MinGW port of OCaml for > > Windows (besides the Cygwin port). This means that it is now possible to > > create native Windows applications with GODI. > > That's really great news! > > > A lot of the porting effort was about Cygwin interoperability. > > godi_console (which is a native Win32 binary) can translate Cygwin paths > > to native Windows paths (by reading the Cygwin mount table in the > > registry). > > This feature might be useful for other projects. Do you plan to make it > available as a stand-alone library (maybe together with other > Windows-related hacks)? Currently I don't have such plans. For now, just get the library from https://godirepo.camlcity.org/svn/godi-bootstrap/godi-tools/trunk/console-src/godi-sys-win32/ (module Godi_file, in the parallel dir godi-sys-unix there is an implementation for POSIX). > Does it support Cygwin symlinks? It can read and resolve symlinks. For creating symlinks it just calls Cygwin's /bin/ln for now. > > * Ocaml does not install ocamldep.opt.exe > > > > in the MinGW port. Maybe an oversight? > > Already fixed in CVS HEAD (many of the Makefiles are now shared between > Unix and Windows ports). Cool. > > * No support for ocamlmklib > > > > A lot of work has been put into working around the missing ocamlmklib. > > The difficulty is that stub libraries need to be compiled with different > > flags when a DLL is to be produced, i.e. the C compiler is invoked > > differently in this case. > > This is no longer true with the version in CVS HEAD, to become 3.11. Now > there is some hackery at link time to allow using the same set of object > files for linking statically or dynamically (for stub code dlls). Also, > ocamlmklib is available for all the Windows ports. That's great. Thanks for doing that. I'll see how to integrate flexdll - is it needed before ocaml is built, or can it be installed later? (That looks like a bootstrap problem.) > > There are no clear rules how to quote arguments in Windows (cmd.exe). > > Indeed. I've found that it is sometimes necessary (and it seems to be > always sufficient) to add extra quotes around the whole command line. > E.g. to call emacs on a file "foo bar" (without the quotes) from OCaml, > here what I do: > > Sys.command "\"\"C:\\Program Files\\emacs-22.1\\bin\\emacs\" \"foo bar\"\"" > > That is, one passes this command line to cmd.exe: > > ""C:\Program Files\emacs-22.1\bin\emacs" "foo bar"" > > As weird as it may look, the quotes around the program and argument > names are not escaped. Interesting. Nevertheless, really helpful is only something predictable. There is no good information from Microsoft. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------