From: "Vincent D." <vincent.diemunsch@gmail.com>
Subject: Re: Source code for the ARM Formatting Tool
Date: Thu, 26 Oct 2023 07:58:13 -0700 (PDT) [thread overview]
Message-ID: <eb5a29f2-be19-4533-a045-d0dc6e8b6d6cn@googlegroups.com> (raw)
In-Reply-To: <731bdc12-9e8c-4b69-84a3-1dc5d3b4ecb1n@googlegroups.com>
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.
next prev parent reply other threads:[~2023-10-26 14:58 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-10-25 21:15 Source code for the ARM Formatting Tool Vincent D.
2023-10-26 8:15 ` Maxim Reznik
2023-10-26 14:58 ` Vincent D. [this message]
2023-10-26 15:46 ` Vincent D.
2023-10-26 17:06 ` Simon Wright
2023-11-01 1:56 ` Randy Brukardt
2023-11-03 22:02 ` Vincent D.
2023-11-17 1:17 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox