From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Left Right Newsgroups: gmane.emacs.bugs Subject: bug#66017: Cannot install Ada mode Date: Sat, 23 Sep 2023 18:28:19 +0200 Message-ID: References: <86bkdu8enz.fsf@stephe-leake.org> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12952"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 66017@debbugs.gnu.org To: Stephen Leake Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Sep 23 18:29:11 2023 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qk5VG-000394-B5 for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 23 Sep 2023 18:29:10 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qk5V0-0008Mp-9y; Sat, 23 Sep 2023 12:28:54 -0400 Original-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 ) id 1qk5Ux-0008MT-Kt for bug-gnu-emacs@gnu.org; Sat, 23 Sep 2023 12:28:51 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qk5Ux-0005hM-Cb for bug-gnu-emacs@gnu.org; Sat, 23 Sep 2023 12:28:51 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qk5V8-0005t0-AO for bug-gnu-emacs@gnu.org; Sat, 23 Sep 2023 12:29:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Left Right Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 23 Sep 2023 16:29:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66017 X-GNU-PR-Package: emacs Original-Received: via spool by 66017-submit@debbugs.gnu.org id=B66017.169548653422612 (code B ref 66017); Sat, 23 Sep 2023 16:29:02 +0000 Original-Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 16:28:54 +0000 Original-Received: from localhost ([127.0.0.1]:40537 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qk5V0-0005se-6S for submit@debbugs.gnu.org; Sat, 23 Sep 2023 12:28:54 -0400 Original-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 ) id 1qk5Uu-0005sK-9y for 66017@debbugs.gnu.org; Sat, 23 Sep 2023 12:28:52 -0400 Original-Received: by mail-ua1-x930.google.com with SMTP id a1e0cc1a2514c-7ab7e87f866so854070241.1 for <66017@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) In-Reply-To: <86bkdu8enz.fsf@stephe-leake.org> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:271175 Archived-At: > 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 wrote: > > Left Right 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