From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Alain Frisch <alain@frisch.fr>
Cc: caml-list <caml-list@inria.fr>,
godi-list <godi-list@ocaml-programming.de>
Subject: Re: [Caml-list] GODI News: RocketBoost Beta
Date: Mon, 16 Jun 2008 14:18:39 +0200 [thread overview]
Message-ID: <1213618719.22235.136.camel@flake.lan.gerd-stolpmann.de> (raw)
In-Reply-To: <48560A9B.4000208@frisch.fr>
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
------------------------------------------------------------
next prev parent reply other threads:[~2008-06-16 12:17 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-06-15 14:54 Gerd Stolpmann
2008-06-15 16:32 ` [Caml-list] " Adrien
2008-06-15 18:06 ` Gerd Stolpmann
2008-06-15 21:42 ` Adrien
2008-06-16 12:43 ` Gerd Stolpmann
2008-06-16 19:03 ` Adrien
2008-06-16 6:39 ` Alain Frisch
2008-06-16 12:18 ` Gerd Stolpmann [this message]
2008-06-16 12:35 ` Alain Frisch
2008-06-17 13:41 ` Pierre-Evariste Dagand
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1213618719.22235.136.camel@flake.lan.gerd-stolpmann.de \
--to=info@gerd-stolpmann.de \
--cc=alain@frisch.fr \
--cc=caml-list@inria.fr \
--cc=godi-list@ocaml-programming.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox