caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: David Allsopp <dra-news@metastack.com>
Cc: Aleksey Nogin <nogin@metaprl.org>,
	"caml-list@inria.fr" <caml-list@inria.fr>
Subject: RE: [Caml-list] Some comments on recent discussions
Date: Thu, 15 Dec 2011 12:25:35 +0100	[thread overview]
Message-ID: <1323948335.7750.78.camel@samsung> (raw)
In-Reply-To: <E51C5B015DBD1348A1D85763337FB6D9C25863C6@Remus.metastack.local>

Am Mittwoch, den 14.12.2011, 19:41 +0000 schrieb David Allsopp:
> Gerd Stolpmann wrote:
> > Am Mittwoch, den 14.12.2011, 09:27 -0800 schrieb Aleksey Nogin:
> > > On 14.12.2011 04:52, Gerd Stolpmann wrote:
> > >
> > > > I don't think you will be able to convince everybody - at this point
> > > > the issue becomes political in some sense: Do we want to give up our
> > > > Unix habits just to support an OS we (often enough) do not like, and
> > > > would only cover to get more love from the world?
> > > >
> > > > There could be an alternative: The "busybox approach". We could
> > > > develop a toolkit that covers all the Unix commands we need for the
> > > > existing build scripts. It would include easy things like cp, mv
> > > > etc., but also a classic "make" (medium difficulty, note that it
> > > > could reuse the godi_make code), and especially a POSIX shell. The
> > > > latter is a bit of work, but not too much. I'd guess the overall
> > > > effort takes not more than
> > > > 1-2 weeks if done by somebody how knows the semantics of the tools
> > > > very well.
> > > >
> > > > There are a number of advantages over Cygwin:
> > > >  - No danger of running into licensing problems
> > > >  - The Unix compatibility is only maintained for commands, but not on
> > > >    the system call level (eaiser to use, less surprises, fewer
> > > > deps,...)
> > > >  - It would only be a small download, and easy to integrate into
> > > >    installers
> > >
> > > Note that to a degree, OMake already provides the ability to do
> > > Unix-style things under Windows.
> > 
> > I know, and this makes me quite optimistic that it is not that hard to
> > develop standalone executables for the frequently used Unix utilities.
> 
> Any particular reason why the GnuWin32 project doesn't already fulfil this requirement (http://gnuwin32.sourceforge.net/)?

Interesting collection, but it misses a shell.

Also, I'm unsure about several details. In particular, how the
command-line arguments are passed down to the started process. The win32
idea of command-line is a big mess, and you will continuously run into
problems if you just keep it. Cygwin works around by providing an
alternate path for passing the command-line down to the started process.
I fear we also would need such a mechanism. (The GnuWin32 docs do not
explain completely what they do, but it reads as if they just keep the
win32 conventions.)

Because of this, I'm still favoring a clean reimplementation, at least
of sh, make, and the frequently used file utilities. GnuWin32 might be
an interesting fallback source for complicated commands where we can
live with limitations (e.g. awk, which also sometimes appears in build
scripts, but would be a tremendous amount of work to reproduce).

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
*** Searching for new projects! Need consulting for system
*** programming in Ocaml? Gerd Stolpmann can help you.
------------------------------------------------------------



  parent reply	other threads:[~2011-12-15 11:25 UTC|newest]

Thread overview: 80+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-12-06 15:24 Jonathan Protzenko
2011-12-06 15:31 ` Joel Reymont
2011-12-06 23:03   ` Martin Jambon
2011-12-06 16:01 ` Mihamina Rakotomandimby
2011-12-06 16:03 ` Benedikt Meurer
2011-12-06 16:56   ` Ashish Agarwal
2011-12-06 17:12 ` Gerd Stolpmann
2011-12-06 17:33 ` Alex Rubinsteyn
2011-12-06 17:53 ` Alain Frisch
2011-12-07  0:18   ` Paolo Donadeo
2011-12-07  1:00     ` oliver
2011-12-07  6:33       ` Mihamina Rakotomandimby
2011-12-07  1:48     ` Ashish Agarwal
2011-12-07  9:53       ` Goswin von Brederlow
2011-12-07 10:33     ` Pierre-Alexandre Voye
2011-12-07 11:18       ` Gabriel Scherer
2011-12-07 13:15         ` David MENTRE
2011-12-07 13:48           ` Alan Schmitt
2011-12-07 14:56           ` Ashish Agarwal
2011-12-07 15:52         ` oliver
2011-12-10 14:58         ` Xavier Leroy
2011-12-08  7:59       ` rixed
2011-12-08 10:37         ` oliver
2011-12-08 13:15         ` [Caml-list] Wanted book (Re: Some comments on recent discussions) Mihamina Rakotomandimby
2011-12-09 21:22           ` oliver
2011-12-09  7:13   ` [Caml-list] Some comments on recent discussions Martin Jambon
2011-12-10 20:32 ` Andrei Formiga
2011-12-10 21:01   ` Edgar Friendly
2011-12-10 21:12     ` rixed
2011-12-10 21:24       ` Edgar Friendly
2011-12-10 21:49         ` rixed
2011-12-10 22:45           ` Edgar Friendly
2011-12-10 23:58       ` Hans Ole Rafaelsen
2011-12-11 10:25       ` Gerd Stolpmann
2011-12-11 10:06   ` Gerd Stolpmann
2011-12-13 17:41   ` oliver
2011-12-13  5:54 ` Martin DeMello
2011-12-13  7:15   ` Gerd Stolpmann
2011-12-13  8:21     ` Martin DeMello
2011-12-13  8:51       ` Alain Frisch
2011-12-13  9:15         ` Gaius Hammond
2011-12-13 14:08           ` Gerd Stolpmann
2011-12-14  5:28           ` Alain Frisch
2011-12-13  9:51         ` Martin DeMello
2011-12-13  9:53         ` Adrien
2011-12-13 20:52           ` Jon Harrop
2011-12-14  6:03           ` Alain Frisch
2011-12-14  9:34             ` Jonathan Protzenko
2011-12-14 10:24               ` Alain Frisch
2011-12-14 13:37                 ` Adrien
2011-12-14 14:24                   ` Gabriel Scherer
2011-12-14 15:27                   ` Gerd Stolpmann
2011-12-14 15:46                     ` Gaius Hammond
2011-12-14 15:49                     ` Adrien
2011-12-14 16:42                       ` Fabrice Le Fessant
2011-12-14 17:04                       ` Alain Frisch
2011-12-15 21:38                         ` Adrien
2011-12-14 16:55                   ` Alain Frisch
2011-12-14 21:35                     ` Benedikt Meurer
2011-12-15 11:14                     ` Adrien
2011-12-14 12:52             ` Gerd Stolpmann
2011-12-14 13:25               ` Jonathan Protzenko
2011-12-14 17:27               ` Aleksey Nogin
2011-12-14 17:36                 ` Gerd Stolpmann
2011-12-14 19:41                   ` David Allsopp
2011-12-15 10:29                     ` Adrien
2011-12-15 17:41                       ` Martin DeMello
2011-12-15 20:47                         ` Adrien
2011-12-15 21:20                           ` Martin DeMello
2011-12-15 11:25                     ` Gerd Stolpmann [this message]
2011-12-16 12:39                   ` Alain Frisch
2011-12-16 12:44                     ` Jonathan Protzenko
2011-12-16 13:14                     ` Gerd Stolpmann
2011-12-16 14:11                       ` Alain Frisch
2011-12-16 14:50                         ` Gerd Stolpmann
2011-12-16 13:58                     ` Stéphane Glondu
2011-12-16 17:29                     ` Edgar Friendly
2011-12-14 18:41                 ` Dmitry Grebeniuk
2011-12-14 23:54               ` Martin DeMello
2011-12-15 10:03                 ` Adrien

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=1323948335.7750.78.camel@samsung \
    --to=info@gerd-stolpmann.de \
    --cc=caml-list@inria.fr \
    --cc=dra-news@metastack.com \
    --cc=nogin@metaprl.org \
    /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;
as well as URLs for NNTP newsgroup(s).