arm95 reference manual file not found

arm95 reference manual file not found

[R.Freitag]

Hi all,

in emacs the help function in adamode accesses a file arm95.

Where can i find this file, and where must it be placed to be accessed by 
emacs?

Thanks

Robert

Re: arm95 reference manual file not found

[Colin Paul Gloster]

On Wed, 9 Aug 2006, R.Freitag wrote:

"Hi all,

in emacs the help function in adamode accesses a file arm95.

Where can i find this file, [..]"

Versions not for Emacs are available from
WWW.AdaIC.org/standards/ada95.html

Re: arm95 reference manual file not found

[Stephen Leake]

Colin Paul Gloster <Colin_Paul_Gloster@ACM.org> writes:

> On Wed, 9 Aug 2006, R.Freitag wrote:
>
> "Hi all,
>
> in emacs the help function in adamode accesses a file arm95.
>
> Where can i find this file, [..]"
>
> Versions not for Emacs are available from
> WWW.AdaIC.org/standards/ada95.html

If you look carefully at that site, you will see the link "Tar.GZ of
info files" which _is_ for Emacs, and what R.Freitag asked for.

-- 
-- Stephe

Re: arm95 reference manual file not found

[Ludovic Brenta]

R.Freitag a écrit :

> Hi all,
>
> in emacs the help function in adamode accesses a file arm95.
>
> Where can i find this file, and where must it be placed to be accessed by
> emacs?

# apt-get install ada-reference-manual

will install the file:
/usr/share/info/arm95.info.gz

and update the directory file:
/usr/share/info/dir

-- 
Ludovic Brenta.

Re: arm95 reference manual file not found

[Martin Krischik]

Am 09.08.2006, 17:42 Uhr, schrieb Ludovic Brenta  
<ludovic@ludovic-brenta.org>:

>
> R.Freitag a écrit :
>
>> Hi all,
>>
>> in emacs the help function in adamode accesses a file arm95.
>>
>> Where can i find this file, and where must it be placed to be accessed  
>> by
>> emacs?
>
> # apt-get install ada-reference-manual
>
> will install the file:
> /usr/share/info/arm95.info.gz
>
> and update the directory file:
> /usr/share/info/dir

Is there a source tar ball for those who don't have debian?

Martin
-- 
Martin Krischik
krischik@users.sourceforge.net

Re: arm95 reference manual file not found

[mgrojo]

Martin Krischik ha escrito:

>
> Is there a source tar ball for those who don't have debian?
>

Of course, you can find source tarballs for all the Debian packages on
their official website:

http://packages.debian.org/stable/source/ada-reference-manual

Re: arm95 reference manual file not found

[Florian Weimer]

* Martin Krischik:

> Is there a source tar ball for those who don't have debian?

Sort of.  The Texinfo file has been converted manually from the
original Ada 95 standard (without TC1).  In Debian's sense, the
document processing tool used for newer standard versions is still
non-free, and no one has bothered yet to update it to produce Texinfo
output, or redo the manual conversion.

Re: arm95 reference manual file not found

[Ludovic Brenta]

Martin Krischik writes:
> Ludovic Brenta:
>> # apt-get install ada-reference-manual
>>
>> will install the file:
>> /usr/share/info/arm95.info.gz
>>
>> and update the directory file:
>> /usr/share/info/dir
>
> Is there a source tar ball for those who don't have debian?

Yes, as "mgrojo" pointed out.  Moreover, .deb files are really "ar"
archives containing two files: data.tar.gz (the files of the package)
and control.tar.gz (the installation scripts).  So therefore:

$ ar xf ada-reference-manual_20021112web-3_all.deb
$ tar xvzf data.tar.gz

But in the long run, it is easier to just install Debian :)

-- 
Ludovic Brenta.

Re: arm95 reference manual file not found

[Martin Krischik]

Am 09.08.2006, 16:14 Uhr, schrieb R.Freitag <rfr-mailbox@gmx.de>:

> Hi all,
>
> in emacs the help function in adamode accesses a file arm95.
>
> Where can i find this file, and where must it be placed to be accessed by
> emacs?

There is currently some effort to imporve the Ada-Mode for both Emacs and  
Vim done by The GNU Ada Project.

http://gnuada.sourceforge.net/

You can download the latest files here:

http://svn.sourceforge.net/viewvc/gnuada/trunk/tools/

For Emacs (unlike vim) there is much talk but not much done - prehaps you  
like to join the effort to change that. If so send a support request to be  
added to the project.

http://sourceforge.net/tracker/?group_id=12974&atid=212974

Martin
-- 
Martin Krischik
krischik@users.sourceforge.net