From: Brian Drummond <brian3@shapes.demon.co.uk>
Subject: Re: Permutation generator in ada library
Date: Fri, 03 Oct 2014 11:00:34 GMT
Date: 2014-10-03T11:00:34+00:00 [thread overview]
Message-ID: <mlvXv.131770$GC3.127521@fx20.fr7> (raw)
In-Reply-To: 1d9e9cd4-3087-4357-9353-db4424a16e9b@googlegroups.com
On Thu, 02 Oct 2014 21:01:57 -0700, Stribor40 wrote:
> in the post above there is package that generates these permutations....
>
> I have saved 3 files....in same order as the files are in posting
> Generic_Perm.ads Generic_Perm.adb Print_Perms.adb
>
> when i try to compile....gnatmake Print_Perms.adb I get error...
>
> Generic_Perm.adb:1:14: file "generic_perm.ads" not found gnatmake:
> "Generic_Perm.adb" compilation error
>
> What am i doing wrong?
Gnat for some reason lower-cases the filenames when generating them from
the package names.
On Linux, the filenames Generic_Perm.ads and generic_perm.ads actually
refer to different files, and the second of these is apparently missing.
Rename the files and all will be well (or at least better!)
- Brian
next prev parent reply other threads:[~2014-10-03 11:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-10-03 0:36 Permutation generator in ada library Stribor40
2014-10-03 4:01 ` Stribor40
2014-10-03 4:34 ` AdaMagica
2014-10-03 4:47 ` Stribor40
2014-10-03 19:32 ` Shark8
2014-10-03 20:47 ` Simon Wright
2014-10-04 3:01 ` Shark8
2014-10-04 7:05 ` Simon Wright
2014-10-09 22:29 ` Randy Brukardt
2014-10-03 4:51 ` Stribor40
2014-10-03 6:28 ` Niklas Holsti
2014-10-03 10:10 ` Stribor40
2014-10-03 11:13 ` Simon Wright
2014-10-03 4:36 ` Niklas Holsti
2014-10-03 4:42 ` Stribor40
2014-10-03 11:00 ` Brian Drummond [this message]
2014-10-03 16:08 ` Niklas Holsti
2014-10-03 16:57 ` Björn Lundin
2014-10-03 12:54 ` john
2014-10-03 18:50 ` jpwoodruff
2014-10-04 18:06 ` Dirk Craeynest
2014-10-09 22:37 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox