Source code for the ARM Formatting Tool

Vincent D.

unread,

Oct 25, 2023, 5:15:02 PM10/25/23

to

Hello,

I have tried to download the source code of the formatting tool from the site http://ada-auth.org/arm.html, but it seems that the package ARM_Paragraph is missing.

Does anyone knows how to get this file ?

Kind regards,

Vincent.

Maxim Reznik

unread,

Oct 26, 2023, 4:15:21 AM10/26/23

to

Hello,

I have a github repository synced with ada-auth Web CVS. I was able to build the formatting tool from the source.

https://github.com/reznikmm/ada-auth/

--
Max

Vincent D.

unread,

Oct 26, 2023, 10:58:16 AM10/26/23

to

> Max

Hello Maxim,
Thank you for the link on GitHub, but the build didn't work for me : I get the same error regarding "ARM_Paragraph" package missing.

$ git clone https://github.com/reznikmm/ada-auth.git
$ cd ada-auth
$ gprbuild -p -P ada_form.gpr
Setup
[mkdir] object directory for project Ada_Form
Compile
[Ada] arm_form.ada
arm_form.ada:6:06: error: file "arm_paragraph.ads" not found
arm_form.ada:6:06: error: "Arm_Formatter (body)" depends on "Arm_Master (spec)"
arm_form.ada:6:06: error: "Arm_Master (spec)" depends on "Arm_Format (spec)"
arm_form.ada:6:06: error: "Arm_Format (spec)" depends on "Arm_Paragraph (spec)"
gprbuild: *** compilation phase failed

Kind regards,

Vincent.

Vincent D.

unread,

Oct 26, 2023, 11:46:07 AM10/26/23

to

Versions that compile:
4500f560 Corrected note format for ISO version
29db0326 Split out the normative references clause.
ff3db3ca Various updates for FDIS work and draft 34.

Versions that do not compile:
0e95e912 Various updates for FDIS 2.0.
4d93b18c A number of small formatting changes, mostly only for the FDIS.
260566bd Various updates for FDIS/Draft 35.

The problem appears in version 0e95e912 "Various updates for FDIS 2.0." from the 23/09/2022 where with ARM_Paragraph is added to arm_frm.adb but the package was not added to the sources.

Regards,

Vincent

Simon Wright

unread,

Oct 26, 2023, 1:06:25 PM10/26/23

to

"Vincent D." <vincent....@gmail.com> writes:

> The problem appears in version 0e95e912 "Various updates for FDIS
> 2.0." from the 23/09/2022 where with ARM_Paragraph is added to
> arm_frm.adb but the package was not added to the sources.

Because it's not in CVS.

Stephen Leake

unread,

Oct 27, 2023, 11:41:43 AM10/27/23

to

There is a git copy of that source code in https://git.savannah.nongnu.org/cgit/ada-mode.git; see branches org.adaic.arm_form, org.adaic.arm_form.upstream. It's been a while since I updated it, but it does work.

What is your interest in this code?

I'm looking for someone to take over maintenance of the info version of the ARM.

Randy Brukardt

unread,

Oct 31, 2023, 9:56:27 PM10/31/23

to

"Simon Wright" <si...@pushface.org> wrote in message
news:ly1qdhn...@pushface.org...

It is now. And it always was in the ZIP file of the source. (That is made
from the files that I use to compile the tool, so it should always be
compilable.)

One of the big downsides of working at home is that some support functions
get delayed until one gets into the office -- and that means that they're
easily forgotten. As in this case, checking the new files into the CVS (the
existing files were updated, of course, leaving a mess for anyone trying to
buold from the CVS).

Sorry about that.

Randy.

Vincent D.

unread,

Nov 3, 2023, 6:02:04 PM11/3/23

to

Le mercredi 1 novembre 2023 à 02:56:27 UTC+1, Randy Brukardt a écrit :

> > Because it's not in CVS.

> It is now. And it always was in the ZIP file of the source. (That is made
> from the files that I use to compile the tool, so it should always be
> compilable.)
>
> One of the big downsides of working at home is that some support functions
> get delayed until one gets into the office -- and that means that they're
> easily forgotten. As in this case, checking the new files into the CVS (the
> existing files were updated, of course, leaving a mess for anyone trying to
> buold from the CVS).
>
> Sorry about that.
>
> Randy.

I am sorry, but even if I put the package "arm_paragraph" in the source code, I get compile errors :
for instance in version 0e95e9125e066ce564fe369221821452535b6260 :
gprbuild -p -P ada_form.gpr
Compile
[Ada] arm_form.ada
[Ada] arm_cont.adb
[Ada] arm_frm.adb
arm_frm.adb:1163:13: error: missing case value: "Usage"
arm_frm.adb:1544:33: error: missing case value: "Usage"
arm_frm.adb:1680:33: error: missing case value: "Usage"
arm_frm.adb:1738:17: error: missing case value: "Usage"
arm_frm.adb:2099:17: error: missing case value: "Usage"
arm_frm.adb:2197:17: error: missing case value: "Usage"
arm_frm.adb:9357:53: error: "Numbered_T_and_D_List" not declared in "ARM_Database"
arm_frm.adb:9362:53: error: "T_and_D_List" not declared in "ARM_Database"
arm_frms.adb:1415:33: error: unmatched actual "Note1_Text" in call

gprbuild: *** compilation phase failed

And with the latest : gprbuild -p -P ada_form.gpr
Compile
[Ada] arm_form.ada
arm_form.ada:263:41: error: "Rest" not declared in "ARM_Master"

gprbuild: *** compilation phase failed

What is the ZIP file of the source that you mentioned ? Where can I find it ?

Regards,

Vincent.

Randy Brukardt

unread,

Nov 16, 2023, 8:16:38 PM11/16/23

to

On each of the individual Reference Manual pages (that is, Ada 2012, Ada
2022, etc.) on Ada-Auth.org, at the bottom, you will find links for the
formatting tool, one for a Windows executable, one for the CVS, and one for
a ZIP file containing the source.

I'm not sure why you are seeing compilation problems with the CVS; it
appears complete and correct on my end. Did you make sure that you have the
latest versions of all of the files (they were updated on October 3rd)?

For example, the ARM_Frm.Adb file should have a change entry of:
-- 9/11/23 - RLB - Added Usage category and commands.
and of course have code for the Usage category and commands. I've started
some work for the post-Ada 2022 RM (currently known as Ada 202y) - the tool
is constantly evolving.

One of the advantages of using the ZIP files is that they reflect the tool
as it was used to generate a specific version of the RM; the "current"
version of the tool probably only has been tested on the "current" version
of the RM source and thus it is not certain to work perfectly.

Randy.

"Vincent D." <vincent....@gmail.com> wrote in message
news:d90c3551-5483-46ba...@googlegroups.com...

Lobin Bin

unread,

Nov 17, 2023, 6:45:31 AM11/17/23

to