Source code for the ARM Formatting Tool

Source code for the ARM Formatting Tool

[Vincent D.]

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.

Re: Source code for the ARM Formatting Tool

[Maxim Reznik]

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

Re: Source code for the ARM Formatting Tool

[Vincent D.]

Le jeudi 26 octobre 2023 à 10:15:21 UTC+2, Maxim Reznik a écrit :
> 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

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.

Re: Source code for the ARM Formatting Tool

[Vincent D.]

Le jeudi 26 octobre 2023 à 16:58:16 UTC+2, Vincent D. a écrit :
> Le jeudi 26 octobre 2023 à 10:15:21 UTC+2, Maxim Reznik a écrit : 
> > 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 
> 
> 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.

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

Re: Source code for the ARM Formatting Tool

[Simon Wright]

"Vincent D." <vincent.diemunsch@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.

Re: Source code for the ARM Formatting Tool

[Randy Brukardt]

"Simon Wright" <simon@pushface.org> wrote in message 
news:ly1qdhnwj8.fsf@pushface.org...
> "Vincent D." <vincent.diemunsch@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.

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.

Re: Source code for the ARM Formatting Tool

[Vincent D.]

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.

Re: Source code for the ARM Formatting Tool

[Randy Brukardt]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3145 bytes --]

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.diemunsch@gmail.com> wrote in message 
news:d90c3551-5483-46ba-8813-a30f8759d665n@googlegroups.com...
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.