From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1b02b7e7cdddd042
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-03-28 13:01:03 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: Brian.Gaffney@myrealbox.com (Brian Gaffney)
Newsgroups: comp.lang.ada
Subject: Re: Un-crunching
Date: 28 Mar 2003 13:01:03 -0800
Organization: http://groups.google.com/
Message-ID: <5e9b8c34.0303281301.5fccad10@posting.google.com>
References: <pX5ga.19423$pK4.1732475@newsread1.prod.itd.earthlink.net>
 <ep7ga.216051$L1.39645@sccrnsc02>
 <pan.2003.03.26.17.02.35.516086@T-Online.de>
 <b5ssca$kfr$1@sparta.btinternet.com>
 <pan.2003.03.27.18.40.44.561040@T-Online.de>
NNTP-Posting-Host: 137.244.215.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1048885263 24340 127.0.0.1 (28 Mar 2003 21:01:03
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 28 Mar 2003 21:01:03 GMT
Xref: archiver1.google.com comp.lang.ada:35801
Date: 2003-03-28T21:01:03+00:00
List-Id: <comp.lang.ada>

> >> I once tried to "un-crunch", for documentation and easy reference, gnats
> >> own libraries but I have never been successful.
>  
> > Yes, I've seen this too and never found a (quick) work around.
>  
> > Works perfectly well as per documentation with any other files, in
> > my experience.
> 
> This is rather sad. Finding the actual specification for a package
> "grep"ing throu all the sources is that terefic.
> 

>From what I recall, GnatChop has always had a 'special exception' to
always krunch Ada.*, System.*, Gnat.*, etc.  This made some sense back
when I was using GNAT on DOS, since it meant GNAT library files would
always have the same names.  I don't know why it's still there (DOS
doesn't seem all that big a market for GNAT these days, and I don't
know if there are any other ports with the same filename limitation).

I think I recall Robert Dewar once explaining that this was part of
the "rules" GnatChop uses, but if it happened that was long long ago.

--Brian
          --He's the best physician that knows the --
          -- worthlessness of the most medicines.  --  Poor Richard