From: Simon Wright <simon@pushface.org>
Subject: Re: gnatmake error I don't understand
Date: Fri, 04 Apr 2014 08:37:22 +0100
Date: 2014-04-04T08:37:22+01:00 [thread overview]
Message-ID: <lytxa9h7f1.fsf@pushface.org> (raw)
In-Reply-To: 20140404061439.30bcff62@lufsen.sandat.dyndns.org
Per Sandberg <per.sandberg@sandat.dyndns.org> writes:
> The attribute "Main" is a file-name so it shall be:
> for main use ("habits.adb");
> and not:
> for main use ("Habits");
I know the manual[1] says it's a file name, but gnatmake & gprbuild will
assume ".adb" if the extension is omitted.
I think the problem is that it's being built on a Unix (case-sensitive)
file system; so
for main use ("habits");
should work.
[1] http://docs.adacore.com/gprbuild-docs/html/gprbuild_ug.html#Main-Subprograms
next prev parent reply other threads:[~2014-04-04 7:37 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-04-04 0:35 gnatmake error I don't understand agent
2014-04-04 0:44 ` agent
2014-04-04 4:14 ` Per Sandberg
2014-04-04 7:37 ` Simon Wright [this message]
2014-04-04 7:50 ` Simon Wright
2014-04-04 13:35 ` Tero Koskinen
2014-04-04 13:41 ` Robert A Duff
2014-04-04 17:14 ` Simon Wright
2014-04-04 17:45 ` Adam Beneschan
2014-04-05 0:35 ` Robert A Duff
2014-04-05 0:52 ` Adam Beneschan
2014-04-04 21:27 ` Randy Brukardt
2014-04-04 18:48 ` Stephen Leake
2014-04-04 19:25 ` Simon Wright
2014-04-04 20:02 ` drrob106
2014-04-04 20:43 ` Shark8
2014-04-04 22:58 ` Jeffrey Carter
2014-04-04 20:48 ` Simon Wright
2014-04-05 0:33 ` Robert A Duff
2014-04-05 8:17 ` Georg Bauhaus
2014-04-05 13:28 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox