Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
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


  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