GNU logs - #66017, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#66017: Cannot install Ada mode
Resent-From: Left Right <olegsivokon@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 15 Sep 2023 20:13:01 +0000
Resent-Message-ID: <handler.66017.B.16948087581012 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 66017 <at> debbugs.gnu.org
MIME-Version: 1.0
From: Left Right <olegsivokon@HIDDEN>
Date: Fri, 15 Sep 2023 22:12:04 +0200
Message-ID: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=2607:f8b0:4864:20::930;
 envelope-from=olegsivokon@HIDDEN; helo=mail-ua1-x930.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.0 (+)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.0 (/)

Hello.

I'm trying to install Ada mode in Emacs 29.1 on Manjaro.

This is my experience so far:

=E2=9D=AF cd ~/.emacs.d/elpa/ada-mode-8.0.5
=E2=9D=AF ./build.sh
alr is /usr/local/bin/alr
building ada-mode executables via Alire
error: Crate [emacs_ada_mode~8.0.5] does not exist in the catalog.
./build.sh: line 16: cd: emacs_ada_mode_*: No such file or directory
error: Cannot continue with invalid session:
error:    Could not detect a session folder at current or parent locations

When I try searching for this crate:

=E2=9D=AF alr index --update-all
Already up to date.
=E2=9D=AF alr search emacs
No hits

Also, documentation mentions that Ada mode is supposed to be built-in,
but unless I install this package from ELPA, there's no Ada mode in my
Emacs installation.

I found this page: https://alire.ada.dev/crates/emacs_ada_mode.html
which seems to imply that the crate exists, but I don't understand why
alr isn't finding it. (I'm very new to Ada).

Any help would be very welcome.

Best.

Oleg

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Left Right <olegsivokon@HIDDEN>
Subject: bug#66017: Acknowledgement (Cannot install Ada mode)
Message-ID: <handler.66017.B.16948087581012.ack <at> debbugs.gnu.org>
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
X-Gnu-PR-Message: ack 66017
X-Gnu-PR-Package: emacs
Reply-To: 66017 <at> debbugs.gnu.org
Date: Fri, 15 Sep 2023 20:13:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 66017 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
66017: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D66017
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#66017: Cannot install Ada mode
Resent-From: Gerd =?UTF-8?Q?M=C3=B6llmann?= <gerd.moellmann@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 15 Sep 2023 20:38:02 +0000
Resent-Message-ID: <handler.66017.B66017.16948102733760 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Left Right <olegsivokon@HIDDEN>
Cc: Stephen Leake <stephen_leake@HIDDEN>, 66017 <at> debbugs.gnu.org
From: Gerd =?UTF-8?Q?M=C3=B6llmann?= <gerd.moellmann@HIDDEN>
In-Reply-To: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 (Left Right's message of "Fri, 15 Sep 2023 22:12:04 +0200")
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
Date: Fri, 15 Sep 2023 22:37:35 +0200
Message-ID: <m25y4b5g1c.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Left Right <olegsivokon@HIDDEN> writes:

> Hello.
>
> I'm trying to install Ada mode in Emacs 29.1 on Manjaro.
>
> This is my experience so far:
>
> =E2=9D=AF cd ~/.emacs.d/elpa/ada-mode-8.0.5
> =E2=9D=AF ./build.sh
> alr is /usr/local/bin/alr
> building ada-mode executables via Alire
> error: Crate [emacs_ada_mode~8.0.5] does not exist in the catalog.
> ./build.sh: line 16: cd: emacs_ada_mode_*: No such file or directory
> error: Cannot continue with invalid session:
> error:    Could not detect a session folder at current or parent locations
>
> When I try searching for this crate:
>
> =E2=9D=AF alr index --update-all
> Already up to date.
> =E2=9D=AF alr search emacs
> No hits
>
> Also, documentation mentions that Ada mode is supposed to be built-in,
> but unless I install this package from ELPA, there's no Ada mode in my
> Emacs installation.
>
> I found this page: https://alire.ada.dev/crates/emacs_ada_mode.html
> which seems to imply that the crate exists, but I don't understand why
> alr isn't finding it. (I'm very new to Ada).
>
> Any help would be very welcome.
>
> Best.
>
> Oleg

Stephen Leake (in is the maintainer of ada-mode,=20

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#66017: Cannot install Ada mode
Resent-From: Gerd =?UTF-8?Q?M=C3=B6llmann?= <gerd.moellmann@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 15 Sep 2023 20:40:02 +0000
Resent-Message-ID: <handler.66017.B66017.16948103603925 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Left Right <olegsivokon@HIDDEN>
Cc: Stephen Leake <stephen_leake@HIDDEN>, 66017 <at> debbugs.gnu.org
From: Gerd =?UTF-8?Q?M=C3=B6llmann?= <gerd.moellmann@HIDDEN>
In-Reply-To: <m25y4b5g1c.fsf@HIDDEN> ("Gerd =?UTF-8?Q?M=C3=B6llmann?="'s message of "Fri, 15 Sep 2023 22:37:35 +0200")
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN>
Date: Fri, 15 Sep 2023 22:39:02 +0200
Message-ID: <m21qez5fyx.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Gerd M=C3=B6llmann <gerd.moellmann@HIDDEN> writes:

> Stephen Leake (in is the maintainer of ada-mode,

That went somehow wrong :-(.  Stephen is the emaintainer of ada-mode.
Maybe he can help you.

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Left Right <olegsivokon@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 15 Sep 2023 20:53:01 +0000
Resent-Message-ID: <handler.66017.B.16948111765586 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: 66017 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-gnu-emacs@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.16948111765586
          (code B ref -1); Fri, 15 Sep 2023 20:53:01 +0000
Received: (at submit) by debbugs.gnu.org; 15 Sep 2023 20:52:56 +0000
Received: from localhost ([127.0.0.1]:44975 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qhFo7-0001S2-NF
	for submit <at> debbugs.gnu.org; Fri, 15 Sep 2023 16:52:56 -0400
Received: from lists.gnu.org ([2001:470:142::17]:57002)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <olegsivokon@HIDDEN>) id 1qhFo5-0001Rm-Lg
 for submit <at> debbugs.gnu.org; Fri, 15 Sep 2023 16:52:54 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <olegsivokon@HIDDEN>)
 id 1qhFnt-0000Sb-Cs
 for bug-gnu-emacs@HIDDEN; Fri, 15 Sep 2023 16:52:41 -0400
Received: from mail-ua1-x92e.google.com ([2607:f8b0:4864:20::92e])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <olegsivokon@HIDDEN>)
 id 1qhFnr-000224-JF
 for bug-gnu-emacs@HIDDEN; Fri, 15 Sep 2023 16:52:41 -0400
Received: by mail-ua1-x92e.google.com with SMTP id
 a1e0cc1a2514c-78caeb69125so1083107241.3
 for <bug-gnu-emacs@HIDDEN>; Fri, 15 Sep 2023 13:52:39 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1694811158; x=1695415958; darn=gnu.org;
 h=content-transfer-encoding:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:from:to:cc:subject:date
 :message-id:reply-to;
 bh=p4AMwJVTIPYDGO6EtR1A5ltep6MXdbaB9wd4c1FnzLQ=;
 b=meR6Yc2+sfoYtGEd9jip7cF6yKmGCbWKfW3t2GtFL5nntIQN3++yT340ZDSPHWWtWd
 UEAdiB6sNpL48TC9PL2DuEb0n4VNYYy3aUMce9Z3rJtfKV9WSgtrwSZHz4VE4j8FOo+u
 4lSTZ9IcUpzJiktrze1A1PmZibybKRwe6XHfUS2UWbbcZbZ4+y3Mz0UFRVY6suMBu2QE
 hQoaqkpIA2wzCNLA0jobQkXUUes+qRFpAfeJDmoE4GW0Zy6EEaLWynYCOGM6AK0Ic3p/
 sLwIXFCccb84rJg8ijOXmeVYtttTDsUNq9G8/p7GlUoykqWSjAyMDXuS052RAsV+ok1h
 Z8wA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1694811158; x=1695415958;
 h=content-transfer-encoding:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=p4AMwJVTIPYDGO6EtR1A5ltep6MXdbaB9wd4c1FnzLQ=;
 b=fF8/UnAJ1As9VFJORDwZa7egHe9jRAIv8ksD10hUUDyc0UTgQigHr2//eWXzHoC1Ws
 MqVY1Xa3TyjTFwQRl6nevUTzAyBD4LysFMe6tCe5RVMbLgZoLcoSPeMKElcElyhgXtWd
 jhOMCcLHY8Uvp05g60BZQQyceLqETkt3zAe3lgHTSbHXTQphjwWxujvaAQNyXfl9KIcF
 Mok0ZEwh8UeFEr9OBfiZH7USgyapIvPuWdOajKAs1p/Ng2IHHG3q2C9DPqdVUvSf2jQm
 F3QDnRVY79QvFVTkG7ccmpY5oVKALHPWNGCzBM5e+oN5LGGukLYEtw3sZYE6JMN3cAp4
 Xy0A==
X-Gm-Message-State: AOJu0YyZFSjokJjRIY1shCf5DD+2OIfau9R7n7BqNcfb10sAgceuP9yz
 c4AknoNSeNkjwr46zzi1N+Nx8zM+lLmTkHa08JVNvAj4DNQ=
X-Google-Smtp-Source: AGHT+IG9oTkDc0ZtQYE4sjb7lc/OhP9LmFAiOcgHdowuyNgngyVe+ZJ892neO6/seAxvRt9fx2xwglI2pVD4vCTSrY4=
X-Received: by 2002:a05:6102:142:b0:44d:5435:a3f with SMTP id
 a2-20020a056102014200b0044d54350a3fmr2499419vsr.29.1694811158198; Fri, 15 Sep
 2023 13:52:38 -0700 (PDT)
MIME-Version: 1.0
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
In-Reply-To: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
From: Left Right <olegsivokon@HIDDEN>
Date: Fri, 15 Sep 2023 22:52:27 +0200
Message-ID: <CAJQBtgniv=8ujx3stSmrvtTzA4iUYU4_b00wiWX1fNk1NdGcTQ@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=2607:f8b0:4864:20::92e;
 envelope-from=olegsivokon@HIDDEN; helo=mail-ua1-x92e.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.0 (+)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.0 (/)

Hi.

I seem to have found the problem. I discovered I somehow had two
different versions of Alire installed: 1.2.0 and 1.2.1. The older one
was the one found when running build.sh. However, the Emacs Ada mode
crate must've been added after 1.2.1 Alire index was created. I
couldn't find a way to update Alire, and apparently, older Alire
cannot use the newer index... but deleting the old version allowed me
to make some progress.  Now it fails like this:

wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not
modified, could be declared constant [-gnatwk]
gnatcoll-projects.adb:38:09: warning: unit "Ada.Unchecked_Conversion"
is not referenced [-gnatwu]

   compilation of wisitoken-followed_by.adb failed

gprbuild: *** compilation phase failed
error: Command ["gprbuild", "-s", "-j0", "-p", "-P",
"/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/ali=
re/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"]
exited with code 4
error: Compilation failed.

I'd still appreciate your help dealing with this.

Also, it would be nice if documentation mentioned the minimum required
version of Alire.

Trying to run the command that failed generates this:

=E2=9D=AF "gprbuild" "-s" "-j0" "-p" "-P"
"/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/ali=
re/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"
wisitoken_alire.gpr:8:06: imported project file
"standard_common_alire" not found
wisitoken_alire.gpr:28:43: unknown package or project "Standard_Common_Alir=
e"
wisitoken_alire.gpr:28:43: wrong expression kind for attribute
"default_switches"
wisitoken_alire.gpr:28:84: unknown package or project "Standard_Common_Alir=
e"
wisitoken_alire.gpr:31:43: unknown package or project "Standard_Common_Alir=
e"
wisitoken_alire.gpr:31:43: wrong expression kind for attribute
"default_switches"
wisitoken_alire.gpr:31:82: unknown package or project "Standard_Common_Alir=
e"
wisitoken_alire.gpr:35:41: unknown package or project "Standard_Common_Alir=
e"
wisitoken_config.gpr:3:06: imported project file
"stephes_ada_library.gpr" not found
wisitoken_config.gpr:3:06: imported by
"/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/ali=
re/cache/dependencies/wisitoken_4.1.0_f9cd282e/config/wisitoken_config.gpr"
wisitoken_config.gpr:3:06: imported by
"/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/ali=
re/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"
gprbuild: "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ec=
fdcfb4/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_al=
ire.gpr"
processing failed

On Fri, Sep 15, 2023 at 10:12=E2=80=AFPM Left Right <olegsivokon@HIDDEN>=
 wrote:
>
> Hello.
>
> I'm trying to install Ada mode in Emacs 29.1 on Manjaro.
>
> This is my experience so far:
>
> =E2=9D=AF cd ~/.emacs.d/elpa/ada-mode-8.0.5
> =E2=9D=AF ./build.sh
> alr is /usr/local/bin/alr
> building ada-mode executables via Alire
> error: Crate [emacs_ada_mode~8.0.5] does not exist in the catalog.
> ./build.sh: line 16: cd: emacs_ada_mode_*: No such file or directory
> error: Cannot continue with invalid session:
> error:    Could not detect a session folder at current or parent location=
s
>
> When I try searching for this crate:
>
> =E2=9D=AF alr index --update-all
> Already up to date.
> =E2=9D=AF alr search emacs
> No hits
>
> Also, documentation mentions that Ada mode is supposed to be built-in,
> but unless I install this package from ELPA, there's no Ada mode in my
> Emacs installation.
>
> I found this page: https://alire.ada.dev/crates/emacs_ada_mode.html
> which seems to imply that the crate exists, but I don't understand why
> alr isn't finding it. (I'm very new to Ada).
>
> Any help would be very welcome.
>
> Best.
>
> Oleg

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Stephen Leake <stephen_leake@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 18 Sep 2023 16:54:02 +0000
Resent-Message-ID: <handler.66017.B66017.1695056032951 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: 66017 <at> debbugs.gnu.org
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.1695056032951
          (code B ref 66017); Mon, 18 Sep 2023 16:54:02 +0000
Received: (at 66017) by debbugs.gnu.org; 18 Sep 2023 16:53:52 +0000
Received: from localhost ([127.0.0.1]:54271 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qiHVP-0000FH-PQ
	for submit <at> debbugs.gnu.org; Mon, 18 Sep 2023 12:53:52 -0400
Received: from omta040.useast.a.cloudfilter.net ([44.202.169.39]:39857)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stephen_leake@HIDDEN>) id 1qiHVL-0000Es-IF
 for 66017 <at> debbugs.gnu.org; Mon, 18 Sep 2023 12:53:50 -0400
Received: from eig-obgw-6002a.ext.cloudfilter.net ([10.0.30.222])
 by cmsmtp with ESMTP
 id iCgOqjb2CyYOwiHV7qHCCi; Mon, 18 Sep 2023 16:53:33 +0000
Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with ESMTPS
 id iHV6q91U7loGfiHV6qPky2; Mon, 18 Sep 2023 16:53:32 +0000
X-Authority-Analysis: v=2.4 cv=JeivEGGV c=1 sm=1 tr=0 ts=6508808c
 a=dWLzHQi6WpdymmZIwiVdBw==:117 a=Fln8i1WyhtedwaIJAdHvmw==:17
 a=OWjo9vPv0XrRhIrVQ50Ab3nP57M=:19 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19
 a=IkcTkHD0fZMA:10 a=zNV7Rl7Rt7sA:10 a=vvvmwbhNdt4A:10 a=pGLkceISAAAA:8
 a=JwjBE6BEmGa5N4mOabsA:9 a=QEXdDO2ut3YA:10
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=stephe-leake.org; s=default; h=Content-Transfer-Encoding:Content-Type:
 MIME-Version:Message-ID:In-Reply-To:Date:References:Subject:To:From:Sender:
 Reply-To:Cc:Content-ID:Content-Description:Resent-Date:Resent-From:
 Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:
 List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=dstE3y69forr4RFOnGQFkoIQx6r7zT9kLsBCZMsrMlc=; b=le3mxjq3uwxFuLegNtLbuC2IDu
 NHSvSf4yI0uI6AiPRWvGx2+TCGcj0mirAV8GnEdAa0ZaUeDWZyfKT041az4AYc5ofrSGxXruhWOcp
 XnvSi6Chzi6LJ6eNfmnSPtxONfQMvsvkUIaUjnhAFGucXRB4uCaEbGevysNhaNnGo1PS0BO9S3Aqn
 3jEp6Kk9dDtxkt2GCx0g8WQOQNZX4xf4AJmpCneWKQ8l3z54ba5Zs+EWamPijcjibZXz/6lnhuMue
 9mgMfRN8y2eM9MqQ347YdDQK/LsWAs7mV+LTnXs7YCwKPtXmTDl8BqXko0c5mRftkpnDoLgu0vsNL
 hUefvq1Q==;
Received: from 135-180-197-170.fiber.dynamic.sonic.net
 ([135.180.197.170]:59236 helo=DESKTOP-G20DCG1)
 by host2007.hostmonster.com with esmtpsa (TLS1.2) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96)
 (envelope-from <stephen_leake@HIDDEN>) id 1qiHV5-001NpD-2f
 for 66017 <at> debbugs.gnu.org; Mon, 18 Sep 2023 10:53:31 -0600
From: Stephen Leake <stephen_leake@HIDDEN>
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN> <m21qez5fyx.fsf@HIDDEN>
Date: Mon, 18 Sep 2023 09:53:30 -0700
In-Reply-To: <m21qez5fyx.fsf@HIDDEN> ("Gerd =?UTF-8?Q?M=C3=B6llmann?="'s message of "Fri, 15 Sep 2023 22:39:02 +0200")
Message-ID: <86jzsn8lth.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (windows-nt)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-AntiAbuse: This header was added to track abuse,
 please include it with any abuse report
X-AntiAbuse: Primary Hostname - host2007.hostmonster.com
X-AntiAbuse: Original Domain - debbugs.gnu.org
X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12]
X-AntiAbuse: Sender Address Domain - stephe-leake.org
X-BWhitelist: no
X-Source-IP: 135.180.197.170
X-Source-L: No
X-Exim-ID: 1qiHV5-001NpD-2f
X-Source: 
X-Source-Args: 
X-Source-Dir: 
X-Source-Sender: 135-180-197-170.fiber.dynamic.sonic.net (DESKTOP-G20DCG1)
 [135.180.197.170]:59236
X-Source-Auth: stephen_leake@HIDDEN
X-Email-Count: 1
X-Org: HG=bhshared_hm;ORG=bluehost;
X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t
X-Local-Domain: yes
X-CMAE-Envelope: MS4xfNsWUS7uie4i4yX1KancsbnaWMBq3KDs5onPHspZPRrP7Oyccg4CWt9HflfD5QEQ1Vd6ZQ2URw/wCtwtD5h5a8MXHFFxNrRyMCimMv65akZvjSdPoNnN
 Jgka2DENoL4Klugi+B84857ULZvus3pDyvYKhrJAvSboCLcAgVgHs8f02Nxe61WwSs8C33PmiRDBaOyUEUDFlZGN1UlfLcnenJ0=
X-Spam-Score: -0.7 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

Gerd M=C3=B6llmann <gerd.moellmann@HIDDEN> writes:

> wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not
> modified, could be declared constant [-gnatwk]

This indicates you are using a compiler external to Alire, with a newer ver=
sion
than the internal one; I only test with Alire internal compilers, for
consistency.

Please configure the internal Alire compiler.

I will add the tested Alire version to the documentation.

Earlier, you said:

> Also, documentation mentions that Ada mode is supposed to be built-in,

What documentation says that?

--=20
-- Stephe

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Left Right <olegsivokon@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 19 Sep 2023 19:57:02 +0000
Resent-Message-ID: <handler.66017.B66017.16951534183212 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: 66017 <at> debbugs.gnu.org
Cc: Stephen Leake <stephen_leake@HIDDEN>
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.16951534183212
          (code B ref 66017); Tue, 19 Sep 2023 19:57:02 +0000
Received: (at 66017) by debbugs.gnu.org; 19 Sep 2023 19:56:58 +0000
Received: from localhost ([127.0.0.1]:57850 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qigq9-0000pk-MK
	for submit <at> debbugs.gnu.org; Tue, 19 Sep 2023 15:56:58 -0400
Received: from mail-vk1-xa34.google.com ([2607:f8b0:4864:20::a34]:42466)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <olegsivokon@HIDDEN>) id 1qigq6-0000pW-V8
 for 66017 <at> debbugs.gnu.org; Tue, 19 Sep 2023 15:56:56 -0400
Received: by mail-vk1-xa34.google.com with SMTP id
 71dfb90a1353d-4935f2d6815so117897e0c.1
 for <66017 <at> debbugs.gnu.org>; Tue, 19 Sep 2023 12:56:45 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1695153400; x=1695758200; darn=debbugs.gnu.org;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:from:to:cc:subject:date
 :message-id:reply-to;
 bh=ScOFm8Xi3qcM3k5Qf9QQOt2T72nmn921JFw4e/ajyB4=;
 b=Ml3RGH++frAVJa5jehIVI6jkBQ8UirwYhvFjbQga63a7FfgIWY1N7oDt2EWW0avCTk
 WbpAAlqcHU5eLEHjd2JSfGMWQS4h60z7XzWR9I/+qVQHWujVxt7Qe7I44BnBSgVTsRyf
 5XgU7Hiz3bdxmzuEN4cnTqIP7zPyho8HwaTB0qz6ALmf2K4APzgzzMEg/M1fzLAZGSLJ
 EBrULekI0EUl1J51Mcrhd3pQb9c5YBYSZuXljQesqYTRiqF/dVylt6GpiklW8RdBWhvV
 +71G16jgjVPiifY25tawI8IE+91HzEk/AEmICsK/RDoiA2A3qdlpXhyjktX0gHeXB82q
 kqrQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1695153400; x=1695758200;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=ScOFm8Xi3qcM3k5Qf9QQOt2T72nmn921JFw4e/ajyB4=;
 b=Crm+ywfRaLEpcIb6G8XRzn2tbFi7dHkHDUADeH3WlvHzue2XXovcwYh1sYkzUbQEav
 NfX6FCIRSCwT2AJ/Egr7q3zMZ0W0vawdHdlypFbE6RhUteUba7fl5PwPj9ieGrm9xkXL
 PFh1k0+U5hUnlWp0opiCX4WNoQb2inyMPqNIRCbmVIjJQ2MMERQTqardu9rS2Xuf2Doh
 CVZP+hhMA3o7VGR+a1/oD2mpBE1wCnqQXHG+6RDjYt5cIPhsxvlmNsS4QI1BYt5Eoh6v
 DaI4+hB0M/98IB650R6IL41Fa3nZYXIOoHEg1nuNvgBqqbs0CCVKcrs6IZnVVCRSfiU+
 aOaw==
X-Gm-Message-State: AOJu0YzbAZxrLXg50Rb/k8vAmgw6hYTEUYmgIvmBJHG13PDfJaopdV42
 LsUqf/5ryRB/cQPx6xDDfc8uJP896qLZ01kZR11TaU+yRVg=
X-Google-Smtp-Source: AGHT+IGKGUX/of44lAslIdjxr+w3BJTLMmGAO3HXdp4ckh+3N+JL36811Rsu0MuqczJHokUD6lesfIdr4yq1VXvhWk0=
X-Received: by 2002:a1f:eb81:0:b0:490:1723:a491 with SMTP id
 j123-20020a1feb81000000b004901723a491mr491379vkh.5.1695153399922; Tue, 19 Sep
 2023 12:56:39 -0700 (PDT)
MIME-Version: 1.0
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN>
In-Reply-To: <m25y4b5g1c.fsf@HIDDEN>
From: Left Right <olegsivokon@HIDDEN>
Date: Tue, 19 Sep 2023 21:56:28 +0200
Message-ID: <CAJQBtgm2NRG-QQasBp=-x6yngO8D8ASmRH-HZFaNBL0JfKmeVA@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Hello Stephen, you wrote:

> This indicates you are using a compiler external to Alire, with a newer v=
ersion
> than the internal one; I only test with Alire internal compilers, for
> consistency.

> Please configure the internal Alire compiler.

> I will add the tested Alire version to the documentation.

I don't know what to do with Alire, but I will try to figure out. But
please consider that anyone trying to install Ada on Linux will
firstly try to go through the process recommended by the distro
maintainers.  In my case, it's a combination of using pacman to
install gcc-ada and AUR (auxiliary packages not directly maintained by
Arch distribution) to install gprbuild, adaxml, alire etc. All I've
done so far to install Ada was to install packages from these sources.
(Unfortunately, both documentation and execution here are lacking, and
the process is quite complicated and error-prone).

It seems like you want me to install what gcc-ada would install, but
through Alire. Am I right? In other words, something that isn't
provided and managed by the Linux distribution I'm using. This seems
like a process that requires a lot more expertise from an average user
(building any GCC compiler is not an easy task). Why is this the
prefered choice of environment?

As for the documentation: it seems we are reading two different
documentations. Is the one you are referring to available online?

I was reading this:
https://www.gnu.org/software/emacs/manual/html_mono/ada-mode.html#Installat=
ion

specifically:
"Ada mode is part of the standard Emacs distribution; if you use that,
no files need to be installed."

This documentation has no mention of how to build Ada mode, nor
anything about how Ada compiler and toolchain are meant to be set up
etc.

Thank you.

Oleg

On Fri, Sep 15, 2023 at 10:37=E2=80=AFPM Gerd M=C3=B6llmann <gerd.moellmann=
@gmail.com> wrote:
>
> Left Right <olegsivokon@HIDDEN> writes:
>
> > Hello.
> >
> > I'm trying to install Ada mode in Emacs 29.1 on Manjaro.
> >
> > This is my experience so far:
> >
> > =E2=9D=AF cd ~/.emacs.d/elpa/ada-mode-8.0.5
> > =E2=9D=AF ./build.sh
> > alr is /usr/local/bin/alr
> > building ada-mode executables via Alire
> > error: Crate [emacs_ada_mode~8.0.5] does not exist in the catalog.
> > ./build.sh: line 16: cd: emacs_ada_mode_*: No such file or directory
> > error: Cannot continue with invalid session:
> > error:    Could not detect a session folder at current or parent locati=
ons
> >
> > When I try searching for this crate:
> >
> > =E2=9D=AF alr index --update-all
> > Already up to date.
> > =E2=9D=AF alr search emacs
> > No hits
> >
> > Also, documentation mentions that Ada mode is supposed to be built-in,
> > but unless I install this package from ELPA, there's no Ada mode in my
> > Emacs installation.
> >
> > I found this page: https://alire.ada.dev/crates/emacs_ada_mode.html
> > which seems to imply that the crate exists, but I don't understand why
> > alr isn't finding it. (I'm very new to Ada).
> >
> > Any help would be very welcome.
> >
> > Best.
> >
> > Oleg
>
> Stephen Leake (in is the maintainer of ada-mode,

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Richard Stallman <rms@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 19 Sep 2023 23:16:02 +0000
Resent-Message-ID: <handler.66017.B66017.169516531424041 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stephen Leake <stephen_leake@HIDDEN>
Cc: 66017 <at> debbugs.gnu.org
Reply-To: rms@HIDDEN
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.169516531424041
          (code B ref 66017); Tue, 19 Sep 2023 23:16:02 +0000
Received: (at 66017) by debbugs.gnu.org; 19 Sep 2023 23:15:14 +0000
Received: from localhost ([127.0.0.1]:57923 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qijw2-0006Fh-Fd
	for submit <at> debbugs.gnu.org; Tue, 19 Sep 2023 19:15:14 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10]:43966)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <rms@HIDDEN>) id 1qijvz-0006FO-6L
 for 66017 <at> debbugs.gnu.org; Tue, 19 Sep 2023 19:15:12 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <rms@HIDDEN>)
 id 1qijvk-00062s-FP; Tue, 19 Sep 2023 19:14:56 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=Date:References:Subject:In-Reply-To:To:From:
 mime-version; bh=XQKGNebl0TXeMLRxUGqMG5kEC9gjlA+zACT+SdBuMic=; b=WHauxbTPfHFk
 TUTvHxxke7l8D6Y1OTa2/5iQtcHFo1uPoKu5gKUSATKVWg5YwEaeKFlkUxr6OvotdE7sHDu+BZb0a
 yjiFhHO1NVmRj7qWIcmgfOBOg7dlOrELF67VyiaJxnM6kqFQu2KU6Xg/Tw++/0gJNTPKg+IvKQiLu
 dTcm75lOuj/27MjwDRPvlFLyWSNBtyScBj9hDr+tM39sWZsnBBTHUfL7b2vhW3VcSah0X/fsLZcUv
 RupHmB4E6xd5AuDWvsxGsPXtYHkIRwaS3W+oKW21ghTO2xRy4i/VMoYVtKrHIzlC4iMCM0eZ9VmqM
 es33M7mVUttR54V8DRTBFg==;
Received: from rms by fencepost.gnu.org with local (Exim 4.90_1)
 (envelope-from <rms@HIDDEN>)
 id 1qijvk-0005gL-7h; Tue, 19 Sep 2023 19:14:56 -0400
Content-Type: text/plain; charset=Utf-8
From: Richard Stallman <rms@HIDDEN>
In-Reply-To: <86jzsn8lth.fsf@HIDDEN> (message from Stephen Leake on
 Mon, 18 Sep 2023 09:53:30 -0700)
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN> <m21qez5fyx.fsf@HIDDEN>
 <86jzsn8lth.fsf@HIDDEN>
Message-Id: <E1qijvk-0005gL-7h@HIDDEN>
Date: Tue, 19 Sep 2023 19:14:56 -0400
X-Spam-Score: -2.3 (--)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

What is Alire?  Is it a competitor to GNU Ada?  Is it free software?

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Stephen Leake <stephen_leake@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 22 Sep 2023 14:19:02 +0000
Resent-Message-ID: <handler.66017.B66017.16953923099030 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Richard Stallman <rms@HIDDEN>
Cc: 66017 <at> debbugs.gnu.org
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.16953923099030
          (code B ref 66017); Fri, 22 Sep 2023 14:19:02 +0000
Received: (at 66017) by debbugs.gnu.org; 22 Sep 2023 14:18:29 +0000
Received: from localhost ([127.0.0.1]:37039 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qjgzE-0002La-Nr
	for submit <at> debbugs.gnu.org; Fri, 22 Sep 2023 10:18:29 -0400
Received: from omta034.useast.a.cloudfilter.net ([44.202.169.33]:55916)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stephen_leake@HIDDEN>) id 1qjgzB-0002LK-Na
 for 66017 <at> debbugs.gnu.org; Fri, 22 Sep 2023 10:18:27 -0400
Received: from eig-obgw-6006a.ext.cloudfilter.net ([10.0.30.182])
 by cmsmtp with ESMTP
 id jTksqAL16ez0CjgyXq4uqo; Fri, 22 Sep 2023 14:17:45 +0000
Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with ESMTPS
 id jgyuqZPnGWHMnjgyuq5W6p; Fri, 22 Sep 2023 14:18:08 +0000
X-Authority-Analysis: v=2.4 cv=O+MqATxW c=1 sm=1 tr=0 ts=650da220
 a=dWLzHQi6WpdymmZIwiVdBw==:117 a=Fln8i1WyhtedwaIJAdHvmw==:17
 a=OWjo9vPv0XrRhIrVQ50Ab3nP57M=:19 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19
 a=zNV7Rl7Rt7sA:10 a=vvvmwbhNdt4A:10 a=mDV3o1hIAAAA:8 a=FLl9saOoAAAA:8
 a=1nif6smim_z4kMFMVOAA:9 a=_FVE-zBwftR9WsbkzFJk:22 a=2UHBUG7yBa-TViABPFTm:22
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:
 In-Reply-To:Date:References:Subject:Cc:To:From:Sender:Reply-To:
 Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date:
 Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:
 List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=0rro+o6h0WLjb6dG1Tg0YBdnywPG0prEsHiVyEx2MD8=; b=DksrY1kxpR/lO/PEHIBXnNnDL8
 WaMXTdQZZvg9rcIBdkyQN+OgtSJ/jSMp6+R3XbpbbdC1RY3BYr1CRovAYiptgMnMqrhE+tSjxSQ5l
 ICbeKqL/c4YCHR7sQzfEvj5Sp0vRBSZfRM/lz45q6Ux5YPEVCsK5E+aHrgNsMOCrPSey5XSeuR739
 RWVcW4xcNQ2kNX9/3/7bQl64MmP2BtS/UEb90OetUCZGthcnOXpKJ0r+S3Mt1Y1nTrwQtkD5Yhu0X
 3GzjfJ4HzYQQuwwVjv/ZPTx77uUui03xFqk+l05FlsFuPJqvRwYJ66r6DlxBXXUhy1SBDhRa5eMuq
 J99P+jQg==;
Received: from 135-180-197-170.fiber.dynamic.sonic.net
 ([135.180.197.170]:64708 helo=DESKTOP-G20DCG1)
 by host2007.hostmonster.com with esmtpsa (TLS1.2) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96)
 (envelope-from <stephen_leake@HIDDEN>) id 1qjgyt-003hF9-2q;
 Fri, 22 Sep 2023 08:18:07 -0600
From: Stephen Leake <stephen_leake@HIDDEN>
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN> <m21qez5fyx.fsf@HIDDEN>
 <86jzsn8lth.fsf@HIDDEN>
 <E1qijvk-0005gL-7h@HIDDEN>
Date: Fri, 22 Sep 2023 07:18:06 -0700
In-Reply-To: <E1qijvk-0005gL-7h@HIDDEN> (Richard Stallman's message
 of "Tue, 19 Sep 2023 19:14:56 -0400")
Message-ID: <86fs368f6p.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (windows-nt)
MIME-Version: 1.0
Content-Type: text/plain
X-AntiAbuse: This header was added to track abuse,
 please include it with any abuse report
X-AntiAbuse: Primary Hostname - host2007.hostmonster.com
X-AntiAbuse: Original Domain - debbugs.gnu.org
X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12]
X-AntiAbuse: Sender Address Domain - stephe-leake.org
X-BWhitelist: no
X-Source-IP: 135.180.197.170
X-Source-L: No
X-Exim-ID: 1qjgyt-003hF9-2q
X-Source: 
X-Source-Args: 
X-Source-Dir: 
X-Source-Sender: 135-180-197-170.fiber.dynamic.sonic.net (DESKTOP-G20DCG1)
 [135.180.197.170]:64708
X-Source-Auth: stephen_leake@HIDDEN
X-Email-Count: 2
X-Org: HG=bhshared_hm;ORG=bluehost;
X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t
X-Local-Domain: yes
X-CMAE-Envelope: MS4xfHvfDCqXRoLyViul/qAq29xcAoeoPCiBraZWQDMdb1mVZGT1tqhOCuGXTRn30nR/+rPcqadI/+l3Hh13fmB1+W5e9WG9vmvY05VOa6F4qfF73DbkRlj7
 dOUFYIXqCtfZcr/11Gu9H5qBVi6FGhfeTkhfnnY+oPXf26+QbYMLuigsrLpiuTTT6M6FbVONlAawPlLwF2AOJRvUhwqR5AystoI=
X-Spam-Score: -0.7 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

Richard Stallman <rms@HIDDEN> writes:

> [[[ To any NSA and FBI agents reading my email: please consider    ]]]
> [[[ whether defending the US Constitution against all enemies,     ]]]
> [[[ foreign or domestic, requires you to follow Snowden's example. ]]]
>
> What is Alire?  Is it a competitor to GNU Ada?  Is it free software?

https://alire.ada.dev/

It is a package manager for Ada; similar to package managers for Java
and other languages.

It packages GNU Ada.

It is free software.

-- 
-- Stephe

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Stephen Leake <stephen_leake@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 22 Sep 2023 14:30:02 +0000
Resent-Message-ID: <handler.66017.B66017.169539298310041 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Left Right <olegsivokon@HIDDEN>
Cc: 66017 <at> debbugs.gnu.org
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.169539298310041
          (code B ref 66017); Fri, 22 Sep 2023 14:30:02 +0000
Received: (at 66017) by debbugs.gnu.org; 22 Sep 2023 14:29:43 +0000
Received: from localhost ([127.0.0.1]:37053 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qjhA7-0002bs-5o
	for submit <at> debbugs.gnu.org; Fri, 22 Sep 2023 10:29:43 -0400
Received: from omta38.uswest2.a.cloudfilter.net ([35.89.44.37]:56656)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stephen_leake@HIDDEN>) id 1qjhA3-0002bd-Od
 for 66017 <at> debbugs.gnu.org; Fri, 22 Sep 2023 10:29:41 -0400
Received: from eig-obgw-6008a.ext.cloudfilter.net ([10.0.30.227])
 by cmsmtp with ESMTP
 id jfDMqGBB0QFHRjh9mqoa18; Fri, 22 Sep 2023 14:29:22 +0000
Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with ESMTPS
 id jh9lqEXZo56Vsjh9lqqoAS; Fri, 22 Sep 2023 14:29:22 +0000
X-Authority-Analysis: v=2.4 cv=ZqH+lv3G c=1 sm=1 tr=0 ts=650da4c2
 a=dWLzHQi6WpdymmZIwiVdBw==:117 a=Fln8i1WyhtedwaIJAdHvmw==:17
 a=OWjo9vPv0XrRhIrVQ50Ab3nP57M=:19 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19
 a=zNV7Rl7Rt7sA:10 a=vvvmwbhNdt4A:10 a=pGLkceISAAAA:8 a=mDV3o1hIAAAA:8
 a=zXMWs3ndr0S2DxgXOfoA:9 a=DxAgKJJZWQ4A:10 a=-9mXkHejWegA:10
 a=_FVE-zBwftR9WsbkzFJk:22
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=stephe-leake.org; s=default; h=Content-Type:MIME-Version:Message-ID:
 In-Reply-To:Date:References:Subject:Cc:To:From:Sender:Reply-To:
 Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date:
 Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id:
 List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=XTj4lkXdz5egVCe957Y81XHhhEAWFKWqUHM3P4fGg0A=; b=gRM1M4SzxPFzWcpqNTAQJ+rLgN
 fHzxWYfPSJcTdEkTPW8JBk8+DEnnisXQ26gVKmlg9zdFt4c/VchEZykOGnfdTgWcMGc4ZRQBmxvE7
 Ec/EsPqTsAqpdOQ8wxBC5JRRa7AX2rvRdBP1i9aW04gCJkOcDYEkZBWjmY5w4GVwipb2u6nQb8/PF
 k7oa2DlRqXONewWszXyLkc+Ce3FoGJ4dmzJSH9kGVvFxOX2zXcr/RNV68m3rnMjTMJ557cyzhBEGW
 zTqPz9kXxofWP0J7Sd9ui6RRnXAD0NZteaiobOzfT3czjtE00ANbP0fD4K+8PzXVpqEyaxkUY/XGC
 Xpx9niyA==;
Received: from 135-180-197-170.fiber.dynamic.sonic.net
 ([135.180.197.170]:64747 helo=DESKTOP-G20DCG1)
 by host2007.hostmonster.com with esmtpsa (TLS1.2) tls
 TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96)
 (envelope-from <stephen_leake@HIDDEN>) id 1qjh9l-003rFu-13;
 Fri, 22 Sep 2023 08:29:21 -0600
From: Stephen Leake <stephen_leake@HIDDEN>
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN>
 <CAJQBtgm2NRG-QQasBp=-x6yngO8D8ASmRH-HZFaNBL0JfKmeVA@HIDDEN>
Date: Fri, 22 Sep 2023 07:29:20 -0700
In-Reply-To: <CAJQBtgm2NRG-QQasBp=-x6yngO8D8ASmRH-HZFaNBL0JfKmeVA@HIDDEN>
 (Left Right's message of "Tue, 19 Sep 2023 21:56:28 +0200")
Message-ID: <86bkdu8enz.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (windows-nt)
MIME-Version: 1.0
Content-Type: text/plain
X-AntiAbuse: This header was added to track abuse,
 please include it with any abuse report
X-AntiAbuse: Primary Hostname - host2007.hostmonster.com
X-AntiAbuse: Original Domain - debbugs.gnu.org
X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12]
X-AntiAbuse: Sender Address Domain - stephe-leake.org
X-BWhitelist: no
X-Source-IP: 135.180.197.170
X-Source-L: No
X-Exim-ID: 1qjh9l-003rFu-13
X-Source: 
X-Source-Args: 
X-Source-Dir: 
X-Source-Sender: 135-180-197-170.fiber.dynamic.sonic.net (DESKTOP-G20DCG1)
 [135.180.197.170]:64747
X-Source-Auth: stephen_leake@HIDDEN
X-Email-Count: 4
X-Org: HG=bhshared_hm;ORG=bluehost;
X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t
X-Local-Domain: yes
X-CMAE-Envelope: MS4xfAtrPvoFxmUrEm1LU6QOW+NwuSfpZk2SrivUcmegNHqAFrMbbJDSnGif8SK4fKTpDeu5LZoW8xFHv+6MLarQ7yNiipDRP1k/A1qyI18mXCxI5nu3omhv
 Rtyui8Y76XvG4r5GBcGPKQliFj5zj9Zeflv4VbeU2biC51/4rVMd/blGsYCjs8Vgpy+hkk31OQjqiylZpdBcL0r969cWEF4eETo=
X-Spam-Score: -0.7 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

Left Right <olegsivokon@HIDDEN> writes:

> Hello Stephen, you wrote:
>
>> This indicates you are using a compiler external to Alire, with a newer version
>> than the internal one; I only test with Alire internal compilers, for
>> consistency.
>
>> Please configure the internal Alire compiler.
>
>> I will add the tested Alire version to the documentation.
>
> I don't know what to do with Alire, but I will try to figure out. 

Run "alr toolchain", select the internal Ada compiler.

> But please consider that anyone trying to install Ada on Linux will
> firstly try to go through the process recommended by the distro
> maintainers. 

Alire is supposed to replace that process, but it's not quite there yet.

> In my case, it's a combination of using pacman to install gcc-ada and
> AUR (auxiliary packages not directly maintained by Arch distribution)
> to install gprbuild, adaxml, alire etc. All I've done so far to
> install Ada was to install packages from these sources.
> (Unfortunately, both documentation and execution here are lacking, and
> the process is quite complicated and error-prone).

Apparently this ended up with Alire being configured for the external
distro Ada compiler, rather than the internal one. That should not
happen by default; perhaps you ran "alr toolchain" at some point?

> It seems like you want me to install what gcc-ada would install, but
> through Alire. 

No, just use the default compiler provided by the default Alire installation.

> Am I right? In other words, something that isn't provided and managed
> by the Linux distribution I'm using. This seems like a process that
> requires a lot more expertise from an average user (building any GCC
> compiler is not an easy task). Why is this the prefered choice of
> environment?

It is supposed to require less expertise. Unfortunately, when it fails, it
is confusing and hard to diagnose.

Part of the reason to start using Alire is to avoid version conflicts
like this! Apparently that doesn't really work. Sigh.

> As for the documentation: it seems we are reading two different
> documentations. Is the one you are referring to available online?
>
> I was reading this:
>
https://www.gnu.org/software/emacs/manual/html_mono/ada-mode.html#Installation

Sigh. That document is dated 2019 (see the Top node). The upstream
source has been updated since then.

> This documentation has no mention of how to build Ada mode, nor
> anything about how Ada compiler and toolchain are meant to be set up
> etc.

The current version refers to ELPA.

-- 
-- Stephe

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Stefan Kangas <stefankangas@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 23 Sep 2023 11:27:02 +0000
Resent-Message-ID: <handler.66017.B66017.169546841931786 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stephen Leake <stephen_leake@HIDDEN>, Left Right <olegsivokon@HIDDEN>
Cc: 66017 <at> debbugs.gnu.org
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.169546841931786
          (code B ref 66017); Sat, 23 Sep 2023 11:27:02 +0000
Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 11:26:59 +0000
Received: from localhost ([127.0.0.1]:37863 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qk0mp-0008Gb-32
	for submit <at> debbugs.gnu.org; Sat, 23 Sep 2023 07:26:59 -0400
Received: from mail-lj1-x22d.google.com ([2a00:1450:4864:20::22d]:54298)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stefankangas@HIDDEN>) id 1qk0mk-0008GJ-Gm
 for 66017 <at> debbugs.gnu.org; Sat, 23 Sep 2023 07:26:58 -0400
Received: by mail-lj1-x22d.google.com with SMTP id
 38308e7fff4ca-2bff776fe0bso58855401fa.0
 for <66017 <at> debbugs.gnu.org>; Sat, 23 Sep 2023 04:26:43 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1695468397; x=1696073197; darn=debbugs.gnu.org;
 h=cc:to:subject:message-id:date:mime-version:references:in-reply-to
 :from:from:to:cc:subject:date:message-id:reply-to;
 bh=9sfR0rrKnB/syjucTcvii/0KHAFwIq5wZGior8DeRjI=;
 b=GFd2vJrHcFStKNyIdZBj3/Jnrm6QJZWfwJ6vXYq5r14BiIbtZpo9bKkLna+blcsjnW
 o0mK69jofLMyzmue7S5H472cziPFXpGfuHTrNRkxgRh2jmJiHw4MCsqna2mSwdsY4NHp
 UQzSXd4HLPTDaCmGuJjNJbA1LL0Pf7iOnIBuY6XczRJ9DH5BAKtgoIT2FX25eiwYrCUU
 rM65eOqbGT9Ux98eAVSFBL0tUD7W//+8k77u8UvmdmPMe+oE0Y1lDgyaIhynOmDIsgG4
 omcfpOSa1/7Il2wdEaeTq+JpYDS80LjVFixIRZZqqTAKjh58jkprzUd+LM/zYLkhuIBe
 ZGvA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1695468397; x=1696073197;
 h=cc:to:subject:message-id:date:mime-version:references:in-reply-to
 :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
 bh=9sfR0rrKnB/syjucTcvii/0KHAFwIq5wZGior8DeRjI=;
 b=NOoDlZunNThQGRjhfHAeABHvPtFr/wxHDT1hdMNr4lI4ebytG2oRIRR7ZFX7EtAxTU
 Rs7X39XIwcfGtNQkg2wjXzMSFLTPnhKu0a1384jLSrpjYs94xwTsacw7DSKOMni6X6Rz
 /ideUvQ43bUUQdFHng3F99bUIgVsAcRLODXqzRoFLo3p+hkcmCqKRcGgF0qBoufdH57D
 iCf4Y8MONANx1lH6gp7/ZNbDXz/gDE+9gEUaP/7lYdiPzQyEE9g56uolBofw93B5h2/w
 2V7QdnfEwW7l012L367L60q/ABBw/2ZBMrfFj4FHEL1Xp83zfmy4ym4xh7JCSTP8b1s5
 kwrQ==
X-Gm-Message-State: AOJu0YzS4TSX74ySQ0rP5GUsZ0DGGwJUMgkJg5a0rcVaiGkyrRPR9sG5
 dMQhz70G53QUwStGryPbh0orFKLkwu9Lu4beNOw=
X-Google-Smtp-Source: AGHT+IE1ZKM0vrN7tU71eQ7sRgbRAsli26M1PZd3G75/Gpf+YCCFQXJ2Ku/pfEXPRmwAMR6sPJJ/GhX9eUlq7H2UDmY=
X-Received: by 2002:a2e:9690:0:b0:2bf:fae0:5cf1 with SMTP id
 q16-20020a2e9690000000b002bffae05cf1mr1373326lji.14.1695468396635; Sat, 23
 Sep 2023 04:26:36 -0700 (PDT)
Received: from 753933720722 named unknown by gmailapi.google.com with
 HTTPREST; Sat, 23 Sep 2023 04:26:36 -0700
From: Stefan Kangas <stefankangas@HIDDEN>
In-Reply-To: <86bkdu8enz.fsf@HIDDEN>
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN>
 <CAJQBtgm2NRG-QQasBp=-x6yngO8D8ASmRH-HZFaNBL0JfKmeVA@HIDDEN>
 <86bkdu8enz.fsf@HIDDEN>
MIME-Version: 1.0
Date: Sat, 23 Sep 2023 04:26:36 -0700
Message-ID: <CADwFkmmyPVjgEf7doww6qZ9BWT3nVPCvKpdCFwn69v53iE2hSA@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Stephen Leake <stephen_leake@HIDDEN> writes:

>> I was reading this:
>>
> https://www.gnu.org/software/emacs/manual/html_mono/ada-mode.html#Installation
>
> Sigh. That document is dated 2019 (see the Top node). The upstream
> source has been updated since then.

Should we add a 308 Permanent Redirect from that page to here, perhaps?

    https://elpa.gnu.org/packages/doc/ada-mode.html

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Left Right <olegsivokon@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 23 Sep 2023 16:04:01 +0000
Resent-Message-ID: <handler.66017.B66017.169548502420190 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stefan Kangas <stefankangas@HIDDEN>
Cc: Stephen Leake <stephen_leake@HIDDEN>, 66017 <at> debbugs.gnu.org
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.169548502420190
          (code B ref 66017); Sat, 23 Sep 2023 16:04:01 +0000
Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 16:03:44 +0000
Received: from localhost ([127.0.0.1]:40490 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qk56d-0005FZ-JI
	for submit <at> debbugs.gnu.org; Sat, 23 Sep 2023 12:03:43 -0400
Received: from mail-yw1-x112c.google.com ([2607:f8b0:4864:20::112c]:55460)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <olegsivokon@HIDDEN>) id 1qk56b-0005F7-37
 for 66017 <at> debbugs.gnu.org; Sat, 23 Sep 2023 12:03:42 -0400
Received: by mail-yw1-x112c.google.com with SMTP id
 00721157ae682-59be6bcf408so46008157b3.2
 for <66017 <at> debbugs.gnu.org>; Sat, 23 Sep 2023 09:03:29 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1695485004; x=1696089804; darn=debbugs.gnu.org;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:from:to:cc:subject:date
 :message-id:reply-to;
 bh=fNr2FUzvN8RCgXrrSRFUIVDmigKYirDfaY4IjBbKtk4=;
 b=L8Rg+c7MnM+c8TR3j02KT6K5n9pXl8tN9E6hTUZ6VFq3S0LwyGexIyrCihvzfbIdGv
 iUkOCU/sQzwpZQ6PNGnwSVzVU5D07WNJ16ieZ62qgywF2g7QVwdfh8Hl4x3x8VlE9pD1
 BiO2fT7ZCijRCDdOzW2qbTUrg6oHXlorIMoA3HnuJT8GHPrhTTIQ5mtscAEIc3EWdlsC
 2gwzdfIPRmQCtHzodTAr7TwbdysdUK7xPEGStmn2QzRBNHkmTtsFb6/HHyWRdJosTxG5
 Jg+C8vDpA7lvILxvU9AD86W0RNCBKCucaa/mTrs2scBclSsjgLb95JbRIAe9xEWpD6Hs
 ZNuA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1695485004; x=1696089804;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=fNr2FUzvN8RCgXrrSRFUIVDmigKYirDfaY4IjBbKtk4=;
 b=qZscLVKWHFZqzZLkLVrGy1BqUBO0AZFU1uKkpcOAvvZOJwL87MrtLs7/OkA0jJZJyW
 OK84xqhm/DL9mRpmeAQS0Fl4hbXzjszJHhoEYClGYbaseEodUZnlhI6a934bemJMDFoT
 K9KXOuys0GIUQdxzasvij9/9oIo6AkqKfKJXZjnoJWPG8vV5iYJwVRMXrAwdN84kyjBz
 plihQxZU0p2E5hd8416FVKxBHAS+MMhL3VXNCaPHz4MU+i+BwWGFbnlYC7T25Efx3THB
 DMkS9DrAfJ90XK+HoO7SFLpQHaB8KuvWGjU5W7cQjo1tn9F6PhtX48CXorPmdnOk1PHx
 //jg==
X-Gm-Message-State: AOJu0YwY82a6iYnR6z+2DaYrRCNTCE66E3v1oy6PBlZJ0BgQqgYoj/QI
 MpFQvjOltx0ymc8d1jl9yD74YJq428JpadnK8cA=
X-Google-Smtp-Source: AGHT+IHFyvNb28NbNQrr0r+Hhemjw/q1cAfDxNSmEGrKNgD0NFndaNh3H7f+kEB+gh2vH+yHEFNEGopadlCM2BsfgNk=
X-Received: by 2002:a0d:d416:0:b0:59a:4898:8e13 with SMTP id
 w22-20020a0dd416000000b0059a48988e13mr2231608ywd.16.1695485003797; Sat, 23
 Sep 2023 09:03:23 -0700 (PDT)
MIME-Version: 1.0
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN>
 <CAJQBtgm2NRG-QQasBp=-x6yngO8D8ASmRH-HZFaNBL0JfKmeVA@HIDDEN>
 <86bkdu8enz.fsf@HIDDEN>
 <CADwFkmmyPVjgEf7doww6qZ9BWT3nVPCvKpdCFwn69v53iE2hSA@HIDDEN>
In-Reply-To: <CADwFkmmyPVjgEf7doww6qZ9BWT3nVPCvKpdCFwn69v53iE2hSA@HIDDEN>
From: Left Right <olegsivokon@HIDDEN>
Date: Sat, 23 Sep 2023 18:03:12 +0200
Message-ID: <CAJQBtgm_bozpzECj_DAta4WeuJWVqCA=6E_mfJPMUnMQyikbOA@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

> Should we add a 308 Permanent Redirect from that page to here, perhaps?

If one could dream, a label somewhere which displays the version of
Emacs this documentation is for would've been great.

On Sat, Sep 23, 2023 at 1:26=E2=80=AFPM Stefan Kangas <stefankangas@HIDDEN=
om> wrote:
>
> Stephen Leake <stephen_leake@HIDDEN> writes:
>
> >> I was reading this:
> >>
> > https://www.gnu.org/software/emacs/manual/html_mono/ada-mode.html#Insta=
llation
> >
> > Sigh. That document is dated 2019 (see the Top node). The upstream
> > source has been updated since then.
>
> Should we add a 308 Permanent Redirect from that page to here, perhaps?
>
>     https://elpa.gnu.org/packages/doc/ada-mode.html

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Left Right <olegsivokon@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 23 Sep 2023 16:29:02 +0000
Resent-Message-ID: <handler.66017.B66017.169548653422612 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stephen Leake <stephen_leake@HIDDEN>
Cc: 66017 <at> debbugs.gnu.org
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.169548653422612
          (code B ref 66017); Sat, 23 Sep 2023 16:29:02 +0000
Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 16:28:54 +0000
Received: from localhost ([127.0.0.1]:40537 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qk5V0-0005se-6S
	for submit <at> debbugs.gnu.org; Sat, 23 Sep 2023 12:28:54 -0400
Received: from mail-ua1-x930.google.com ([2607:f8b0:4864:20::930]:46367)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <olegsivokon@HIDDEN>) id 1qk5Uu-0005sK-9y
 for 66017 <at> debbugs.gnu.org; Sat, 23 Sep 2023 12:28:52 -0400
Received: by mail-ua1-x930.google.com with SMTP id
 a1e0cc1a2514c-7ab7e87f866so854070241.1
 for <66017 <at> debbugs.gnu.org>; Sat, 23 Sep 2023 09:28:36 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1695486511; x=1696091311; darn=debbugs.gnu.org;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:from:to:cc:subject:date
 :message-id:reply-to;
 bh=cJdvSuf3i7uy8DOMiXTj5DvMqBGCHwQdDiBoRYavcC8=;
 b=lDkREuA3IsiFJXx/d66g5fiThcvt+C99D7WyG21qG41QE44OenscnJ5sH/DEsJ3kLJ
 bqDGsIcBGk4zsbgG+6Liw09LMsP1eOY8DiRw752NWaxbPsIBGxiPvSyTUS6N4i/IpmH3
 gSWbGcLdAPCsEndnFX3Kgy2PXskltwflUdPOlOzKgl/KyJDvpplMerx/Z98B7zwOJQNq
 fPuqUf2A9jDx+CUz5Ik+ocySSJZwERc56mvvjWy2hP9onrI5jTJqXOqYPs0FeZsWqNaW
 LLHCOcp4LS2M5Usp7oG7HOs2/+OFVwUydNyHtEf9cCf2og03zVpAMqZ4Ub6ppuHGydPs
 903w==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1695486511; x=1696091311;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=cJdvSuf3i7uy8DOMiXTj5DvMqBGCHwQdDiBoRYavcC8=;
 b=PQLU7M5wRyw+zGmniWU1nCV0Tl9P3CuAj8Wdxt0edDxLQyDECeU7V297dXodK0ivma
 KmeHK1KKE2yLFImHpasyY3jjIdnRis9MbHoipwOL9w1HMpjIWQwQYJCHYji2XyQNas5l
 9wjXGO74DN/YKdAnj+5TXi8fKpZOx0TAfzEHeRM24pr1oNl4U6CiLK8oay+u1Xsksib4
 ERJneXA6ohfub2E7APJ9q9OJfbdPzQuI4ICGSUNdKjwP6Hbn7ErL/zRVW+/268oCUPuX
 mMcLkCo00XMDesPwdDVJbGfXgZ36DRd2WnDsYOwylZuPxz/8P9gxcFTUBqC5PSpTryHn
 57OA==
X-Gm-Message-State: AOJu0Yx165RJbSidvJzuPWMI882UxcQ+YuZKDsgKBmGTshRLuWSYG972
 YN3NgkGxjEOlFFSupFPW/jvdP2jmph7kRfKsDIzUI+w29tg=
X-Google-Smtp-Source: AGHT+IHiLgPNVqso5mPgEBRYQTEabCp8+AqBfvP6CaiVkpO3L0b07kVeSfuP1dRl050/GPOGEMTLT9mGcstUmyG8E4Q=
X-Received: by 2002:a67:eac2:0:b0:452:6177:892e with SMTP id
 s2-20020a67eac2000000b004526177892emr1669767vso.24.1695486511063; Sat, 23 Sep
 2023 09:28:31 -0700 (PDT)
MIME-Version: 1.0
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN>
 <CAJQBtgm2NRG-QQasBp=-x6yngO8D8ASmRH-HZFaNBL0JfKmeVA@HIDDEN>
 <86bkdu8enz.fsf@HIDDEN>
In-Reply-To: <86bkdu8enz.fsf@HIDDEN>
From: Left Right <olegsivokon@HIDDEN>
Date: Sat, 23 Sep 2023 18:28:19 +0200
Message-ID: <CAJQBtgmEw2CC0EWr09Z11X6wmoebZ8MVVPhKkHo8i0L5sG+mjQ@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

> Run "alr toolchain", select the internal Ada compiler.

Only the external compiler had ever been installed. If I run (I never
ran this before):

=E2=9D=AF alr toolchain
CRATE         VERSION STATUS  NOTES
gnat_external 13.2.1  Default Detected at /usr/bin/gnat

This is what I get.

Here's what I did afterwards:

1. Installed "gnat_native".
2. Ran `alr toolchain --select` and interactively selected a version
of "gnat_native" and "gprbuild" so that it looks like this:

=E2=9D=AF alr toolchain
CRATE         VERSION STATUS    NOTES
gprbuild      22.0.1  Default
gnat_native   13.1.0  Default
gnat_external 13.2.1  Available Detected at /usr/bin/gnat

Afterwards, I re-ran build.sh, and I get the same (?) error:

wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not
modified, could be declared constant [-gnatwk]
gnatcoll-projects.adb:38:09: warning: unit "Ada.Unchecked_Conversion"
is not referenced [-gnatwu]

   compilation of wisitoken-followed_by.adb failed

gprbuild: *** compilation phase failed
error: Command ["gprbuild", "-s", "-j0", "-p", "-P",
"/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/ali=
re/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"]
exited with code 4
error: Compilation failed.

And if I re-run the failed command:

=E2=9D=AF gprbuild -s "-j0" "-p" "-P"
"/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/ali=
re/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"
wisitoken_alire.gpr:8:06: imported project file
"standard_common_alire" not found
wisitoken_alire.gpr:28:43: unknown package or project "Standard_Common_Alir=
e"
wisitoken_alire.gpr:28:43: wrong expression kind for attribute
"default_switches"
wisitoken_alire.gpr:28:84: unknown package or project "Standard_Common_Alir=
e"
wisitoken_alire.gpr:31:43: unknown package or project "Standard_Common_Alir=
e"
wisitoken_alire.gpr:31:43: wrong expression kind for attribute
"default_switches"
wisitoken_alire.gpr:31:82: unknown package or project "Standard_Common_Alir=
e"
wisitoken_alire.gpr:35:41: unknown package or project "Standard_Common_Alir=
e"
wisitoken_config.gpr:3:06: imported project file
"stephes_ada_library.gpr" not found
wisitoken_config.gpr:3:06: imported by
"/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/ali=
re/cache/dependencies/wisitoken_4.1.0_f9cd282e/config/wisitoken_config.gpr"
wisitoken_config.gpr:3:06: imported by
"/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/ali=
re/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"
gprbuild: "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ec=
fdcfb4/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_al=
ire.gpr"
processing failed

But when I run:

=E2=9D=AF gprbuild --version
GPRBUILD Pro 24.0w (20230430) (x86_64-pc-linux-gnu)
Copyright (C) 2004-2023, AdaCore
This is free software; see the source for copying conditions.
See your AdaCore support agreement for details of warranty and support.
If you do not have a current support agreement, then there is absolutely
no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.

So, it looks like maybe the version I selected through Alire is ignored?

Should I perhaps uninstall distribution-installed Ada-related packages
and re-try with only Alire-installed ones?

Thanks!

Oleg

On Fri, Sep 22, 2023 at 4:29=E2=80=AFPM Stephen Leake
<stephen_leake@HIDDEN> wrote:
>
> Left Right <olegsivokon@HIDDEN> writes:
>
> > Hello Stephen, you wrote:
> >
> >> This indicates you are using a compiler external to Alire, with a newe=
r version
> >> than the internal one; I only test with Alire internal compilers, for
> >> consistency.
> >
> >> Please configure the internal Alire compiler.
> >
> >> I will add the tested Alire version to the documentation.
> >
> > I don't know what to do with Alire, but I will try to figure out.
>
> Run "alr toolchain", select the internal Ada compiler.
>
> > But please consider that anyone trying to install Ada on Linux will
> > firstly try to go through the process recommended by the distro
> > maintainers.
>
> Alire is supposed to replace that process, but it's not quite there yet.
>
> > In my case, it's a combination of using pacman to install gcc-ada and
> > AUR (auxiliary packages not directly maintained by Arch distribution)
> > to install gprbuild, adaxml, alire etc. All I've done so far to
> > install Ada was to install packages from these sources.
> > (Unfortunately, both documentation and execution here are lacking, and
> > the process is quite complicated and error-prone).
>
> Apparently this ended up with Alire being configured for the external
> distro Ada compiler, rather than the internal one. That should not
> happen by default; perhaps you ran "alr toolchain" at some point?
>
> > It seems like you want me to install what gcc-ada would install, but
> > through Alire.
>
> No, just use the default compiler provided by the default Alire installat=
ion.
>
> > Am I right? In other words, something that isn't provided and managed
> > by the Linux distribution I'm using. This seems like a process that
> > requires a lot more expertise from an average user (building any GCC
> > compiler is not an easy task). Why is this the prefered choice of
> > environment?
>
> It is supposed to require less expertise. Unfortunately, when it fails, i=
t
> is confusing and hard to diagnose.
>
> Part of the reason to start using Alire is to avoid version conflicts
> like this! Apparently that doesn't really work. Sigh.
>
> > As for the documentation: it seems we are reading two different
> > documentations. Is the one you are referring to available online?
> >
> > I was reading this:
> >
> https://www.gnu.org/software/emacs/manual/html_mono/ada-mode.html#Install=
ation
>
> Sigh. That document is dated 2019 (see the Top node). The upstream
> source has been updated since then.
>
> > This documentation has no mention of how to build Ada mode, nor
> > anything about how Ada compiler and toolchain are meant to be set up
> > etc.
>
> The current version refers to ELPA.
>
> --
> -- Stephe

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Left Right <olegsivokon@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 23 Sep 2023 18:57:02 +0000
Resent-Message-ID: <handler.66017.B66017.16954953646501 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stephen Leake <stephen_leake@HIDDEN>
Cc: 66017 <at> debbugs.gnu.org
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.16954953646501
          (code B ref 66017); Sat, 23 Sep 2023 18:57:02 +0000
Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 18:56:04 +0000
Received: from localhost ([127.0.0.1]:40612 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qk7nP-0001gl-L6
	for submit <at> debbugs.gnu.org; Sat, 23 Sep 2023 14:56:04 -0400
Received: from mail-vs1-xe33.google.com ([2607:f8b0:4864:20::e33]:62851)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <olegsivokon@HIDDEN>) id 1qk7nM-0001gH-HY
 for 66017 <at> debbugs.gnu.org; Sat, 23 Sep 2023 14:56:02 -0400
Received: by mail-vs1-xe33.google.com with SMTP id
 ada2fe7eead31-4525cfe255bso3725451137.1
 for <66017 <at> debbugs.gnu.org>; Sat, 23 Sep 2023 11:55:49 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1695495343; x=1696100143; darn=debbugs.gnu.org;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:from:to:cc:subject:date
 :message-id:reply-to;
 bh=tPSLSQULZAjHd8c+yw9HhMy7kN6s0HCe0wmHVLvyAsc=;
 b=JEOOm2XrqBYK7PDye9Et4tzzYbShbaZbx1YMKe5DLLqlfBXaAU3fVSZymJflo6LOZ8
 FTk+FOJMZdShJWLIEuxQemp0a294Y0+BoXpgUtDBvIsKudtOVDMLGOuNWaqJ9S19KOVR
 u4nir0NWhbZGnMhEXZfXxYUuK4JKlPspErnbbQ9eAdC77v6Y4VPyT1RT+3y26xuOEeCX
 hZpx1jUiDiBGyAqKbUPSouaPiT/mH84xGLh+cKJQnXLYexuE8wjAow4ppHrzAQck6vIa
 2mxe7YDB5zm+b0gbR7pz546pqyJtiBw/FRByhei/VyHh2j1bO4CkI3HIJARm8I67BNFs
 UkBQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1695495343; x=1696100143;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=tPSLSQULZAjHd8c+yw9HhMy7kN6s0HCe0wmHVLvyAsc=;
 b=OIGIp5JXXcN4KaUelIrJP2JRs4Ue+LfXD3KmCRsHct/Rjh1O31BYiyWYJkCqTSYJer
 cengVVryibbE0E0XinU3CNjfSm0J+dtBKyyUoRishcokim0xiWrLX8dTAwY9yTG252fa
 7GFYfV+bq9GpUeTnH758HwCPP9HJ2tR4Mrp8dXlgnywcrWXwHsHRophnERwCdjmPrTtn
 cENhD7fiwWGQzyOb0dXjh5LM4NLi1NRvUujffbXYHTwYlqHHehwxYkx+SQjiU5di9rVX
 1cg0kwz8gxxNXhw25h6zld+UobAY10dH1aoCxtlYl08bK3Zoa08rHkUv5PyrUOtGofTP
 n2sg==
X-Gm-Message-State: AOJu0Yy7lTcKpYfmI+CBml8yZSirrNG4rdjgoIRJDqC+iwRp6KdhQRUO
 jfks20QonaEVOYW9a0DU285YbQSbIYjzJ946ecU=
X-Google-Smtp-Source: AGHT+IFQ2gWkMKBiCupoOXsnOg3a0p8QRRK3ulz72SjGgXybp2HLLfVyBMoH2b5PYsaz480/n7TJVt4TsPZX8fUXOgE=
X-Received: by 2002:a67:e406:0:b0:44e:9dc1:7520 with SMTP id
 d6-20020a67e406000000b0044e9dc17520mr1400310vsf.4.1695495343390; Sat, 23 Sep
 2023 11:55:43 -0700 (PDT)
MIME-Version: 1.0
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN>
 <CAJQBtgm2NRG-QQasBp=-x6yngO8D8ASmRH-HZFaNBL0JfKmeVA@HIDDEN>
 <86bkdu8enz.fsf@HIDDEN>
 <CAJQBtgmEw2CC0EWr09Z11X6wmoebZ8MVVPhKkHo8i0L5sG+mjQ@HIDDEN>
In-Reply-To: <CAJQBtgmEw2CC0EWr09Z11X6wmoebZ8MVVPhKkHo8i0L5sG+mjQ@HIDDEN>
From: Left Right <olegsivokon@HIDDEN>
Date: Sat, 23 Sep 2023 20:55:32 +0200
Message-ID: <CAJQBtgkKRc-RF9K9AiAyZJvB9q2LyxriJ2OhjE8ij9auF0usOw@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

I tried to uninstall every other Ada-related package I installed from
my distro packages, including Alire. Downloaded Alire binary afresh
and used it to install the toolchain.

So, I don't think that when I try to run gprbuild command I get the
same output Alire gets when it runs it. It must be running it in some
other environment. The thing is: I don't have *any* globally available
gprbuild now. But the command Alire runs somehow exits with code 4,
whereas if it couldn't find the command, it would have to exit with
code 1. It fails for some other reason, but I cannot find a way to
make the build more verbose so that it would print the stderr / stdout
of the failing command.

On Sat, Sep 23, 2023 at 6:28=E2=80=AFPM Left Right <olegsivokon@HIDDEN> =
wrote:
>
> > Run "alr toolchain", select the internal Ada compiler.
>
> Only the external compiler had ever been installed. If I run (I never
> ran this before):
>
> =E2=9D=AF alr toolchain
> CRATE         VERSION STATUS  NOTES
> gnat_external 13.2.1  Default Detected at /usr/bin/gnat
>
> This is what I get.
>
> Here's what I did afterwards:
>
> 1. Installed "gnat_native".
> 2. Ran `alr toolchain --select` and interactively selected a version
> of "gnat_native" and "gprbuild" so that it looks like this:
>
> =E2=9D=AF alr toolchain
> CRATE         VERSION STATUS    NOTES
> gprbuild      22.0.1  Default
> gnat_native   13.1.0  Default
> gnat_external 13.2.1  Available Detected at /usr/bin/gnat
>
> Afterwards, I re-ran build.sh, and I get the same (?) error:
>
> wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not
> modified, could be declared constant [-gnatwk]
> gnatcoll-projects.adb:38:09: warning: unit "Ada.Unchecked_Conversion"
> is not referenced [-gnatwu]
>
>    compilation of wisitoken-followed_by.adb failed
>
> gprbuild: *** compilation phase failed
> error: Command ["gprbuild", "-s", "-j0", "-p", "-P",
> "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/a=
lire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"=
]
> exited with code 4
> error: Compilation failed.
>
> And if I re-run the failed command:
>
> =E2=9D=AF gprbuild -s "-j0" "-p" "-P"
> "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/a=
lire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"
> wisitoken_alire.gpr:8:06: imported project file
> "standard_common_alire" not found
> wisitoken_alire.gpr:28:43: unknown package or project "Standard_Common_Al=
ire"
> wisitoken_alire.gpr:28:43: wrong expression kind for attribute
> "default_switches"
> wisitoken_alire.gpr:28:84: unknown package or project "Standard_Common_Al=
ire"
> wisitoken_alire.gpr:31:43: unknown package or project "Standard_Common_Al=
ire"
> wisitoken_alire.gpr:31:43: wrong expression kind for attribute
> "default_switches"
> wisitoken_alire.gpr:31:82: unknown package or project "Standard_Common_Al=
ire"
> wisitoken_alire.gpr:35:41: unknown package or project "Standard_Common_Al=
ire"
> wisitoken_config.gpr:3:06: imported project file
> "stephes_ada_library.gpr" not found
> wisitoken_config.gpr:3:06: imported by
> "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/a=
lire/cache/dependencies/wisitoken_4.1.0_f9cd282e/config/wisitoken_config.gp=
r"
> wisitoken_config.gpr:3:06: imported by
> "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/a=
lire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"
> gprbuild: "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_=
ecfdcfb4/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_=
alire.gpr"
> processing failed
>
> But when I run:
>
> =E2=9D=AF gprbuild --version
> GPRBUILD Pro 24.0w (20230430) (x86_64-pc-linux-gnu)
> Copyright (C) 2004-2023, AdaCore
> This is free software; see the source for copying conditions.
> See your AdaCore support agreement for details of warranty and support.
> If you do not have a current support agreement, then there is absolutely
> no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
> PURPOSE.
>
> So, it looks like maybe the version I selected through Alire is ignored?
>
> Should I perhaps uninstall distribution-installed Ada-related packages
> and re-try with only Alire-installed ones?
>
> Thanks!
>
> Oleg
>
> On Fri, Sep 22, 2023 at 4:29=E2=80=AFPM Stephen Leake
> <stephen_leake@HIDDEN> wrote:
> >
> > Left Right <olegsivokon@HIDDEN> writes:
> >
> > > Hello Stephen, you wrote:
> > >
> > >> This indicates you are using a compiler external to Alire, with a ne=
wer version
> > >> than the internal one; I only test with Alire internal compilers, fo=
r
> > >> consistency.
> > >
> > >> Please configure the internal Alire compiler.
> > >
> > >> I will add the tested Alire version to the documentation.
> > >
> > > I don't know what to do with Alire, but I will try to figure out.
> >
> > Run "alr toolchain", select the internal Ada compiler.
> >
> > > But please consider that anyone trying to install Ada on Linux will
> > > firstly try to go through the process recommended by the distro
> > > maintainers.
> >
> > Alire is supposed to replace that process, but it's not quite there yet=
.
> >
> > > In my case, it's a combination of using pacman to install gcc-ada and
> > > AUR (auxiliary packages not directly maintained by Arch distribution)
> > > to install gprbuild, adaxml, alire etc. All I've done so far to
> > > install Ada was to install packages from these sources.
> > > (Unfortunately, both documentation and execution here are lacking, an=
d
> > > the process is quite complicated and error-prone).
> >
> > Apparently this ended up with Alire being configured for the external
> > distro Ada compiler, rather than the internal one. That should not
> > happen by default; perhaps you ran "alr toolchain" at some point?
> >
> > > It seems like you want me to install what gcc-ada would install, but
> > > through Alire.
> >
> > No, just use the default compiler provided by the default Alire install=
ation.
> >
> > > Am I right? In other words, something that isn't provided and managed
> > > by the Linux distribution I'm using. This seems like a process that
> > > requires a lot more expertise from an average user (building any GCC
> > > compiler is not an easy task). Why is this the prefered choice of
> > > environment?
> >
> > It is supposed to require less expertise. Unfortunately, when it fails,=
 it
> > is confusing and hard to diagnose.
> >
> > Part of the reason to start using Alire is to avoid version conflicts
> > like this! Apparently that doesn't really work. Sigh.
> >
> > > As for the documentation: it seems we are reading two different
> > > documentations. Is the one you are referring to available online?
> > >
> > > I was reading this:
> > >
> > https://www.gnu.org/software/emacs/manual/html_mono/ada-mode.html#Insta=
llation
> >
> > Sigh. That document is dated 2019 (see the Top node). The upstream
> > source has been updated since then.
> >
> > > This documentation has no mention of how to build Ada mode, nor
> > > anything about how Ada compiler and toolchain are meant to be set up
> > > etc.
> >
> > The current version refers to ELPA.
> >
> > --
> > -- Stephe

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Left Right <olegsivokon@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 23 Sep 2023 19:06:02 +0000
Resent-Message-ID: <handler.66017.B66017.16954959107502 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stephen Leake <stephen_leake@HIDDEN>
Cc: 66017 <at> debbugs.gnu.org
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.16954959107502
          (code B ref 66017); Sat, 23 Sep 2023 19:06:02 +0000
Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 19:05:10 +0000
Received: from localhost ([127.0.0.1]:40637 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qk7wD-0001wu-Dw
	for submit <at> debbugs.gnu.org; Sat, 23 Sep 2023 15:05:10 -0400
Received: from mail-ua1-x931.google.com ([2607:f8b0:4864:20::931]:60442)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <olegsivokon@HIDDEN>) id 1qk7wB-0001wf-V8
 for 66017 <at> debbugs.gnu.org; Sat, 23 Sep 2023 15:05:08 -0400
Received: by mail-ua1-x931.google.com with SMTP id
 a1e0cc1a2514c-7a282340fdfso1526418241.0
 for <66017 <at> debbugs.gnu.org>; Sat, 23 Sep 2023 12:04:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1695495890; x=1696100690; darn=debbugs.gnu.org;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:from:to:cc:subject:date
 :message-id:reply-to;
 bh=M9/HJSK0+szEUZAj20rxIfcW7WWMyQrWO4dZkhVdGVg=;
 b=lthxnxMOsHhsj6N+uXbk06GUSgk9SFEWrwnrsiBeDTyNU2/iJhhAF3B8gn39+hbJK6
 rU8i8t6ceyS5yn6iv0bfBRdFZifUdNZKUtCEoTya+TLFE9u3yZaPXBi5gmMWv3Jzr6Wz
 DJXLMLtF+BARiUaMNOatrJWTsu9FlsxUEV2YQGVdWZWNg5icgkCY2H5VrKtjSgRIxT48
 fGpBs7WsLlw9Ncy3vBiN5zFy1fpgGnKtzSWOE08pUPx2h1CJuMQNe2FsaxxcyfJ1EkMh
 WCMy/Mjw53wb/OtGgUBzTZmsHpqSsQMP3OVIvL02H0aKQgYP/Ps8s6uFzwh8c9ouZRUA
 TMZA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1695495890; x=1696100690;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=M9/HJSK0+szEUZAj20rxIfcW7WWMyQrWO4dZkhVdGVg=;
 b=KqzSEdpptYOmwziX0mfmEBs6K38AdzrryIFQI1x8V2R8nZG6v6ufNLErsji73iclbP
 6Wp+Ms0KyqMC8ce+5bl5jwPhh4MaqGePLQ1ECM8bKEZidKvuxAGfjHaro8jRDH8WIWIO
 y24FV65ZxuwEODulJab37LPyzx+y4f4SUYIDUurY4yAL6VWjeiY1lWBVUiUuo04iy/js
 5DSv/4oAu57+DjgCjGap8rf+dNveN0V2rHjHkQ42J2ONWajsPce3EI4olSWaPrIkkC3W
 +Pqudq4hiWDJvan4BENIvC6Tpzo2NWlZdP1TEK3qtpKM4yKtFKQGEAbwDhZ2P696IegV
 SrQQ==
X-Gm-Message-State: AOJu0Yy/OM78tIgks4ipvjdwNa3MA+RTsph4A0ONsUVZIpQpJXAx+yGn
 P4Ejm5JcHo8iDAWSTqRUyecSTPR6fgx60Lys6m5Kxb1n9ug=
X-Google-Smtp-Source: AGHT+IHGwXZZZI+Ror7iSZGX6hOywydM9KTmIEh3tP2Iw6kygJe/hlkmcZxiVAJQfpJvsFDDeTjc/XvOOxg5aIjQDyE=
X-Received: by 2002:a67:db8d:0:b0:44d:4c28:55ca with SMTP id
 f13-20020a67db8d000000b0044d4c2855camr1504123vsk.16.1695495890299; Sat, 23
 Sep 2023 12:04:50 -0700 (PDT)
MIME-Version: 1.0
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN>
 <CAJQBtgm2NRG-QQasBp=-x6yngO8D8ASmRH-HZFaNBL0JfKmeVA@HIDDEN>
 <86bkdu8enz.fsf@HIDDEN>
 <CAJQBtgmEw2CC0EWr09Z11X6wmoebZ8MVVPhKkHo8i0L5sG+mjQ@HIDDEN>
 <CAJQBtgkKRc-RF9K9AiAyZJvB9q2LyxriJ2OhjE8ij9auF0usOw@HIDDEN>
In-Reply-To: <CAJQBtgkKRc-RF9K9AiAyZJvB9q2LyxriJ2OhjE8ij9auF0usOw@HIDDEN>
From: Left Right <olegsivokon@HIDDEN>
Date: Sat, 23 Sep 2023 21:04:39 +0200
Message-ID: <CAJQBtgkv1v4a7TjT9-P1Y7F_AHUgiti2mvBGA7RwjRGT9BaXog@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Sorry for making too much noise. Here's what I tried:

=E2=9D=AF alr printenv > alrenv
=E2=9D=AF . ./alrenv
=E2=9D=AF gprbuild -s "-j0" "-p" "-P"
"/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/ali=
re/cache/depe
ndencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"
gnatcoll.gpr:254:07: warning: value "windows" is not used as label
Compile
   [Ada]          wisitoken-followed_by.adb
   [Ada]          wisitoken_grammar_runtime.adb
wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not
modified, could be declared constant [-gnatwk]
wisitoken_grammar_runtime.adb:197:13: warning: unreachable code
[enabled by default]

   compilation of wisitoken_grammar_runtime.adb failed
   compilation of wisitoken-followed_by.adb failed

gprbuild: *** compilation phase failed

This seems to be the actual error.

On Sat, Sep 23, 2023 at 8:55=E2=80=AFPM Left Right <olegsivokon@HIDDEN> =
wrote:
>
> I tried to uninstall every other Ada-related package I installed from
> my distro packages, including Alire. Downloaded Alire binary afresh
> and used it to install the toolchain.
>
> So, I don't think that when I try to run gprbuild command I get the
> same output Alire gets when it runs it. It must be running it in some
> other environment. The thing is: I don't have *any* globally available
> gprbuild now. But the command Alire runs somehow exits with code 4,
> whereas if it couldn't find the command, it would have to exit with
> code 1. It fails for some other reason, but I cannot find a way to
> make the build more verbose so that it would print the stderr / stdout
> of the failing command.
>
> On Sat, Sep 23, 2023 at 6:28=E2=80=AFPM Left Right <olegsivokon@HIDDEN=
> wrote:
> >
> > > Run "alr toolchain", select the internal Ada compiler.
> >
> > Only the external compiler had ever been installed. If I run (I never
> > ran this before):
> >
> > =E2=9D=AF alr toolchain
> > CRATE         VERSION STATUS  NOTES
> > gnat_external 13.2.1  Default Detected at /usr/bin/gnat
> >
> > This is what I get.
> >
> > Here's what I did afterwards:
> >
> > 1. Installed "gnat_native".
> > 2. Ran `alr toolchain --select` and interactively selected a version
> > of "gnat_native" and "gprbuild" so that it looks like this:
> >
> > =E2=9D=AF alr toolchain
> > CRATE         VERSION STATUS    NOTES
> > gprbuild      22.0.1  Default
> > gnat_native   13.1.0  Default
> > gnat_external 13.2.1  Available Detected at /usr/bin/gnat
> >
> > Afterwards, I re-ran build.sh, and I get the same (?) error:
> >
> > wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not
> > modified, could be declared constant [-gnatwk]
> > gnatcoll-projects.adb:38:09: warning: unit "Ada.Unchecked_Conversion"
> > is not referenced [-gnatwu]
> >
> >    compilation of wisitoken-followed_by.adb failed
> >
> > gprbuild: *** compilation phase failed
> > error: Command ["gprbuild", "-s", "-j0", "-p", "-P",
> > "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4=
/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gp=
r"]
> > exited with code 4
> > error: Compilation failed.
> >
> > And if I re-run the failed command:
> >
> > =E2=9D=AF gprbuild -s "-j0" "-p" "-P"
> > "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4=
/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gp=
r"
> > wisitoken_alire.gpr:8:06: imported project file
> > "standard_common_alire" not found
> > wisitoken_alire.gpr:28:43: unknown package or project "Standard_Common_=
Alire"
> > wisitoken_alire.gpr:28:43: wrong expression kind for attribute
> > "default_switches"
> > wisitoken_alire.gpr:28:84: unknown package or project "Standard_Common_=
Alire"
> > wisitoken_alire.gpr:31:43: unknown package or project "Standard_Common_=
Alire"
> > wisitoken_alire.gpr:31:43: wrong expression kind for attribute
> > "default_switches"
> > wisitoken_alire.gpr:31:82: unknown package or project "Standard_Common_=
Alire"
> > wisitoken_alire.gpr:35:41: unknown package or project "Standard_Common_=
Alire"
> > wisitoken_config.gpr:3:06: imported project file
> > "stephes_ada_library.gpr" not found
> > wisitoken_config.gpr:3:06: imported by
> > "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4=
/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/config/wisitoken_config.=
gpr"
> > wisitoken_config.gpr:3:06: imported by
> > "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4=
/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gp=
r"
> > gprbuild: "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.=
5_ecfdcfb4/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoke=
n_alire.gpr"
> > processing failed
> >
> > But when I run:
> >
> > =E2=9D=AF gprbuild --version
> > GPRBUILD Pro 24.0w (20230430) (x86_64-pc-linux-gnu)
> > Copyright (C) 2004-2023, AdaCore
> > This is free software; see the source for copying conditions.
> > See your AdaCore support agreement for details of warranty and support.
> > If you do not have a current support agreement, then there is absolutel=
y
> > no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
> > PURPOSE.
> >
> > So, it looks like maybe the version I selected through Alire is ignored=
?
> >
> > Should I perhaps uninstall distribution-installed Ada-related packages
> > and re-try with only Alire-installed ones?
> >
> > Thanks!
> >
> > Oleg
> >
> > On Fri, Sep 22, 2023 at 4:29=E2=80=AFPM Stephen Leake
> > <stephen_leake@HIDDEN> wrote:
> > >
> > > Left Right <olegsivokon@HIDDEN> writes:
> > >
> > > > Hello Stephen, you wrote:
> > > >
> > > >> This indicates you are using a compiler external to Alire, with a =
newer version
> > > >> than the internal one; I only test with Alire internal compilers, =
for
> > > >> consistency.
> > > >
> > > >> Please configure the internal Alire compiler.
> > > >
> > > >> I will add the tested Alire version to the documentation.
> > > >
> > > > I don't know what to do with Alire, but I will try to figure out.
> > >
> > > Run "alr toolchain", select the internal Ada compiler.
> > >
> > > > But please consider that anyone trying to install Ada on Linux will
> > > > firstly try to go through the process recommended by the distro
> > > > maintainers.
> > >
> > > Alire is supposed to replace that process, but it's not quite there y=
et.
> > >
> > > > In my case, it's a combination of using pacman to install gcc-ada a=
nd
> > > > AUR (auxiliary packages not directly maintained by Arch distributio=
n)
> > > > to install gprbuild, adaxml, alire etc. All I've done so far to
> > > > install Ada was to install packages from these sources.
> > > > (Unfortunately, both documentation and execution here are lacking, =
and
> > > > the process is quite complicated and error-prone).
> > >
> > > Apparently this ended up with Alire being configured for the external
> > > distro Ada compiler, rather than the internal one. That should not
> > > happen by default; perhaps you ran "alr toolchain" at some point?
> > >
> > > > It seems like you want me to install what gcc-ada would install, bu=
t
> > > > through Alire.
> > >
> > > No, just use the default compiler provided by the default Alire insta=
llation.
> > >
> > > > Am I right? In other words, something that isn't provided and manag=
ed
> > > > by the Linux distribution I'm using. This seems like a process that
> > > > requires a lot more expertise from an average user (building any GC=
C
> > > > compiler is not an easy task). Why is this the prefered choice of
> > > > environment?
> > >
> > > It is supposed to require less expertise. Unfortunately, when it fail=
s, it
> > > is confusing and hard to diagnose.
> > >
> > > Part of the reason to start using Alire is to avoid version conflicts
> > > like this! Apparently that doesn't really work. Sigh.
> > >
> > > > As for the documentation: it seems we are reading two different
> > > > documentations. Is the one you are referring to available online?
> > > >
> > > > I was reading this:
> > > >
> > > https://www.gnu.org/software/emacs/manual/html_mono/ada-mode.html#Ins=
tallation
> > >
> > > Sigh. That document is dated 2019 (see the Top node). The upstream
> > > source has been updated since then.
> > >
> > > > This documentation has no mention of how to build Ada mode, nor
> > > > anything about how Ada compiler and toolchain are meant to be set u=
p
> > > > etc.
> > >
> > > The current version refers to ELPA.
> > >
> > > --
> > > -- Stephe

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#66017: Cannot install Ada mode
Resent-From: Left Right <olegsivokon@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 24 Sep 2023 17:24:01 +0000
Resent-Message-ID: <handler.66017.B66017.169557618430629 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 66017
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Stephen Leake <stephen_leake@HIDDEN>
Cc: 66017 <at> debbugs.gnu.org
Received: via spool by 66017-submit <at> debbugs.gnu.org id=B66017.169557618430629
          (code B ref 66017); Sun, 24 Sep 2023 17:24:01 +0000
Received: (at 66017) by debbugs.gnu.org; 24 Sep 2023 17:23:04 +0000
Received: from localhost ([127.0.0.1]:43568 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qkSox-0007xw-DQ
	for submit <at> debbugs.gnu.org; Sun, 24 Sep 2023 13:23:04 -0400
Received: from mail-oo1-xc33.google.com ([2607:f8b0:4864:20::c33]:59393)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <olegsivokon@HIDDEN>) id 1qkSou-0007xO-Ce
 for 66017 <at> debbugs.gnu.org; Sun, 24 Sep 2023 13:23:02 -0400
Received: by mail-oo1-xc33.google.com with SMTP id
 006d021491bc7-57b74782be6so2123409eaf.2
 for <66017 <at> debbugs.gnu.org>; Sun, 24 Sep 2023 10:22:48 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1695576162; x=1696180962; darn=debbugs.gnu.org;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:from:to:cc:subject:date
 :message-id:reply-to;
 bh=OygVYmT+YGQ7Fr8qw+L3nuxJZSgbuOB45YKz3w4n7eA=;
 b=Dd/dy1mmA2x4FK4K5M2gvm6o0bsERmcQfh7dc6WlLxqF7GnGuOC52prMNpWojQf0iq
 aS0ft0Fiu8YECUc+LvMkNcCsnrk+FndW+ddGRI7I0CAWNwpGZNFoySbr9cE7FVOOktOo
 uQVKvnri/jR8up/4xpMHZCL5zX+0sQUB1HTln40EsvniDkWqBy24D/DpcUkMhtCs3/U9
 hqj+jZitK0xnTDhLUDwX9lzuOmZs60maVo0QVNvxXKgQnG2fGWi5afc60CP3ymYpYCq1
 3rldVumyQuxb7iHkypbPlz3IbWjL0rpVUCX672ZmaWqlGnSjMojo/Pn6O/9EAFH7fvIo
 wjyQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1695576162; x=1696180962;
 h=content-transfer-encoding:cc:to:subject:message-id:date:from
 :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc
 :subject:date:message-id:reply-to;
 bh=OygVYmT+YGQ7Fr8qw+L3nuxJZSgbuOB45YKz3w4n7eA=;
 b=lQ3FErMpuUxnDuDwyOm/ZxV4IcKbrUhSA0M6JfCQX4EiR+dATad/ejkQ+ZtLBoUAl2
 q0aQAKPXW8j+UKz33NxcKOXADwuEZs9NQiPvG3tIuaxvWtWDyVduBXl5m/YstX3Ir1e/
 tXdzb8uYJpEf+mI6phJKMQX6gj0G7JSL8uyAC7xmbHgoQTMrYzP4Aut3t77nARI/g7fg
 QszJxS8l1JTDwysZQZvbyn+K0LtI5IbHnEOKY4aXXtweJsnh+QWIKRgqA05iF/2k6/fK
 eixDgrYxbP/NHnZ8cBGdeu22DTQP2mVQYXsLwQfgsttj5vH68HK9nlXt35rlCNRYV/Rs
 yZgQ==
X-Gm-Message-State: AOJu0YxO6tbYGJot91JrZGM53mfr5b0l2T3nj/jXFzMFBRjk7we+eZwq
 +f7Xq5VIOkshSwmawc70P9eW5MlNL2RZH4VZakjr2VjTljo=
X-Google-Smtp-Source: AGHT+IGL5Nnwl4WHCgJXZQiAmsRL/2D3bAY0nooNTRxcWabVi4xlf4ca8xHyK0bEDxcXT0NYeadrzHJ6LwAdqtBpk7M=
X-Received: by 2002:a05:6358:2491:b0:13e:bf50:73af with SMTP id
 m17-20020a056358249100b0013ebf5073afmr5552418rwc.18.1695576162379; Sun, 24
 Sep 2023 10:22:42 -0700 (PDT)
MIME-Version: 1.0
References: <CAJQBtgna+6M7Fg33QL_S2y-BLCJ_j11H-L6p_7wHdx1gS2TZDw@HIDDEN>
 <m25y4b5g1c.fsf@HIDDEN>
 <CAJQBtgm2NRG-QQasBp=-x6yngO8D8ASmRH-HZFaNBL0JfKmeVA@HIDDEN>
 <86bkdu8enz.fsf@HIDDEN>
 <CAJQBtgmEw2CC0EWr09Z11X6wmoebZ8MVVPhKkHo8i0L5sG+mjQ@HIDDEN>
 <CAJQBtgkKRc-RF9K9AiAyZJvB9q2LyxriJ2OhjE8ij9auF0usOw@HIDDEN>
 <CAJQBtgkv1v4a7TjT9-P1Y7F_AHUgiti2mvBGA7RwjRGT9BaXog@HIDDEN>
In-Reply-To: <CAJQBtgkv1v4a7TjT9-P1Y7F_AHUgiti2mvBGA7RwjRGT9BaXog@HIDDEN>
From: Left Right <olegsivokon@HIDDEN>
Date: Sun, 24 Sep 2023 19:22:31 +0200
Message-ID: <CAJQBtgn4-c5GSCHONL3b1h3wk=B2p5jFmNSDH_z+1jeiw4=vCA@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Oh, and, finally, I realized that warnings here must've been
interpreted as errors. Whoa.

So, what I tried to do is to blindly follow what the warnings said.

In wisitoken-followed_by.adb

I changed

Generate_Data : aliased WisiToken.BNF.Generate_Utils.Generate_Data :=3D

to

Generate_Data : constant WisiToken.BNF.Generate_Utils.Generate_Data :=3D

and in wisitoken_grammar_runtime.adb:

            WisiToken.Syntax_Trees.LR_Utils.Raise_Programmer_Error
              ("Get_RHS: " & Exception_Name (E) & ": " &
Exception_Message (E), Tree, Token);
              -- WORKAROUND; GNAT pro_22.0w-20201222 ignores 'pragma
no_return' on Raise_Programmer_Error
            raise;

to

            WisiToken.Syntax_Trees.LR_Utils.Raise_Programmer_Error
              ("Get_RHS: " & Exception_Name (E) & ": " &
Exception_Message (E), Tree, Token);
              -- WORKAROUND; GNAT pro_22.0w-20201222 ignores 'pragma
no_return' on Raise_Programmer_Error
            pragma Warnings (off, "unreachable code");
            raise;
            pragma Warnings (on, "unreachable code");

I don't know if there are any negative consequences to what I've done,
but at least this allowed me to run both build.sh and install.sh.

On Sat, Sep 23, 2023 at 9:04=E2=80=AFPM Left Right <olegsivokon@HIDDEN> =
wrote:
>
> Sorry for making too much noise. Here's what I tried:
>
> =E2=9D=AF alr printenv > alrenv
> =E2=9D=AF . ./alrenv
> =E2=9D=AF gprbuild -s "-j0" "-p" "-P"
> "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/a=
lire/cache/depe
> ndencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.gpr"
> gnatcoll.gpr:254:07: warning: value "windows" is not used as label
> Compile
>    [Ada]          wisitoken-followed_by.adb
>    [Ada]          wisitoken_grammar_runtime.adb
> wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not
> modified, could be declared constant [-gnatwk]
> wisitoken_grammar_runtime.adb:197:13: warning: unreachable code
> [enabled by default]
>
>    compilation of wisitoken_grammar_runtime.adb failed
>    compilation of wisitoken-followed_by.adb failed
>
> gprbuild: *** compilation phase failed
>
> This seems to be the actual error.
>
> On Sat, Sep 23, 2023 at 8:55=E2=80=AFPM Left Right <olegsivokon@HIDDEN=
> wrote:
> >
> > I tried to uninstall every other Ada-related package I installed from
> > my distro packages, including Alire. Downloaded Alire binary afresh
> > and used it to install the toolchain.
> >
> > So, I don't think that when I try to run gprbuild command I get the
> > same output Alire gets when it runs it. It must be running it in some
> > other environment. The thing is: I don't have *any* globally available
> > gprbuild now. But the command Alire runs somehow exits with code 4,
> > whereas if it couldn't find the command, it would have to exit with
> > code 1. It fails for some other reason, but I cannot find a way to
> > make the build more verbose so that it would print the stderr / stdout
> > of the failing command.
> >
> > On Sat, Sep 23, 2023 at 6:28=E2=80=AFPM Left Right <olegsivokon@HIDDEN=
om> wrote:
> > >
> > > > Run "alr toolchain", select the internal Ada compiler.
> > >
> > > Only the external compiler had ever been installed. If I run (I never
> > > ran this before):
> > >
> > > =E2=9D=AF alr toolchain
> > > CRATE         VERSION STATUS  NOTES
> > > gnat_external 13.2.1  Default Detected at /usr/bin/gnat
> > >
> > > This is what I get.
> > >
> > > Here's what I did afterwards:
> > >
> > > 1. Installed "gnat_native".
> > > 2. Ran `alr toolchain --select` and interactively selected a version
> > > of "gnat_native" and "gprbuild" so that it looks like this:
> > >
> > > =E2=9D=AF alr toolchain
> > > CRATE         VERSION STATUS    NOTES
> > > gprbuild      22.0.1  Default
> > > gnat_native   13.1.0  Default
> > > gnat_external 13.2.1  Available Detected at /usr/bin/gnat
> > >
> > > Afterwards, I re-ran build.sh, and I get the same (?) error:
> > >
> > > wisitoken-followed_by.adb:222:07: warning: "Generate_Data" is not
> > > modified, could be declared constant [-gnatwk]
> > > gnatcoll-projects.adb:38:09: warning: unit "Ada.Unchecked_Conversion"
> > > is not referenced [-gnatwu]
> > >
> > >    compilation of wisitoken-followed_by.adb failed
> > >
> > > gprbuild: *** compilation phase failed
> > > error: Command ["gprbuild", "-s", "-j0", "-p", "-P",
> > > "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcf=
b4/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.=
gpr"]
> > > exited with code 4
> > > error: Compilation failed.
> > >
> > > And if I re-run the failed command:
> > >
> > > =E2=9D=AF gprbuild -s "-j0" "-p" "-P"
> > > "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcf=
b4/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.=
gpr"
> > > wisitoken_alire.gpr:8:06: imported project file
> > > "standard_common_alire" not found
> > > wisitoken_alire.gpr:28:43: unknown package or project "Standard_Commo=
n_Alire"
> > > wisitoken_alire.gpr:28:43: wrong expression kind for attribute
> > > "default_switches"
> > > wisitoken_alire.gpr:28:84: unknown package or project "Standard_Commo=
n_Alire"
> > > wisitoken_alire.gpr:31:43: unknown package or project "Standard_Commo=
n_Alire"
> > > wisitoken_alire.gpr:31:43: wrong expression kind for attribute
> > > "default_switches"
> > > wisitoken_alire.gpr:31:82: unknown package or project "Standard_Commo=
n_Alire"
> > > wisitoken_alire.gpr:35:41: unknown package or project "Standard_Commo=
n_Alire"
> > > wisitoken_config.gpr:3:06: imported project file
> > > "stephes_ada_library.gpr" not found
> > > wisitoken_config.gpr:3:06: imported by
> > > "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcf=
b4/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/config/wisitoken_confi=
g.gpr"
> > > wisitoken_config.gpr:3:06: imported by
> > > "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcf=
b4/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisitoken_alire.=
gpr"
> > > gprbuild: "/home/olegs/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.=
0.5_ecfdcfb4/alire/cache/dependencies/wisitoken_4.1.0_f9cd282e/build/wisito=
ken_alire.gpr"
> > > processing failed
> > >
> > > But when I run:
> > >
> > > =E2=9D=AF gprbuild --version
> > > GPRBUILD Pro 24.0w (20230430) (x86_64-pc-linux-gnu)
> > > Copyright (C) 2004-2023, AdaCore
> > > This is free software; see the source for copying conditions.
> > > See your AdaCore support agreement for details of warranty and suppor=
t.
> > > If you do not have a current support agreement, then there is absolut=
ely
> > > no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
> > > PURPOSE.
> > >
> > > So, it looks like maybe the version I selected through Alire is ignor=
ed?
> > >
> > > Should I perhaps uninstall distribution-installed Ada-related package=
s
> > > and re-try with only Alire-installed ones?
> > >
> > > Thanks!
> > >
> > > Oleg
> > >
> > > On Fri, Sep 22, 2023 at 4:29=E2=80=AFPM Stephen Leake
> > > <stephen_leake@HIDDEN> wrote:
> > > >
> > > > Left Right <olegsivokon@HIDDEN> writes:
> > > >
> > > > > Hello Stephen, you wrote:
> > > > >
> > > > >> This indicates you are using a compiler external to Alire, with =
a newer version
> > > > >> than the internal one; I only test with Alire internal compilers=
, for
> > > > >> consistency.
> > > > >
> > > > >> Please configure the internal Alire compiler.
> > > > >
> > > > >> I will add the tested Alire version to the documentation.
> > > > >
> > > > > I don't know what to do with Alire, but I will try to figure out.
> > > >
> > > > Run "alr toolchain", select the internal Ada compiler.
> > > >
> > > > > But please consider that anyone trying to install Ada on Linux wi=
ll
> > > > > firstly try to go through the process recommended by the distro
> > > > > maintainers.
> > > >
> > > > Alire is supposed to replace that process, but it's not quite there=
 yet.
> > > >
> > > > > In my case, it's a combination of using pacman to install gcc-ada=
 and
> > > > > AUR (auxiliary packages not directly maintained by Arch distribut=
ion)
> > > > > to install gprbuild, adaxml, alire etc. All I've done so far to
> > > > > install Ada was to install packages from these sources.
> > > > > (Unfortunately, both documentation and execution here are lacking=
, and
> > > > > the process is quite complicated and error-prone).
> > > >
> > > > Apparently this ended up with Alire being configured for the extern=
al
> > > > distro Ada compiler, rather than the internal one. That should not
> > > > happen by default; perhaps you ran "alr toolchain" at some point?
> > > >
> > > > > It seems like you want me to install what gcc-ada would install, =
but
> > > > > through Alire.
> > > >
> > > > No, just use the default compiler provided by the default Alire ins=
tallation.
> > > >
> > > > > Am I right? In other words, something that isn't provided and man=
aged
> > > > > by the Linux distribution I'm using. This seems like a process th=
at
> > > > > requires a lot more expertise from an average user (building any =
GCC
> > > > > compiler is not an easy task). Why is this the prefered choice of
> > > > > environment?
> > > >
> > > > It is supposed to require less expertise. Unfortunately, when it fa=
ils, it
> > > > is confusing and hard to diagnose.
> > > >
> > > > Part of the reason to start using Alire is to avoid version conflic=
ts
> > > > like this! Apparently that doesn't really work. Sigh.
> > > >
> > > > > As for the documentation: it seems we are reading two different
> > > > > documentations. Is the one you are referring to available online?
> > > > >
> > > > > I was reading this:
> > > > >
> > > > https://www.gnu.org/software/emacs/manual/html_mono/ada-mode.html#I=
nstallation
> > > >
> > > > Sigh. That document is dated 2019 (see the Top node). The upstream
> > > > source has been updated since then.
> > > >
> > > > > This documentation has no mention of how to build Ada mode, nor
> > > > > anything about how Ada compiler and toolchain are meant to be set=
 up
> > > > > etc.
> > > >
> > > > The current version refers to ELPA.
> > > >
> > > > --
> > > > -- Stephe

Last modified: Sun, 24 Sep 2023 17:30:01 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.