• Source code for the ARM Formatting Tool

    From Vincent D.@21:1/5 to All on Wed Oct 25 14:15:00 2023
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Maxim Reznik@21:1/5 to All on Thu Oct 26 01:15:19 2023
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Vincent D.@21:1/5 to All on Thu Oct 26 07:58:13 2023
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Vincent D.@21:1/5 to All on Thu Oct 26 08:46:04 2023
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Simon Wright@21:1/5 to Vincent D. on Thu Oct 26 18:06:19 2023
    "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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Stephen Leake@21:1/5 to Simon Wright on Fri Oct 27 08:41:41 2023
    On Thursday, October 26, 2023 at 10:06:25 AM UTC-7, Simon Wright wrote:
    "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.

    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Randy Brukardt@21:1/5 to Simon Wright on Tue Oct 31 20:56:54 2023
    "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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Vincent D.@21:1/5 to All on Fri Nov 3 15:02:02 2023
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Randy Brukardt@21:1/5 to All on Thu Nov 16 19:17:08 2023
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)