From unknown Sat Jun 14 18:41:38 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#66017 <66017@debbugs.gnu.org> To: bug#66017 <66017@debbugs.gnu.org> Subject: Status: Cannot install Ada mode Reply-To: bug#66017 <66017@debbugs.gnu.org> Date: Sun, 15 Jun 2025 01:41:38 +0000 retitle 66017 Cannot install Ada mode reassign 66017 emacs submitter 66017 Left Right severity 66017 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 15 16:12:38 2023 Received: (at submit) by debbugs.gnu.org; 15 Sep 2023 20:12:38 +0000 Received: from localhost ([127.0.0.1]:44915 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhFB8-0000GG-6O for submit@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 ) id 1qhFB3-0000Fy-89 for submit@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 ) id 1qhFAq-00042R-AB for bug-gnu-emacs@gnu.org; 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 ) id 1qhFAo-0004AC-Gh for bug-gnu-emacs@gnu.org; Fri, 15 Sep 2023 16:12:20 -0400 Received: by mail-ua1-x930.google.com with SMTP id a1e0cc1a2514c-7a29ef55d5fso1025204241.3 for ; 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 Date: Fri, 15 Sep 2023 22:12:04 +0200 Message-ID: Subject: Cannot install Ada mode To: bug-gnu-emacs@gnu.org 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@gmail.com; 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 15 16:37:53 2023 Received: (at 66017) by debbugs.gnu.org; 15 Sep 2023 20:37:53 +0000 Received: from localhost ([127.0.0.1]:44954 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhFZY-0000yZ-RS for submit@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 ) id 1qhFZV-0000yJ-DL for 66017@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@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?= To: Left Right Subject: Re: bug#66017: Cannot install Ada mode In-Reply-To: (Left Right's message of "Fri, 15 Sep 2023 22:12:04 +0200") References: Date: Fri, 15 Sep 2023 22:37:35 +0200 Message-ID: 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 , 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Left Right 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 From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 15 16:39:20 2023 Received: (at 66017) by debbugs.gnu.org; 15 Sep 2023 20:39:20 +0000 Received: from localhost ([127.0.0.1]:44960 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhFay-00011E-CR for submit@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 ) id 1qhFat-00010u-Ts for 66017@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@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?= To: Left Right Subject: Re: bug#66017: Cannot install Ada mode In-Reply-To: ("Gerd =?utf-8?Q?M=C3=B6llmann?= =?utf-8?Q?=22's?= message of "Fri, 15 Sep 2023 22:37:35 +0200") References: Date: Fri, 15 Sep 2023 22:39:02 +0200 Message-ID: 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 , 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Gerd M=C3=B6llmann 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. From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 15 16:52:56 2023 Received: (at submit) by debbugs.gnu.org; 15 Sep 2023 20:52:56 +0000 Received: from localhost ([127.0.0.1]:44975 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhFo7-0001S2-NF for submit@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 ) id 1qhFo5-0001Rm-Lg for submit@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 ) id 1qhFnt-0000Sb-Cs for bug-gnu-emacs@gnu.org; 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 ) id 1qhFnr-000224-JF for bug-gnu-emacs@gnu.org; Fri, 15 Sep 2023 16:52:41 -0400 Received: by mail-ua1-x92e.google.com with SMTP id a1e0cc1a2514c-78caeb69125so1083107241.3 for ; 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: In-Reply-To: From: Left Right Date: Fri, 15 Sep 2023 22:52:27 +0200 Message-ID: Subject: Re: Cannot install Ada mode To: bug-gnu-emacs@gnu.org 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@gmail.com; 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 = 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 From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 18 12:53:52 2023 Received: (at 66017) by debbugs.gnu.org; 18 Sep 2023 16:53:52 +0000 Received: from localhost ([127.0.0.1]:54271 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiHVP-0000FH-PQ for submit@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 ) id 1qiHVL-0000Es-IF for 66017@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 ) id 1qiHV5-001NpD-2f for 66017@debbugs.gnu.org; Mon, 18 Sep 2023 10:53:31 -0600 From: Stephen Leake To: 66017@debbugs.gnu.org Subject: Re: bug#66017: Cannot install Ada mode References: Date: Mon, 18 Sep 2023 09:53:30 -0700 In-Reply-To: ("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@stephe-leake.org> 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@stephe-leake.org 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Gerd M=C3=B6llmann 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 From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 19 15:56:58 2023 Received: (at 66017) by debbugs.gnu.org; 19 Sep 2023 19:56:58 +0000 Received: from localhost ([127.0.0.1]:57850 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qigq9-0000pk-MK for submit@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 ) id 1qigq6-0000pW-V8 for 66017@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@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: In-Reply-To: From: Left Right Date: Tue, 19 Sep 2023 21:56:28 +0200 Message-ID: Subject: Re: bug#66017: Cannot install Ada mode To: 66017@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 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 wrote: > > Left Right 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, From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 19 19:15:14 2023 Received: (at 66017) by debbugs.gnu.org; 19 Sep 2023 23:15:14 +0000 Received: from localhost ([127.0.0.1]:57923 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qijw2-0006Fh-Fd for submit@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 ) id 1qijvz-0006FO-6L for 66017@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 ) 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 ) id 1qijvk-0005gL-7h; Tue, 19 Sep 2023 19:14:56 -0400 Content-Type: text/plain; charset=Utf-8 From: Richard Stallman To: Stephen Leake In-Reply-To: <86jzsn8lth.fsf@stephe-leake.org> (message from Stephen Leake on Mon, 18 Sep 2023 09:53:30 -0700) Subject: Re: bug#66017: Cannot install Ada mode References: <86jzsn8lth.fsf@stephe-leake.org> Message-Id: Date: Tue, 19 Sep 2023 19:14:56 -0400 X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 66017 Cc: 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: rms@gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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) From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 22 10:18:29 2023 Received: (at 66017) by debbugs.gnu.org; 22 Sep 2023 14:18:29 +0000 Received: from localhost ([127.0.0.1]:37039 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qjgzE-0002La-Nr for submit@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 ) id 1qjgzB-0002LK-Na for 66017@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 ) id 1qjgyt-003hF9-2q; Fri, 22 Sep 2023 08:18:07 -0600 From: Stephen Leake To: Richard Stallman Subject: Re: bug#66017: Cannot install Ada mode References: <86jzsn8lth.fsf@stephe-leake.org> Date: Fri, 22 Sep 2023 07:18:06 -0700 In-Reply-To: (Richard Stallman's message of "Tue, 19 Sep 2023 19:14:56 -0400") Message-ID: <86fs368f6p.fsf@stephe-leake.org> 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@stephe-leake.org 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@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Richard Stallman 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 From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 22 10:29:43 2023 Received: (at 66017) by debbugs.gnu.org; 22 Sep 2023 14:29:43 +0000 Received: from localhost ([127.0.0.1]:37053 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qjhA7-0002bs-5o for submit@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 ) id 1qjhA3-0002bd-Od for 66017@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 ) id 1qjh9l-003rFu-13; Fri, 22 Sep 2023 08:29:21 -0600 From: Stephen Leake To: Left Right Subject: Re: bug#66017: Cannot install Ada mode References: Date: Fri, 22 Sep 2023 07:29:20 -0700 In-Reply-To: (Left Right's message of "Tue, 19 Sep 2023 21:56:28 +0200") Message-ID: <86bkdu8enz.fsf@stephe-leake.org> 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@stephe-leake.org 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@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Left Right 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 From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 23 07:26:59 2023 Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 11:26:59 +0000 Received: from localhost ([127.0.0.1]:37863 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qk0mp-0008Gb-32 for submit@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 ) id 1qk0mk-0008GJ-Gm for 66017@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@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 In-Reply-To: <86bkdu8enz.fsf@stephe-leake.org> References: <86bkdu8enz.fsf@stephe-leake.org> MIME-Version: 1.0 Date: Sat, 23 Sep 2023 04:26:36 -0700 Message-ID: Subject: Re: bug#66017: Cannot install Ada mode To: Stephen Leake , Left Right Content-Type: text/plain; charset="UTF-8" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Stephen Leake 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 From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 23 12:03:44 2023 Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 16:03:44 +0000 Received: from localhost ([127.0.0.1]:40490 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qk56d-0005FZ-JI for submit@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 ) id 1qk56b-0005F7-37 for 66017@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@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: <86bkdu8enz.fsf@stephe-leake.org> In-Reply-To: From: Left Right Date: Sat, 23 Sep 2023 18:03:12 +0200 Message-ID: Subject: Re: bug#66017: Cannot install Ada mode To: Stefan Kangas 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 , 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 wrote: > > Stephen Leake 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 From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 23 12:28:54 2023 Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 16:28:54 +0000 Received: from localhost ([127.0.0.1]:40537 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qk5V0-0005se-6S for submit@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 ) id 1qk5Uu-0005sK-9y for 66017@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@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: <86bkdu8enz.fsf@stephe-leake.org> In-Reply-To: <86bkdu8enz.fsf@stephe-leake.org> From: Left Right Date: Sat, 23 Sep 2023 18:28:19 +0200 Message-ID: Subject: Re: bug#66017: Cannot install Ada mode To: Stephen Leake Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 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 From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 23 14:56:04 2023 Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 18:56:04 +0000 Received: from localhost ([127.0.0.1]:40612 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qk7nP-0001gl-L6 for submit@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 ) id 1qk7nM-0001gH-HY for 66017@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@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: <86bkdu8enz.fsf@stephe-leake.org> In-Reply-To: From: Left Right Date: Sat, 23 Sep 2023 20:55:32 +0200 Message-ID: Subject: Re: bug#66017: Cannot install Ada mode To: Stephen Leake Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 = 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 > wrote: > > > > Left Right 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 From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 23 15:05:10 2023 Received: (at 66017) by debbugs.gnu.org; 23 Sep 2023 19:05:10 +0000 Received: from localhost ([127.0.0.1]:40637 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qk7wD-0001wu-Dw for submit@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 ) id 1qk7wB-0001wf-V8 for 66017@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@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: <86bkdu8enz.fsf@stephe-leake.org> In-Reply-To: From: Left Right Date: Sat, 23 Sep 2023 21:04:39 +0200 Message-ID: Subject: Re: bug#66017: Cannot install Ada mode To: Stephen Leake Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 = 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 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 > > wrote: > > > > > > Left Right 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 From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 24 13:23:04 2023 Received: (at 66017) by debbugs.gnu.org; 24 Sep 2023 17:23:04 +0000 Received: from localhost ([127.0.0.1]:43568 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qkSox-0007xw-DQ for submit@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 ) id 1qkSou-0007xO-Ce for 66017@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@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: <86bkdu8enz.fsf@stephe-leake.org> In-Reply-To: From: Left Right Date: Sun, 24 Sep 2023 19:22:31 +0200 Message-ID: Subject: Re: bug#66017: Cannot install Ada mode To: Stephen Leake Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66017 Cc: 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 = 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 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 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 > > > wrote: > > > > > > > > Left Right 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 From debbugs-submit-bounces@debbugs.gnu.org Thu Sep 28 13:25:55 2023 Received: (at 66017) by debbugs.gnu.org; 28 Sep 2023 17:25:55 +0000 Received: from localhost ([127.0.0.1]:54452 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qlulv-0004qQ-0d for submit@debbugs.gnu.org; Thu, 28 Sep 2023 13:25:55 -0400 Received: from omta40.uswest2.a.cloudfilter.net ([35.89.44.39]:56331) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qlulq-0004q1-FV for 66017@debbugs.gnu.org; Thu, 28 Sep 2023 13:25:53 -0400 Received: from eig-obgw-5003a.ext.cloudfilter.net ([10.0.29.159]) by cmsmtp with ESMTP id lcE6qloDnQUgRlulUqJUsG; Thu, 28 Sep 2023 17:25:28 +0000 Received: from host2007.hostmonster.com ([67.20.76.71]) by cmsmtp with ESMTPS id lulTqXlhup6uZlulTqKkR0; Thu, 28 Sep 2023 17:25:27 +0000 X-Authority-Analysis: v=2.4 cv=a7kjSGeF c=1 sm=1 tr=0 ts=6515b707 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=FHpH9XpnGRXqxX8zhXUA:9 a=QEXdDO2ut3YA:10 a=RVmHIydaz68A: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:Cc:To:From:Sender :Reply-To: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=y6GGbKR0w3X/GzazzOXWid6B3OrSyhNdnTD4l1iX9Jc=; b=WM4jyuYfRB4uitWSzEvquyDIrs VB6Z99/CnTWaBkBUinf2HJn7OQHIB0p8snqptjNAnfb2S4UhHP1nl2JlGSlvUcwc9hbfdakJkNMmE rNP8fLNxgRufxtrXig8Utz5Resq+3WHdU/tTS9olTQRkq6+NQAipOfD+Q9Bru8O0e8FZ/DpPVhxlY YuGu76ZmbxgLgAaTjYy+U8HF/J5j5A32yr92b6UJzqzvQhZaIGdcO7dXxZv1eGyeNQfdNWCbFb6BI wNcOpF61UlTVzKW2t4C3h1IYrBXiRBZQtWN2Qqc5HWzzcouf/lJYRl3hI6fhpjCxBSrfJppMnEwkT tMGbZ14w==; Received: from 135-180-197-170.fiber.dynamic.sonic.net ([135.180.197.170]:58240 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 ) id 1qlulS-003Boo-2x; Thu, 28 Sep 2023 11:25:26 -0600 From: Stephen Leake To: Left Right Subject: Re: bug#66017: Cannot install Ada mode References: <86bkdu8enz.fsf@stephe-leake.org> Date: Thu, 28 Sep 2023 10:25:25 -0700 In-Reply-To: (Left Right's message of "Sat, 23 Sep 2023 18:28:19 +0200") Message-ID: <865y3u8b22.fsf@stephe-leake.org> 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: 1qlulS-003Boo-2x 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]:58240 X-Source-Auth: stephen_leake@stephe-leake.org X-Email-Count: 2 X-Org: HG=bhshared_hm;ORG=bluehost; X-Source-Cap: c3RlcGhlbGU7c3RlcGhlbGU7aG9zdDIwMDcuaG9zdG1vbnN0ZXIuY29t X-Local-Domain: yes X-CMAE-Envelope: MS4xfEg9o0UexukdzOfx3VINW1Ee3yAADcioRK561COmTsyMwjKUIdkgn9/dvy+TU0/3wGVbkPMdESlf31gytuD4IxhpMLPHeGm/QuWhoer5SrvkSJkeut2N hSApHIWz/JJMF6ZIkjbW/2yHD90GdXpsrBQs6dvivKgRG+35Qd1lJ7dmkMNNJtntKqpoP221oJ5G/oPvLhmkztaCmXwnrqZwZDg= X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 66017 Cc: 66017@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Left Right writes: >> 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 Ok. Apparently the version of gnat in alr has been updated since my last release. I've updated my Alire index, and have now reproduced this error. If the --select list has gnat 12, selecting that would be the simplest workaround. You can change it back to external or internal 13 after finishing ada-mode install. > 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] As Simon pointed out, if the compilation options allowed ignoring warnings, this would not be a problem. I'll do that in the next release. One workaround is to edit the release options in your alire workspace for ada-mode: edit ~/.emacs.d/elpa/ada-mode-8.0.5/emacs_ada_mode_8.0.5_ecfdcfb4/alire/cac= he/dependencies/stephes_ada_library_3.7.2_2b6a88f9/build/standard_common_al= ire.gpr (note that is a _very_ long file name!) =20=20=20=20 delete "e" from Common_Switches; it's currently in "-gnatwaBCeJL". Full patch for that file attached below. rerun build.sh That worked for me. Another workaround is to edit the code to eliminate the warning; see the patches below. This will be in the next release. > 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 > So, it looks like maybe the version I selected through Alire is > ignored? This fails because it doesn't have the environment variables defined by alire to point to the toolchain and dependencies. You can use "alr exec" to try this, but I've not had much success with that. > Should I perhaps uninstall distribution-installed Ada-related packages > and re-try with only Alire-installed ones? No need to uninstall anything. -- -- Stephe diff --git a/build/standard_common_alire.gpr b/build/standard_common_alire.= gpr index daf13a3e..c9b64f7c 100644 --- a/build/standard_common_alire.gpr +++ b/build/standard_common_alire.gpr @@ -7,7 +7,7 @@ -- [build-switches] in alire.toml. That is harder to maintain than -- this file. -- --- Copyright (C) 2018 - 2022 Free Software Foundation, Inc. +-- Copyright (C) 2018 - 2023 Free Software Foundation, Inc. -- -- This program is free software; you can redistribute it and/or -- modify it under terms of the GNU General Public License as @@ -48,11 +48,11 @@ project Standard_Common_Alire is "-g", "-gnatfqQ", -- f =3D all error messages, qQ =3D process semantics, g= enerate .ali if syntax errors "-gnatw.d", -- warnings about tags - "-gnatwaBCeJL" + "-gnatwaBCJL" -- wa =3D most warnings -- wB =3D no warn on bad fixed values -- wC =3D no warn on conditionals - -- we =3D error on warning + -- we =3D error on warning; only in debug, so released code still com= piles with newer gnat -- wJ =3D no warn on obsolescent (including () for array indices!) -- wL =3D no warn on elaboration ); @@ -64,7 +64,7 @@ project Standard_Common_Alire is "-O0", -- we don't use -Og because that causes gdb to report incorr= ect results in some cases in Ada. "-gnatVa", -- validity checks "-gnateE", -- extra info in exceptions - "-gnatwP", -- no warn on Inline + "-gnatweP", -- error on warn, no warn on Inline "-gnata" -- assertions, pre/post-conditions ); diff --git a/wisitoken-followed_by.adb b/wisitoken-followed_by.adb index 04c9aed5..098b262f 100644 --- a/wisitoken-followed_by.adb +++ b/wisitoken-followed_by.adb @@ -30,7 +30,7 @@ -- expand : C2: simple_expression : 'new' subtype_indicatio= n + primary ; -- that's the derivation we are looking for. =20 --- Copyright (C) 2020, 2022 Stephen Leake All Rights Reserved. +-- Copyright (C) 2020, 2022, 2023 Stephen Leake All Rights Reserved. -- -- This library is free software; you can redistribute it and/or modify = it -- under terms of the GNU General Public License as published by the Fr= ee @@ -219,7 +219,7 @@ begin Input_Data : aliased WisiToken_Grammar_Runtime.User_Data_Type; Trace : WisiToken.Text_IO_Trace.Trace; =20 - Generate_Data : aliased WisiToken.BNF.Generate_Utils.Generate_Data := =3D + Generate_Data : aliased constant WisiToken.BNF.Generate_Utils.Genera= te_Data :=3D WisiToken.BNF.Generate_Utils.Parse_Grammar_File (-Grammar_File_Name, Input_Data'Unchecked_Access, BNF.LALR, BNF.= re2c_Lexer, Trace, Ignore_Conflicts =3D> True); -- Builds Generate_Data.Descriptor, Generate_Data.Grammar diff --git a/wisitoken_grammar_runtime.adb b/wisitoken_grammar_runtime.adb index dc2f3a72..8972f29e 100644 --- a/wisitoken_grammar_runtime.adb +++ b/wisitoken_grammar_runtime.adb @@ -242,7 +242,12 @@ package body WisiToken_Grammar_Runtime is begin WisiToken.Syntax_Trees.LR_Utils.Raise_Programmer_Error ("Get_RHS: " & Exception_Name (E) & ": " & Exception_Message= (E), Tree, Token); - raise; -- WORKAROUND; GNAT pro_22.0w-20201222 ignores 'pragma = no_return' on Raise_Programmer_Error + + -- WORKAROUND; GNAT pro_22.0w-20201222 ignores 'pragma + -- no_return' on Raise_Programmer_Error; uncomment 'raise' fo= r that + -- compiler. + -- + -- raise; end; end if; end Get_RHS;