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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!g19g2000yqo.googlegroups.com!not-for-mail
From: Britt <britt.snodgrass@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: SPARK examiner visibility problem
Date: Sun, 13 Sep 2009 17:32:22 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <f63375ca-b457-4456-9198-56691d70d2a5@g19g2000yqo.googlegroups.com>
References: <8d72d20b-489b-4494-9b13-1b00ee902850@j4g2000yqa.googlegroups.com>
NNTP-Posting-Host: 207.191.204.27
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1252888343 26047 127.0.0.1 (14 Sep 2009 00:32:23
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 14 Sep 2009 00:32:23 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: g19g2000yqo.googlegroups.com; posting-host=207.191.204.27;
	posting-account=rdRzuwoAAAAyW3CSBhs_xgfCUJSc1aNt
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1;
	Trident/4.0; .NET CLR 1.1.4322; .NET CLR 2.0.50727; .NET CLR 3.0.04506.648;
	.NET CLR 3.5.21022; InfoPath.1; .NET CLR 3.0.4506.2152; .NET CLR 3.5.30729;
	OfficeLiveConnector.1.3; OfficeLivePatch.0.0),gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:8316
Date: 2009-09-13T17:32:22-07:00
List-Id: <comp.lang.ada>

There are several things that can cause the visibility error message
you are seeing. Have you created an index file (using sparkmake) that
tells the Examiner where to find each of the source files? You will
need to pass the index file to the Examiner with the /index_file
switch.

- Britt