From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: David Brown <caml-list@davidb.org>
Cc: Alain <ficelle_129@hotmail.com>, caml-list@inria.fr
Subject: Re: [Caml-list] Re: GODI available for download
Date: 04 Aug 2003 02:49:32 +0200 [thread overview]
Message-ID: <1059958171.4367.294.camel@ice.gerd-stolpmann.de> (raw)
In-Reply-To: <20030803152638.GA13353@davidb.org>
Am Son, 2003-08-03 um 17.26 schrieb David Brown:
> On Sat, Aug 02, 2003 at 01:54:34PM +0200, Alain wrote:
>
> > Have a try on MacOS X, quickly interrupted because the native
> > filesystem (HFS+) is not "a case-sensitive filesystem".
> >
> > I will retry soon with on a computer with an UFS partition.
> > But this is annoying, most Darwin's users use HFS+.
>
> I agree with this. Requiring a case-sensitive filesystem will be a show
> stopper for an increasing number of systems.
I don't know whether this number increases or decreases, I have just
copied this check from the original NetBSD script. I also do not know
whether a case-sensitive filesystem is strictly required, and in which
problem you will run with other systems. You can try it by passing the
option --ignore-case-check to the bootstrap script, this turns the check
off.
> One question is, does GODI really require that? HFS preserves the case
> of filenames, and usually you can't tell it is case insensitive. Only
> if you try to create two filenames that differ only in case do you
> notice the problem.
I can imagine that certain checks do not work properly, so maybe one or
the other error condition is not detected, or maybe filename
manipulations do not work always.
Gerd
--
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany
gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de
------------------------------------------------------------
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2003-08-04 0:49 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-30 21:41 [Caml-list] " Gerd Stolpmann
2003-07-31 16:51 ` Fred Yankowski
2003-08-01 21:24 ` Gerd Stolpmann
2003-08-03 17:11 ` Sven Luther
2003-08-04 21:36 ` Fred Yankowski
2003-08-05 1:56 ` Sven Luther
2003-08-02 3:28 ` Jacques Garrigue
2003-08-02 3:40 ` Alexander V. Voinov
2003-08-02 9:52 ` Jacques Garrigue
2003-08-05 2:30 ` prashanth
2003-08-04 0:37 ` Gerd Stolpmann
2003-08-02 11:54 ` [Caml-list] " Alain
2003-08-03 15:26 ` David Brown
2003-08-04 0:49 ` Gerd Stolpmann [this message]
2003-08-04 5:21 ` David Brown
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=1059958171.4367.294.camel@ice.gerd-stolpmann.de \
--to=info@gerd-stolpmann.de \
--cc=caml-list@davidb.org \
--cc=caml-list@inria.fr \
--cc=ficelle_129@hotmail.com \
/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