Install Gtkada 2025 windows

General
1

I need Gtkada 2025 instead of 2021 because of the procedures/functionsthat I needed where then already depreciated. I found in Github adacore/gtkada the 2025 version as a zip file. In the documentation I found that for windows there is an installer. Which I cannot find. Where is is? I know that the same question was also presented in 2020 but then the answer was use adacore community version of an .exe file (that is now the 2021 version)

2

It looks like you can install it via Alire (at least the crates index shows it is version 25.0.1 there).

3

I am not very far in alire, can you show me how to find such crates index and how to use one of these crates. I have seen gtkada but cannot find how to use that in my system

4

To get Alire:

To create an alire crate/project:

Alr init

To add gtkada:

Cd into project folder and run the following:

Alr with gtkada

Alr run

5

alr init : in which folder (project folder?) the crate in created? I get a number of questions the first has no default, I tried gtkada. All other question were default.

alr with gtkada : created errors where “toml file not found” was one.

Then I tried again I got a number of errors about files files that were not found and files that were already created

So I do need to know were to delete something to try it again.

6

alr init will create a project folder for the crate.

Have a look at the documentation at Alire - Docs under the heading “Creating a new crate”.

7

Now I get these errors:

ERROR: Cannot continue without a workspace:
ERROR: Could not detect an alire.toml manifest at current or parent locations

My alire.toml : It is in folder gtkada within the basic folder I want my Gtkada software in

name = “gtkada”
description = “”
version = “0.1.0-dev”

authors = [“'Bertus”]
maintainers = [“'Bertus bertus.dries@planet.nl”]
licenses = “MIT OR Apache-2.0 WITH LLVM-exception”
website = “”
tags =

folder

8

I did this a few days ago with Alire on Windows 11:

Create a new alire crate:

alr init gtk_test -–bin

Accept all default answers asked by Alire while it creates the project, for now. It will create it in directory gtk_test. CD into it and do:

alr with gtkada

This will make Alire do everything you need to get the gtkada dependency installed. After that you can edit the code in directory src. Use these commands to build, run and edit the project:

alr build
alr run
alr edit
1 Like
9

You must first CD into the directory that has the alire.toml file for this command to work. You cannot call this command from outside the directory that the toml file resides in.

10

In both the way jere as well alexipaez I get inthe “alr with gtkada” the same set of errors as seen below:

Do you want Alire to install this system package?
[Y] Yes [N] No [A] Always (default is Yes)
Using default: Yes
error: failed to init transaction (unable to lock database)
error: could not lock database: File exists
if you’re sure a package manager is not already
running, you can remove /var/lib/pacman/db.lck
ERROR: Deployment of system package from platform software manager: mingw-w64-x86_64-gtk3 from system packages failed

11

For further information I do use ALR Administratie Alire and I am administrator

12

Here a complete listing from command line to command line, maybe the error becomes more clear.
PS C:\GNAT\GTKAda\gtkada>
Requested changes:

  • gtkada ^25.0.1 (add)

Changes to dependency solution:

  • gtkada 25.0.1 (new)
    +b libgtk3 3.24.27 (new,indirect,system package)
    +b make 4.3.0 (new,indirect,system package)
    +b pkg_config 1.7.3 (new,indirect,executable in path)

Do you want to proceed?
[Y] Yes [N] No (default is Yes)
Using default: Yes
Note: Deploying libgtk3=3.24.27…
The system package ‘mingw-w64-x86_64-gtk3’ is about to be installed.
This action might require admin privileges and impact your system installation.
Do you want Alire to install this system package?
[Y] Yes [N] No [A] Always (default is Yes)
Using default: Yes
error: failed to init transaction (unable to lock database)
error: could not lock database: File exists
if you’re sure a package manager is not already
running, you can remove /var/lib/pacman/db.lck
ERROR: Deployment of system package from platform software manager: mingw-w64-x86_64-gtk3 from system packages failed
PS C:\GNAT\GTKAda\gtkada>

13

Did you first tried what the error message is telling you?

14

I don’t even know where to find that. it looks like something that has to do with the powershell. I don’t work with that normally. The only thing is something like this.