From mboxrd@z Thu Jan  1 00:00:00 1970
X-Received: by 2002:a05:620a:179f:b0:778:9747:99e3 with SMTP id ay31-20020a05620a179f00b00778974799e3mr356156qkb.6.1698335165236;
        Thu, 26 Oct 2023 08:46:05 -0700 (PDT)
X-Received: by 2002:a05:6808:20a0:b0:3b2:e45a:7475 with SMTP id
 s32-20020a05680820a000b003b2e45a7475mr7490898oiw.11.1698335164964; Thu, 26
 Oct 2023 08:46:04 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 26 Oct 2023 08:46:04 -0700 (PDT)
In-Reply-To: <eb5a29f2-be19-4533-a045-d0dc6e8b6d6cn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=90.63.246.187; posting-account=hya6vwoAAADTA0O27Aq3u6Su3lQKpSMz
NNTP-Posting-Host: 90.63.246.187
References: <8f19858f-9e07-4896-a1b7-b37867ca4609n@googlegroups.com>
 <731bdc12-9e8c-4b69-84a3-1dc5d3b4ecb1n@googlegroups.com> <eb5a29f2-be19-4533-a045-d0dc6e8b6d6cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d278fd9b-057e-4b48-9b18-f24e7e9fea43n@googlegroups.com>
Subject: Re: Source code for the ARM Formatting Tool
From: "Vincent D." <vincent.diemunsch@gmail.com>
Injection-Date: Thu, 26 Oct 2023 15:46:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:65816
List-Id: <comp.lang.ada>

Le jeudi 26 octobre 2023 =C3=A0 16:58:16 UTC+2, Vincent D. a =C3=A9crit=C2=
=A0:
> Le jeudi 26 octobre 2023 =C3=A0 10:15:21 UTC+2, Maxim Reznik a =C3=A9crit=
 :=20
> > Hello,=20
> > I have a github repository synced with ada-auth Web CVS. I was able to =
build the formatting tool from the source.=20
> > https://github.com/reznikmm/ada-auth/
> > Max=20
>=20
> Hello Maxim,=20
> Thank you for the link on GitHub, but the build didn't work for me : I ge=
t the same error regarding "ARM_Paragraph" package missing.=20
>=20
> $ git clone https://github.com/reznikmm/ada-auth.git=20
> $ cd ada-auth=20
> $ gprbuild -p -P ada_form.gpr=20
> Setup=20
> [mkdir] object directory for project Ada_Form=20
> Compile=20
> [Ada] arm_form.ada=20
> arm_form.ada:6:06: error: file "arm_paragraph.ads" not found=20
> arm_form.ada:6:06: error: "Arm_Formatter (body)" depends on "Arm_Master (=
spec)"=20
> arm_form.ada:6:06: error: "Arm_Master (spec)" depends on "Arm_Format (spe=
c)"=20
> arm_form.ada:6:06: error: "Arm_Format (spec)" depends on "Arm_Paragraph (=
spec)"=20
> gprbuild: *** compilation phase failed=20
>=20
> Kind regards,=20
>=20
> 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." fro=
m the 23/09/2022 where with ARM_Paragraph is added to arm_frm.adb but the p=
ackage was not added to the sources.

Regards,

Vincent