Re: Source code for the ARM Formatting Tool

["Vincent D." <vincent.diemunsch@gmail.com>]

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