Received: (at 66017) by debbugs.gnu.org; 24 Sep 2023 17:23:04 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Sep 24 13:23:04 2023
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>
Subject: Re: bug#66017: Cannot install Ada mode
To: Stephen Leake <stephen_leake@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 66017
Cc: 66017 <at> debbugs.gnu.org
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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 19:05:10 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Sep 23 15:05:10 2023 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> Subject: Re: bug#66017: Cannot install Ada mode To: Stephen Leake <stephen_leake@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: 66017 <at> debbugs.gnu.org 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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 18:56:04 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Sep 23 14:56:04 2023 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> Subject: Re: bug#66017: Cannot install Ada mode To: Stephen Leake <stephen_leake@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: 66017 <at> debbugs.gnu.org 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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 16:28:54 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Sep 23 12:28:54 2023 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> Subject: Re: bug#66017: Cannot install Ada mode To: Stephen Leake <stephen_leake@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: 66017 <at> debbugs.gnu.org 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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 16:03:44 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Sep 23 12:03:44 2023 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> Subject: Re: bug#66017: Cannot install Ada mode To: Stefan Kangas <stefankangas@HIDDEN> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: Stephen Leake <stephen_leake@HIDDEN>, 66017 <at> debbugs.gnu.org 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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.
Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 11:26:59 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Sep 23 07:26:59 2023
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>
Subject: Re: bug#66017: Cannot install Ada mode
To: Stephen Leake <stephen_leake@HIDDEN>,
Left Right <olegsivokon@HIDDEN>
Content-Type: text/plain; charset="UTF-8"
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 66017
Cc: 66017 <at> debbugs.gnu.org
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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at 66017) by debbugs.gnu.org; 22 Sep 2023 14:29:43 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri Sep 22 10:29:43 2023 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> To: Left Right <olegsivokon@HIDDEN> Subject: Re: bug#66017: Cannot install Ada mode 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-Debbugs-Envelope-To: 66017 Cc: 66017 <at> debbugs.gnu.org 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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at 66017) by debbugs.gnu.org; 22 Sep 2023 14:18:29 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri Sep 22 10:18:29 2023 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> To: Richard Stallman <rms@HIDDEN> Subject: Re: bug#66017: Cannot install Ada mode 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-Debbugs-Envelope-To: 66017 Cc: 66017 <at> debbugs.gnu.org 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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at 66017) by debbugs.gnu.org; 19 Sep 2023 23:15:14 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue Sep 19 19:15:14 2023 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> To: Stephen Leake <stephen_leake@HIDDEN> In-Reply-To: <86jzsn8lth.fsf@HIDDEN> (message from Stephen Leake on Mon, 18 Sep 2023 09:53:30 -0700) Subject: Re: bug#66017: Cannot install Ada mode 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-Debbugs-Envelope-To: 66017 Cc: 66017 <at> debbugs.gnu.org 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> Reply-To: rms@HIDDEN 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)
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at 66017) by debbugs.gnu.org; 19 Sep 2023 19:56:58 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue Sep 19 15:56:58 2023 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> Subject: Re: bug#66017: Cannot install Ada mode To: 66017 <at> debbugs.gnu.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: Stephen Leake <stephen_leake@HIDDEN> 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,
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.
Received: (at 66017) by debbugs.gnu.org; 18 Sep 2023 16:53:52 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Sep 18 12:53:52 2023
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>
To: 66017 <at> debbugs.gnu.org
Subject: Re: bug#66017: Cannot install Ada mode
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?=
=?utf-8?Q?=22'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-Debbugs-Envelope-To: 66017
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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at submit) by debbugs.gnu.org; 15 Sep 2023 20:52:56 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri Sep 15 16:52:56 2023 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> Subject: Re: Cannot install Ada mode To: bug-gnu-emacs@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-Debbugs-Envelope-To: submit 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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.
Received: (at 66017) by debbugs.gnu.org; 15 Sep 2023 20:39:20 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Sep 15 16:39:20 2023
Received: from localhost ([127.0.0.1]:44960 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1qhFay-00011E-CR
for submit <at> debbugs.gnu.org; Fri, 15 Sep 2023 16:39:20 -0400
Received: from mail-ej1-x635.google.com ([2a00:1450:4864:20::635]:51245)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <gerd.moellmann@HIDDEN>) id 1qhFat-00010u-Ts
for 66017 <at> debbugs.gnu.org; Fri, 15 Sep 2023 16:39:17 -0400
Received: by mail-ej1-x635.google.com with SMTP id
a640c23a62f3a-9adca291f99so119567466b.2
for <66017 <at> debbugs.gnu.org>; Fri, 15 Sep 2023 13:39:09 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1694810343; x=1695415143; darn=debbugs.gnu.org;
h=content-transfer-encoding:mime-version:user-agent:message-id:date
:references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date
:message-id:reply-to;
bh=BLX9OHV+H38kFLOUVUM5ltE0NWvOwqdgyKMB/NXDMLY=;
b=mPqRhkMqzJHvy7N+KUDqwE8a0d4r59AHjxdPnRkHRrWBo4InC6OLvDBksQTeTYAeDp
kTdfQHlTSZ44bA1/VkJYY4njAlfo9f3IzqWkevYCnaGPgYMeOEUjQNtMrFQ2keOy9MSo
UX+02ymPME8QaEEcmcQA7DMe4sMfDyWzg/rnQON6E5LtgNjdMWeEHU8UAsN8SIR3E8Ji
oofcj82C3NH5MKciz9syws4KM/G+iiloBlZv/fUFYficcbi2XdYlh6kzwmX9GwprKM61
ep2BA3MOgo8Cnpc3HdgxGnf21JPzf8EKvDkxp0Ptldxqfo7cbEF0Rk2fXZyQTkUi49QE
brFA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1694810343; x=1695415143;
h=content-transfer-encoding:mime-version:user-agent:message-id:date
:references:in-reply-to:subject:cc:to:from:x-gm-message-state:from
:to:cc:subject:date:message-id:reply-to;
bh=BLX9OHV+H38kFLOUVUM5ltE0NWvOwqdgyKMB/NXDMLY=;
b=NrEq0WZG9t4L5LGAdMeikBCZg5ADu6bvCCz6gvrqw8L7Ujq1MRKvjVUlVsev0LmYTv
gft+8S/YBJc4Ka6KyjvsLgxhZ9xuLmj49SQM6AhuStGilwFfEmPRhSVY0IGLpTTEB+M+
JNwagDWbEwcqQCNgFvOhvpW8ZK8lhwDisCKG3gUxDVCP0C1E2mJVfWLxXrEkmWPhLrWj
0paqz+M4k3Eas2JSBGmBblVce3K2A0Pf/KXUvFIQ4OprtNpV3hx9/WpTf9wYmO2Lj5fw
yeqfHRv+4gDK93Ek7RmMtWekC08d7+KLkqJq6JfPEhaQkK+x5LVgHuyh+ZydRsZhnzLf
osqg==
X-Gm-Message-State: AOJu0Ywn8YkzUb760iCXysvx9uGxgwvvALWubtnHNOeS2YcedpufeQ0l
eOw9GXrmdPF/3ojxwWA1mlE=
X-Google-Smtp-Source: AGHT+IEC8ev7hZ3NcBsH3HNIBfgIl8XFvcgrFG/YP6XfGuHq3z+h0+e5v72BYrNaAP+/TrUwNjMZ0Q==
X-Received: by 2002:a17:907:78d4:b0:9a2:5bf:8b18 with SMTP id
kv20-20020a17090778d400b009a205bf8b18mr2392286ejc.14.1694810343299;
Fri, 15 Sep 2023 13:39:03 -0700 (PDT)
Received: from Pro.fritz.box (pd9e36d0d.dip0.t-ipconnect.de. [217.227.109.13])
by smtp.gmail.com with ESMTPSA id
i13-20020a170906114d00b00992afee724bsm2819089eja.76.2023.09.15.13.39.02
(version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
Fri, 15 Sep 2023 13:39:02 -0700 (PDT)
From: =?utf-8?Q?Gerd_M=C3=B6llmann?= <gerd.moellmann@HIDDEN>
To: Left Right <olegsivokon@HIDDEN>
Subject: Re: bug#66017: Cannot install Ada mode
In-Reply-To: <m25y4b5g1c.fsf@HIDDEN> ("Gerd =?utf-8?Q?M=C3=B6llmann?=
=?utf-8?Q?=22'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
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 66017
Cc: Stephen Leake <stephen_leake@HIDDEN>, 66017 <at> debbugs.gnu.org
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 (-)
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.
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at 66017) by debbugs.gnu.org; 15 Sep 2023 20:37:53 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri Sep 15 16:37:53 2023 Received: from localhost ([127.0.0.1]:44954 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1qhFZY-0000yZ-RS for submit <at> debbugs.gnu.org; Fri, 15 Sep 2023 16:37:53 -0400 Received: from mail-ed1-x536.google.com ([2a00:1450:4864:20::536]:53279) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <gerd.moellmann@HIDDEN>) id 1qhFZV-0000yJ-DL for 66017 <at> debbugs.gnu.org; Fri, 15 Sep 2023 16:37:51 -0400 Received: by mail-ed1-x536.google.com with SMTP id 4fb4d7f45d1cf-52c88a03f99so2906912a12.2 for <66017 <at> debbugs.gnu.org>; Fri, 15 Sep 2023 13:37:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1694810257; x=1695415057; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=3lPwwsVDkkgivvdCHKiQwvh6NZqw3eFMGBiJvg/+Pe0=; b=VXc61UuUwLkNOb0mUBkV1vl/UrXUUmMcK/GT9klu0wefLhvPgF8h+IoRjMD//VPdAm atfxsm+/u8FmrZnWE3V70folliS9iQJtTWRVBNvKdqyzQ8Bh4IpnMSE0Chy+RwLEm3mw DBgcJt50icZr2hFURdw7unKaDKoi6Wj2yHT6cfDYF7VPHuK4+7Pj+oeAAkeRh7uIhdy/ kcariZBevdNQLb3TXMwRN9Ym7gowP+uOSixaQjwpWVhe02miWYkva/MbV7AQp4N+blsm pwFMrCdEeaM5hqs+4UJX0cD334paWHZTh0s/NT5CtLcILVA6e95aPr4dEY6sYZyIW6k6 vv/Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694810257; x=1695415057; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=3lPwwsVDkkgivvdCHKiQwvh6NZqw3eFMGBiJvg/+Pe0=; b=lr1xVH7BKQEJxJt4LddUnq7cEC1zO3UlENFIUjejxTyzU4g0mJgH4qZMy6Dlf+mOpv X0yvq8R3MervJZ3gI9sMOHxe3+vk8trrxsF8uzc0awp+oY7si8QGL45VNgnbgSZEhs2v nkFQ2ZWuFubHZZe86TjLnU18uu9AAhXr9VsBRMVb53r5SrqvGOKlRaUorMS6TqdlGoqH X/qMgU3FiAN+7GpKXzX2HYsiCm++V30Mca9MxrmJ72ZMWnx8mJlzDq2kgdU0dIuLTQXs GBYN9IkTfOA3KO569+Duj36HNxEAvT3hk/2G/igCcv89UQWNcFsxoEgGzrSDcTFKpeHU Yreg== X-Gm-Message-State: AOJu0YyQLDRrzDyMu718ixgkj1qLEebn0VL0Lv84ho+oECmu/fLGG7cR hKzz7yGrY9p8WeOkmGG/8I4= X-Google-Smtp-Source: AGHT+IHgQ/GZfIx59qOvUZcD4WJX4cLbyBaA3xhHdDsK+faeCAP5tNBizBM/XfQQBqf0664r34Ioqg== X-Received: by 2002:a05:6402:1288:b0:52f:bb56:af4 with SMTP id w8-20020a056402128800b0052fbb560af4mr2292913edv.23.1694810256606; Fri, 15 Sep 2023 13:37:36 -0700 (PDT) Received: from Pro.fritz.box (pd9e36d0d.dip0.t-ipconnect.de. [217.227.109.13]) by smtp.gmail.com with ESMTPSA id a9-20020aa7d909000000b0052889d090bfsm2687376edr.79.2023.09.15.13.37.35 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 15 Sep 2023 13:37:36 -0700 (PDT) From: =?utf-8?Q?Gerd_M=C3=B6llmann?= <gerd.moellmann@HIDDEN> To: Left Right <olegsivokon@HIDDEN> Subject: Re: bug#66017: Cannot install Ada mode 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 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: Stephen Leake <stephen_leake@HIDDEN>, 66017 <at> debbugs.gnu.org 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 (-) 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
bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.Received: (at submit) by debbugs.gnu.org; 15 Sep 2023 20:12:38 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri Sep 15 16:12:38 2023 Received: from localhost ([127.0.0.1]:44915 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1qhFB8-0000GG-6O for submit <at> debbugs.gnu.org; Fri, 15 Sep 2023 16:12:38 -0400 Received: from lists.gnu.org ([2001:470:142::17]:55858) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <olegsivokon@HIDDEN>) id 1qhFB3-0000Fy-89 for submit <at> debbugs.gnu.org; Fri, 15 Sep 2023 16:12:37 -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 1qhFAq-00042R-AB for bug-gnu-emacs@HIDDEN; Fri, 15 Sep 2023 16:12:20 -0400 Received: from mail-ua1-x930.google.com ([2607:f8b0:4864:20::930]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from <olegsivokon@HIDDEN>) id 1qhFAo-0004AC-Gh for bug-gnu-emacs@HIDDEN; Fri, 15 Sep 2023 16:12:20 -0400 Received: by mail-ua1-x930.google.com with SMTP id a1e0cc1a2514c-7a29ef55d5fso1025204241.3 for <bug-gnu-emacs@HIDDEN>; Fri, 15 Sep 2023 13:12:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1694808735; x=1695413535; darn=gnu.org; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=Y3ApcOGsGdov4tbT1Um7OgZnfrgi8xaMWuKTX1e4KJk=; b=kqYTAkgYxBgVFp0//75a6viAfvBKlQR+c+M2C6h22EABH1RKszFF/LvCQkfvQ1/hbx 3YJZoJxKy+dWCjHeiI1WA+2c6q4YoUrzBLyW4wtQ76/fK2SMIV10+zgwSZBjDRG2Hhpj kWBe5tqhlFTYpJ5SqqI37kOzcH78cmYyAM0EjRe2olZhbYsRulykJKBzzI4aTKXJLeAY 9aXJuveB/dixY9nky4bUn+z+cnnwkSa+ze+3wgjL05AdkTiCbThSqWUiYEXmoM9Biw+o /a4xgvvE20ZIFuze35qUnnKr+BgEpctXxZqIK3lTiP/qEBIR6vJ4UnF+UiAVYS+AHrSa LEHw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694808735; x=1695413535; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=Y3ApcOGsGdov4tbT1Um7OgZnfrgi8xaMWuKTX1e4KJk=; b=I+rw5cwDZtP5Xf4oNOQTe94pKKsvCvJwqHS2nslnOoOBbXnnYJKSsDnlFQjGf8CcqV CyNJtCXd+KOxVfaIqN4+tugBwDWautLU6HUgVNIfkFo/xa3VeqEs4liHKrLQ3sruJ1zd qvw1IGenEUFj/7hlXDVimrVhA3gGtEESHU3ubV8brg49xaaEsHRzNjCpcTms8FFEnnXE LBn9X+ei1YTYDJOb49rY2H6vXVulwrtA2rZYDUcPAYvjyjpaiKrd/MK9hAjMl3/AKzIO L2fm/KC6GhAwmeHk2SUWW7H7dl7RmU+PplkTHjWRc14rG4QZIuzy0PmbUrvE/36+ciNH 9Mpw== X-Gm-Message-State: AOJu0YzV9t7TcPphJfvXm50HkMheZFWpFbCWo+LrQSK5Jn+HMN3nA91w wN03ILiBrHbXRtYh0TowVh2TtcSBjDtadrR1OoOHrwzR0Gc= X-Google-Smtp-Source: AGHT+IF9hFIb1MAVC4GVJ/qSbiwPq2AGkPOBBF80x3yDrkXOqguejzRTQRhYePysr3+El3GQxPqayZm4maMsLjRF8rE= X-Received: by 2002:a1f:e6c2:0:b0:48f:a5db:2cd4 with SMTP id d185-20020a1fe6c2000000b0048fa5db2cd4mr2559945vkh.4.1694808735444; Fri, 15 Sep 2023 13:12:15 -0700 (PDT) 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> Subject: Cannot install Ada mode To: bug-gnu-emacs@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-Debbugs-Envelope-To: submit 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
Left Right <olegsivokon@HIDDEN>:bug-gnu-emacs@HIDDEN.
Full text available.bug-gnu-emacs@HIDDEN:bug#66017; Package emacs.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.