how to install Alire ada on Linux?

how to install Alire ada on Linux?

[Nasser M. Abbasi]

I went to https://alire.ada.dev/

It says at the top "download Alire for windows".

No linux button. Only windows.

I searched the page and find it says below

"Supported platforms
Alire builds are available for Linux x86-64, Windows x86-64 and
macOS x86-64. For all those platforms, recent Ada compiler (GNAT FSF) are
provided including cross compilers for ARM, RISC-V and AVR."

I said great. But where is the link? No link.

I searched and searched the page and no link. It just says

     "Alire builds are available for Linux x86-64"

Available where??

You do not think a link will help here?

When I google "alire ada linux" I find

https://aur.archlinux.org/packages/alire

So on my Linux Manjaro, I used the system program installer and
asked it to install alire 1.2.1-2 but it failed:


Preparing...
Checking alire dependencies...
Checking gnatcoll-core dependencies...
Checking gprbuild dependencies...
Checking libgpr dependencies...
Checking xmlada dependencies...
Checking gprbuild-bootstrap dependencies...
Resolving dependencies...
Checking inter-conflicts...
Warning: dependency cycle detected:
Warning: gprbuild will be installed before its libgpr dependency
Warning: dependency cycle detected:
Warning: gprbuild will be installed before its xmlada dependency
Download of libsigsegv (2.14-1) started
Download of libsigsegv (2.14-1) finished
Download of python-sphinxcontrib-applehelp (1.0.2-9) started
Download of python-sphinxcontrib-applehelp (1.0.2-9) finished
Download of python-babel (2.11.0-1) started
Download of python-pytz (2022.6-1) started
Download of python-pytz (2022.6-1) finished
Download of python-imagesize (1.4.1-2) started
Download of python-imagesize (1.4.1-2) finished
Download of ffcall (2.4-2) started
Download of ffcall (2.4-2) finished
Download of python-babel (2.11.0-1) finished
Download of t1lib (5.1.2-8) started
Download of zziplib (0.13.72-1) started
Download of zziplib (0.13.72-1) finished
Download of t1lib (5.1.2-8) finished
Download of potrace (1.16-2) started
Download of potrace (1.16-2) finished
Download of texlive-bin (2022.62885-3) started
Download of python-sphinx-alabaster-theme (0.7.12-9) started
Download of python-sphinx-alabaster-theme (0.7.12-9) finished
Download of texlive-bin (2022.62885-3) finished
Download of texlive-core (2022.63035-1) started
Download of python-sphinxcontrib-serializinghtml (1.1.5-4) started
Download of python-sphinxcontrib-serializinghtml (1.1.5-4) finished
Download of python-sphinxcontrib-jsmath (1.0.1-12) started
Download of python-sphinxcontrib-jsmath (1.0.1-12) finished
Download of python-sphinxcontrib-htmlhelp (2.0.0-5) started
Download of python-sphinxcontrib-htmlhelp (2.0.0-5) finished
Download of python-markupsafe (2.1.1-1) started
Download of python-markupsafe (2.1.1-1) finished
Download of python-jinja (1:3.1.2-2) started
Download of python-jinja (1:3.1.2-2) finished
Download of python-snowballstemmer (2.2.0-3) started
Download of python-snowballstemmer (2.2.0-3) finished
Download of python-sphinxcontrib-qthelp (1.0.3-9) started
Download of python-sphinxcontrib-qthelp (1.0.3-9) finished
Download of python-sphinxcontrib-devhelp (1.0.2-9) started
Download of python-sphinxcontrib-devhelp (1.0.2-9) finished
Download of texlive-core (2022.63035-1) finished
Download of python-sphinx (5.3.0-1) started
Download of python-sphinx (5.3.0-1) finished
Download of texlive-latexextra (2022.63034-1) started
Download of python-sphinx_rtd_theme (1.1.1-1) started
Download of python-sphinx_rtd_theme (1.1.1-1) finished
Download of debugedit (5.0-4) started
Download of debugedit (5.0-4) finished
Download of texlive-latexextra (2022.63034-1) finished
Download of gcc-ada (12.2.0-1) started
Download of gcc-ada (12.2.0-1) finished
Checking keyring...
Checking integrity...
Loading packages files...
Checking file conflicts...
Checking available disk space...
Installing libsigsegv (2.14-1)...
Installing python-sphinxcontrib-applehelp (1.0.2-9)...
Installing python-pytz (2022.6-1)...
Installing python-babel (2.11.0-1)...
Installing python-imagesize (1.4.1-2)...
Installing t1lib (5.1.2-8)...
Installing ffcall (2.4-2)...
Installing zziplib (0.13.72-1)...
Installing potrace (1.16-2)...
Installing texlive-bin (2022.62885-3)...
Installing texlive-core (2022.63035-1)...
>>> updmap custom entries should go into /etc/texmf/web2c/updmap-local.cfg
>>> fmtutil custom entries should go into /etc/texmf/web2c/fmtutil-local.cnf
NB: To setup ConTeXt and the lua(la)tex font db,
     see http://wiki.archlinux.org/index.php/TeX_Live
Installing python-sphinx-alabaster-theme (0.7.12-9)...
Installing python-sphinxcontrib-serializinghtml (1.1.5-4)...
Installing python-sphinxcontrib-jsmath (1.0.1-12)...
Installing python-markupsafe (2.1.1-1)...
Installing python-sphinxcontrib-htmlhelp (2.0.0-5)...
Installing python-jinja (1:3.1.2-2)...
Installing python-snowballstemmer (2.2.0-3)...
Installing python-sphinxcontrib-devhelp (1.0.2-9)...
Installing python-sphinxcontrib-qthelp (1.0.3-9)...
Installing python-sphinx (5.3.0-1)...
Installing python-sphinx_rtd_theme (1.1.1-1)...
Installing texlive-latexextra (2022.63034-1)...
Installing debugedit (5.0-4)...
Installing gcc-ada (12.2.0-1)...
Running post-transaction hooks...
Arming ConditionNeedsUpdate...
Updating fontconfig cache...
Updating TeXLive filename database...
Updating the info directory file...
Updating TeXLive format files...
Updating TeXLive font maps...
Updating the desktop file MIME type cache...
Cloning gprbuild build files...
Generating gprbuild information...

Building gprbuild...
==> Making package: gprbuild 1:23.0.0-2 (Tue 27 Dec 2022 06:15:37 PM CST)
==> Checking runtime dependencies...
==> Missing dependencies:
   -> xmlada
==> Checking buildtime dependencies...
==> Missing dependencies:
   -> gprbuild-bootstrap
==> ERROR: Could not resolve all dependencies.


I am on Linux Manjaeo 21.3.1 installed on July 2022.

Any suggestion how to down/install Ada on Linux? My understanding
is that now one should use alire to do this.

--Nasser

Re: how to install Alire ada on Linux?

[Rod Kay]

Hi Nasser.

Perhaps try ...

$ pacaur -S gprbuild
$ pacaur -S alire



Regards.

Re: how to install Alire ada on Linux?

[Nasser M. Abbasi]

On 12/28/2022 2:07 AM, Rod Kay wrote:
> Hi Nasser.
> 
> Perhaps try ...
> 
> $ pacaur -S gprbuild
> $ pacaur -S alire
> 

Thanks. But this also gives an error:


>pacaur -S gprbuild
:: Package gprbuild not found in repositories, trying AUR...
:: resolving dependencies...
:: looking for inter-conflicts...

AUR Packages  (3) gprbuild-1:23.0.0-2  libgpr-1:23.0.0-2  xmlada-1:23.0.0-1

:: Proceed with installation? [Y/n]
:: Retrieving package(s)...
clone complete: /home/me/.cache/pacaur/xmlada
clone complete: /home/me/.cache/pacaur/gprbuild
:: View gprbuild PKGBUILD? [Y/n]
:: gprbuild PKGBUILD viewed
:: View xmlada PKGBUILD? [Y/n] n
sudo: a password is required
[sudo] password for me:
:: Checking xmlada integrity...
==> Making package: xmlada 1:23.0.0-1 (Wed 28 Dec 2022 03:06:41 AM CST)
==> Retrieving sources...
   -> Downloading xmlada-23.0.0.tar.gz...
   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                  Dload  Upload   Total   Spent    Left  Speed
   0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100 1028k    0 1028k    0     0  1353k      0 --:--:-- --:--:-- --:--:-- 1353k
   -> Found expose-cargs-and-largs-makefile.patch
==> Validating source files with sha256sums...
     xmlada-23.0.0.tar.gz ... Passed
     expose-cargs-and-largs-makefile.patch ... Passed
:: Preparing xmlada...
==> Making package: xmlada 1:23.0.0-1 (Wed 28 Dec 2022 03:06:43 AM CST)
==> WARNING: Skipping dependency checks.
==> Retrieving sources...
   -> Found xmlada-23.0.0.tar.gz
   -> Found expose-cargs-and-largs-makefile.patch
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
   -> Extracting xmlada-23.0.0.tar.gz with bsdtar
==> Starting prepare()...
patching file Makefile.in
==> Sources are ready.
:: Checking gprbuild,libgpr integrity...
==> Making package: gprbuild 1:23.0.0-2 (Wed 28 Dec 2022 03:06:45 AM CST)
==> Retrieving sources...
   -> Downloading gprbuild-23.0.0.tar.gz...
   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                  Dload  Upload   Total   Spent    Left  Speed
   0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100  930k    0  930k    0     0  1276k      0 --:--:-- --:--:-- --:--:-- 1276k
   -> Downloading gprconfig_kb-23.0.0.tar.gz...
   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                  Dload  Upload   Total   Spent    Left  Speed
   0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100 42132    0 42132    0     0  65013      0 --:--:-- --:--:-- --:--:-- 65013
   -> Found 0001-Makefile-build-relocatable-instead-of-static-binarie.patch
   -> Found 0001-compilers.xml-use-gcc-version-to-get-version-number-.patch
==> Validating source files with sha256sums...
     gprbuild-23.0.0.tar.gz ... Passed
     gprconfig_kb-23.0.0.tar.gz ... Passed
     0001-Makefile-build-relocatable-instead-of-static-binarie.patch ... Passed
     0001-compilers.xml-use-gcc-version-to-get-version-number-.patch ... Passed
:: Preparing gprbuild,libgpr...
==> Making package: gprbuild 1:23.0.0-2 (Wed 28 Dec 2022 03:06:49 AM CST)
==> WARNING: Skipping dependency checks.
==> Retrieving sources...
   -> Found gprbuild-23.0.0.tar.gz
   -> Found gprconfig_kb-23.0.0.tar.gz
   -> Found 0001-Makefile-build-relocatable-instead-of-static-binarie.patch
   -> Found 0001-compilers.xml-use-gcc-version-to-get-version-number-.patch
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
   -> Extracting gprbuild-23.0.0.tar.gz with bsdtar
   -> Extracting gprconfig_kb-23.0.0.tar.gz with bsdtar
==> Starting prepare()...
patching file db/compilers.xml
Hunk #1 succeeded at 22 with fuzz 2.
patching file Makefile
==> Sources are ready.
:: Building xmlada package(s)...
==> Making package: xmlada 1:23.0.0-1 (Wed 28 Dec 2022 03:06:51 AM CST)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
:: Some packages should be upgraded first...
resolving dependencies...
looking for conflicting packages...

Packages (1) archlinux-keyring-20221220-1

Total Download Size:   1.13 MiB
Total Installed Size:  1.60 MiB
Net Upgrade Size:      0.02 MiB

:: Proceed with installation? [Y/n]
:: Retrieving packages...
  archlinux-keyring-20221220-1-any                              1153.7 KiB   851 KiB/s 00:01 [######################################################] 100%
(1/1) checking keys in keyring                                                              [######################################################] 100%
(1/1) checking package integrity                                                            [######################################################] 100%
(1/1) loading package files                                                                 [######################################################] 100%
(1/1) checking for file conflicts                                                           [######################################################] 100%
(1/1) checking available disk space                                                         [######################################################] 100%
:: Running pre-transaction hooks...
(1/1) Creating Timeshift snapshot before upgrade...
==> skipping timeshift-autosnap due skipRsyncAutosnap in /etc/timeshift-autosnap.conf set to TRUE.
:: Processing package changes...
(1/1) upgrading archlinux-keyring                                                           [######################################################] 100%
==> Appending keys from archlinux.gpg...
==> Disabling revoked keys in keyring...
   -> Disabled 4 keys.
==> Updating trust database...
gpg: marginals needed: 3  completes needed: 1  trust model: pgp
gpg: depth: 0  valid:   1  signed:  22  trust: 0-, 0q, 0n, 0m, 0f, 1u
gpg: depth: 1  valid:  22  signed:  95  trust: 0-, 0q, 0n, 22m, 0f, 0u
gpg: depth: 2  valid:  75  signed:  26  trust: 75-, 0q, 0n, 0m, 0f, 0u
gpg: next trustdb check due at 2023-04-21
==> Updating trust database...
gpg: next trustdb check due at 2023-04-21
:: Running post-transaction hooks...
(1/2) Reloading system manager configuration...
(2/2) Arming ConditionNeedsUpdate...

error: target not found: gprbuild-bootstrap
==> ERROR: 'pacman' failed to install missing dependencies.
==> Missing dependencies:
   -> gprbuild-bootstrap
==> ERROR: Could not resolve all dependencies.
:: Building gprbuild,libgpr package(s)...
==> Making package: gprbuild 1:23.0.0-2 (Wed 28 Dec 2022 03:07:00 AM CST)
==> Checking runtime dependencies...
==> Installing missing dependencies...
error: target not found: xmlada
==> ERROR: 'pacman' failed to install missing dependencies.
==> Missing dependencies:
   -> xmlada
==> Checking buildtime dependencies...
==> Installing missing dependencies...
error: target not found: gprbuild-bootstrap
==> ERROR: 'pacman' failed to install missing dependencies.
==> Missing dependencies:
   -> gprbuild-bootstrap
==> ERROR: Could not resolve all dependencies.
:: failed to build xmlada package(s)
:: failed to build gprbuild,libgpr package(s)
>



May be it is the AUR packaging for Alire which is at fault.

Oh well, I wanted to install Ada on Linux to compile some old
files I had. Will try again in the future.

--Nasser

Re: how to install Alire ada on Linux?

[Egil H H]

On Wednesday, December 28, 2022 at 1:20:18 AM UTC+1, Nasser M. Abbasi wrote:
> I went to https://alire.ada.dev/ 
> 
> It says at the top "download Alire for windows". 
> 
> No linux button. Only windows. 
> 

I guess you're visiting the site using a Windows computer. On my Linux computer the button says Linux...

However, installation instructions for all supported platforms can be found in the docs (the other button), 
https://alire.ada.dev/docs/#getting-started

-- 
~egilhh

Re: how to install Alire ada on Linux?

[Rod Kay]

On 28/12/22 20:10, Nasser M. Abbasi wrote:
> 
> May be it is the AUR packaging for Alire which is at fault.

    Is isn't alire packaging at fault, since alire is not being 
installed at that point, just gprbuild.

    It looks like a bug in pacaur to me. Is your system fully up to date ?

   Also you might try pikaur, instead of pacaur.

> 
> Oh well, I wanted to install Ada on Linux to compile some old
> files I had. Will try again in the future.
> 

    I'm on archlinux and have installed the ada package stack many times 
(having written quite a few of the AUR ada related packages, including 
'gprbuild'), so I'm curious to find the fault. Unfortunately, I've no 
experience with Manjaro.

Re: how to install Alire ada on Linux?

[Nasser M. Abbasi]

On 12/28/2022 2:07 AM, Rod Kay wrote:
> Hi Nasser.
> 
> Perhaps try ...
> 
> $ pacaur -S gprbuild
> $ pacaur -S alire
> 

Fyi,

I tried the second command above and that seems to work with no errors

pacaur -S alire
....
==> Leaving fakeroot environment.
==> Finished making: alire 1.2.1-2 (Wed 28 Dec 2022 03:25:34 AM CST)
==> Cleaning up...
:: Installing alire package(s)...
loading packages...
resolving dependencies...
looking for conflicting packages...

Packages (1) alire-1.2.1-2

Total Installed Size:  17.90 MiB

:: Proceed with installation? [Y/n]
(1/1) checking keys in keyring                                                              [######################################################] 100%
(1/1) checking package integrity                                                            [######################################################] 100%
(1/1) loading package files                                                                 [######################################################] 100%
(1/1) checking for file conflicts                                                           [######################################################] 100%
(1/1) checking available disk space                                                         [######################################################] 100%
:: Processing package changes...
(1/1) installing alire                                                                      [######################################################] 100%
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
:: gprbuild is now an orphan package
>


I do not understand what "gprbuild is now an orphan package" mean.

>which alr
/usr/bin/alr
>alr --version
alr 1.2.1
>


does the above mean now I have Ada installed on Linux? or
pacaur -S gprbuild must finish successfully also?

I have to now try alr to find out. First time I install it, brand new.

Thanks
--Nasser

Re: how to install Alire ada on Linux?

[Nasser M. Abbasi]

On 12/28/2022 3:26 AM, Egil H H wrote:
> On Wednesday, December 28, 2022 at 1:20:18 AM UTC+1, Nasser M. Abbasi wrote:
>> I went to https://alire.ada.dev/
>>
>> It says at the top "download Alire for windows".
>>
>> No linux button. Only windows.
>>
> 
> I guess you're visiting the site using a Windows computer. On my Linux computer the button says Linux...
> 

OMG, are you saying they designed the web site to show the botton
based on which OS one is using at the time??

Who designed this site?  This makes no sense at all. They should
show all bottons for all OS's regrdless.

Yes, I used windows desktop, but I do all my work on Linux via VBox.

> However, installation instructions for all supported platforms can be found in the docs (the other button),
> https://alire.ada.dev/docs/#getting-started
> 

Yes, but no single button there and no direct link from the main web page
https://alire.ada.dev/  showing Linux. How is a user supposed to know
that they have to click on "getting started" to search for Linux
information when Linux does not even show on the main page and only
windows does.

Bad site design if you ask me.

But thanks for the info. I got alr installed on by Linux now. Was not easy.
--Nasser

Re: how to install Alire ada on Linux?

[Nasser M. Abbasi]

On 12/28/2022 3:27 AM, Rod Kay wrote:

>      It looks like a bug in pacaur to me. Is your system fully up to date ?
> 

As of 3-4 weeks ago, yes. Fully updated.

--Nasser

Re: how to install Alire ada on Linux?

[Rod Kay]

On 28/12/22 20:31, Nasser M. Abbasi wrote:
> I do not understand what "gprbuild is now an orphan package" mean.
> 

I expect it is because 'gprbuild' was a 'make dependency' (ie only 
required to build the alire package, not to run it). So no package 
actively depends on 'gprbuild'. It has no parent dependencies, so is an 
'orphan' and could be deleted w/o impacting any packages.

(I think there is a pacman command to delete all orphan packages to free 
up disk space and reduce clutter.)

Re: how to install Alire ada on Linux?

[Stephen Leake]

"Nasser M. Abbasi" <nma@12000.org> writes:

> On 12/28/2022 3:26 AM, Egil H H wrote:
>> On Wednesday, December 28, 2022 at 1:20:18 AM UTC+1, Nasser M. Abbasi wrote:
>>> I went to https://alire.ada.dev/
>>>
>>> It says at the top "download Alire for windows".
>>>
>>> No linux button. Only windows.
>>>
>> I guess you're visiting the site using a Windows computer. On my
>> Linux computer the button says Linux...
>> 
>
> OMG, are you saying they designed the web site to show the botton
> based on which OS one is using at the time??

Yes. That's a common design for most "install" websites these days
(Firefox for example). It caters to web/computer newbies.

We could argue that existing Ada users are _not_ newbies, but we are
trying to attract more people to the language, so I think this is a good
choice.

> Who designed this site?  This makes no sense at all. They should
> show all bottons for all OS's regrdless.

It should be easier to navigate to the "all installers" page.

-- 
-- Stephe