* gnat-ajis-2009 jvm2ada missing packages?
@ 2010-05-02 15:59 Oliver Kellogg
2010-05-03 5:10 ` Oliver Kellogg
0 siblings, 1 reply; 2+ messages in thread
From: Oliver Kellogg @ 2010-05-02 15:59 UTC (permalink / raw)
In an attempt to reactivate the RAPID Java backend
(http://svn.savannah.nongnu.org/viewvc/tags/rapid-3.01/jvm_peer/?
root=rapid), I found that libre.adacore.com does not offer a download of
JGNAT for Linux.
The closest I could find is AJIS, and on taking "jvm2ada -jni" for a
little spin I find the generated code references a few packages that I
can't find anywhere:
jvm.ads
jni_jvm.ads
jni_object.ads
java_primitives.ads
Am I overlooking something?
Thanks for any pointers or help,
Oliver
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: gnat-ajis-2009 jvm2ada missing packages?
2010-05-02 15:59 gnat-ajis-2009 jvm2ada missing packages? Oliver Kellogg
@ 2010-05-03 5:10 ` Oliver Kellogg
0 siblings, 0 replies; 2+ messages in thread
From: Oliver Kellogg @ 2010-05-03 5:10 UTC (permalink / raw)
Problem seems to be solved, I found those packages in the source tarball.
(Still don't understand why they are not included in the gnat-ajis-
gpl-2009-i686-pc-linux-gnu-bin.tgz, though.)
Oliver
--
Oliver Kellogg wrote:
>
> In an attempt to reactivate the RAPID Java backend
> (http://svn.savannah.nongnu.org/viewvc/tags/rapid-3.01/jvm_peer/?
> root=rapid), I found that libre.adacore.com does not offer a download of
> JGNAT for Linux.
>
> The closest I could find is AJIS, and on taking "jvm2ada -jni" for a
> little spin I find the generated code references a few packages that I
> can't find anywhere:
> jvm.ads
> jni_jvm.ads
> jni_object.ads
> java_primitives.ads
>
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2010-05-03 5:10 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-05-02 15:59 gnat-ajis-2009 jvm2ada missing packages? Oliver Kellogg
2010-05-03 5:10 ` Oliver Kellogg
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox