Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 12:22
    mosteo milestoned #629
  • 12:21
    mosteo milestoned #635
  • 12:21

    mosteo on master

    Separate workflow to test unsup… (compare)

  • 12:21
    mosteo closed #623
  • Nov 29 19:04
    mosteo closed #616
  • Nov 29 19:04
    mosteo commented #616
  • Nov 29 18:49
    mosteo synchronize #635
  • Nov 29 18:26
    mosteo synchronize #635
  • Nov 29 18:18
    mosteo opened #635
  • Nov 28 12:30
    mosteo review_requested #623
  • Nov 28 12:30
    mosteo ready_for_review #623
  • Nov 28 12:30
    mosteo edited #623
  • Nov 28 12:15
    mosteo synchronize #623
  • Nov 28 11:37
    mosteo synchronize #623
  • Nov 27 22:22
    mosteo synchronize #623
  • Nov 27 22:19
    mosteo synchronize #623
  • Nov 27 20:56
    stcarrez commented #199
  • Nov 27 20:52
    stcarrez synchronize #199
  • Nov 27 19:31
    mosteo milestoned #570
  • Nov 27 19:31
    mosteo demilestoned #570
Maxim Reznik
@reznikmm
Trying to publish with alr publish
Fabien Chouteau
@Fabien-Chouteau
Looks like the build failed
What does alr buildtells you?
Maxim Reznik
@reznikmm
Missing dependencies. Thank you Fabuen for explanation. I didn't know I can run alr build there :)
Maxim Reznik
@reznikmm
Now it works! Almost:
Publishing assistant: step 5 of 5: Generate index manifest
✓ Your index manifest file has been generated at /tmp/axmpp/alire/releases/axmpp-1.0.0.toml
✓ Please upload this file to https://github.com/alire-project/alire-index/upload/devel-0.4/index/ax/axmpp to create a pull request against the community index.

On the site:

Uploads are disabled.
File uploads require push access to this repository.

Fabien Chouteau
@Fabien-Chouteau
Nooooooo :(
Thank you for the report Maxim, we thought anyone could open a pull request like that...
Alejandro R Mosteo
@mosteo
may be it's a matter of configuring permissions? let me check
"Anyone with read permissions to a repository can create a pull request, but you must have write permissions to create a branch."
Maxim Reznik
@reznikmm
What i did: I replaced alire-project with reznikmm in the URL and it created a branch in my fork. Then I made a PR.
Alejandro R Mosteo
@mosteo
we'll have to rethink this one. the simplest change rn may be to use the user github login to provide the upload to their fork, as you did
the only problem is that the base branch has to already exist in the fork, or it redirects to an error
also, it defaults to use the fork as the base for the PR...
timlag1305
@timlag1305
I wanted to try using Alire on a pet project of mine. I ran into issues compilation errors when building gnatcoll dependency that I withed to my project. I noticed that it's stuck on the 2019 version. I'm not sure if that's causing the issue. For what it's worth, I am running on linux with gcc 10.2.0 (with gnat) and gnatcoll-core 2020 installed system-wide. Is there a fix for this? I can provide compilation errors that I'm seeing. Also if it's easier, could I just depend on my system-wide installation of gnatcoll for testing purposes? I saw alr with --path but I think it only works when --path points to a crate, not a generic install of a library using gprinstall.
Maxim Reznik
@reznikmm
@timlag1305 What error do you have?
Fabien Chouteau
@Fabien-Chouteau
@timlag1305 Alire will use the latest available version in the index first. So the 2019 in the index is used.
Note that we will add a more recent version gnatcoll in Alire very soon as we prepare for the BETA release of Alire.
timlag1305
@timlag1305
@reznikmm this is the error I see.
gnatcoll-traces.adb:1084:35: implicit conversion of anonymous access formal not allowed
gnatcoll-traces.adb:1182:58: implicit conversion of anonymous access formal not allowed
gnatcoll-traces.adb:1246:60: implicit conversion of anonymous access formal not allowed
gnatcoll-traces.adb:1310:38: implicit conversion of anonymous access formal not allowed
gnatcoll-traces.adb:1544:24: implicit conversion of anonymous access formal not allowed
gnatcoll-traces.adb:1084:35: implicit conversion of anonymous access formal not allowed
gnatcoll-traces.adb:1182:58: implicit conversion of anonymous access formal not allowed
gnatcoll-traces.adb:1246:60: implicit conversion of anonymous access formal not allowed
gnatcoll-traces.adb:1310:38: implicit conversion of anonymous access formal not allowed
gnatcoll-traces.adb:1544:24: implicit conversion of anonymous access formal not allowed
gnatcoll-projects.adb:7949:13: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7949:13: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7949:13: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7952:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7952:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7952:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7955:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7955:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7955:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:8812:34: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9010:51: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9011:26: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9013:17: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:7949:13: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7949:13: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7949:13: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7952:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7952:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7952:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7955:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7955:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7955:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:8812:34: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9010:51: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9011:26: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9013:17: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:7949:13: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7949:13: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7949:13: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7952:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7952:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7952:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7955:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7955:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7955:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:8812:34: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9010:51: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9011:26: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9013:17: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:7949:13: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7949:13: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7949:13: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7952:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7952:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7952:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7955:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7955:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7955:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:8812:34: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9010:51: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9011:26: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9013:17: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:7949:13: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7949:13: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7949:13: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7952:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7952:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7952:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:7955:16: ambiguous expression (cannot resolve "Starts_With")
gnatcoll-projects.adb:7955:16: possible interpretation at gpr-util.ads:394
gnatcoll-projects.adb:7955:16: possible interpretation at gnatcoll-utils.ads:122
gnatcoll-projects.adb:8812:34: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9010:51: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9011:26: "Source_File" is not a visible entity of "Sinput"
gnatcoll-projects.adb:9013:17: "Source_File" is not a visible entity of "Sinput"

   compilation of gnatcoll-traces.adb failed
   compilation of gnatcoll-scripts-projects.adb failed
   compilation of gnatcoll-scripts-impl.adb failed
   compilation of gnatcoll-projects-normalize.adb failed
   compilation of gnatcoll-projects.adb failed
   compilation of gnatcoll-projects-aux.adb failed
Thanks for the clarification @Fabien-Chouteau
Alejandro R Mosteo
@mosteo
@timlag1305, as a temporary workaround, you can remove the gnatcoll dependency from your crate and your compiler will use the system-wide one.
or, you could check with alr search gnatcoll --external-detect the exact version of the system gnatcoll, and force that version. Assuming you're on Ubuntu or Debian, where the system gnatcoll should be detected.
Alejandro R Mosteo
@mosteo
add --full to that last incantation, sorry
Fabien Chouteau
@Fabien-Chouteau
alire.ada.dev is now listing crates from the latest stable alr release (using the setup-alire@latest-stable github action).
timlag1305
@timlag1305
Thanks @mosteo
Vinzent "Jellix" Saranen
@Jellix
I figured, I'll try the alr publish, after fixing some obvious issues with my understanding how it all works, I am now getting
info: Publishing assistant: step 5 of 6: User review
stderr: SYSTEM.ASSERTIONS.ASSERT_FAILURE
stderr: failed precondition from alire-publish.adb:456
stderr: raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : failed precondition from alire-publish.adb:456
[/opt/GNAT/2020/bin/alr]
System.Assertions.Raise_Assert_Failure at s-assert.adb:46
Alire.Publish.Show_And_Confirm at alire-publish.adb:456
Alire.Publish.Start_At at alire-publish.adb:722
Alire.Publish.Remote_Origin at alire-publish.adb:880
Alr.Commands.Publish.Execute at alr-commands-publish.adb:76
Alr.Commands.Execute_By_Name at alr-commands.adb:743
Alr.Commands.Execute at alr-commands.adb:713
Alr.Main at alr-main.adb:28
Main at b__alr-main.adb:1851
[/lib/x86_64-linux-gnu/libc.so.6]
0x7f589a3980b1
[/opt/GNAT/2020/bin/alr]
0x43057c _start at ???
0xfffffffffffffffe
Any ideas what's missing? Looking at the source code where the assertion fails, a call to Is_Regular_File fails.
Vinzent "Jellix" Saranen
@Jellix
Ok, I know what was wrong. The alire.toml was missing. I created it locally, but didn't push it to the remote which I intended to publish.

Now I'm getting

error: Could not complete the publishing assistant:
error: GitHub API rate limit exceeded, please wait for a while before retrying.

Alejandro R Mosteo
@mosteo
Hi Vinzent. For unauthenticated users, the github API has a limit of 60 requests per hour. Sounds about right? I guess you could hit it if you did a lot of trials
Vinzent "Jellix" Saranen
@Jellix
I guess I did, :) meanwhile I'm out of cool down, everything's peachy.
Alejandro R Mosteo
@mosteo
In regard to the previous error, you should have been notified that your remote repo was behind your local one... I guess I'll have more questions for you once I try to reproduce it.
Unless your alire.toml was not added to git...
Vinzent "Jellix" Saranen
@Jellix
It wasn't added. I just copied it from the original alire-index and adjusted it manually (hence the rate limit). So yes, as mentioned in the issue, a hopefully rare occurence.
Alejandro R Mosteo
@mosteo
Rare but one that I thought we were checking. Oh well, that's what betas are for
Fabien Chouteau
@Fabien-Chouteau
Fabien Chouteau
@Fabien-Chouteau
Network view of the Ada/SPARK ecosystem in Alire
ohenley
@ohenley
Rod Kay
@charlie5
Hi all ... would a gui for alire be of much use/interest ?
Fabien Chouteau
@Fabien-Chouteau
I my opinion the best GUI would be to have Alire integration in IDEs (GNATstudio, VScode, etc.). But I can see some people using a separate GUI.
Rod Kay
@charlie5
Still getting to know alire ... might try a gui ... done properly it may be embedded into gnatstudio with minimal mods
(or simply as a standalone app)
Maxim Reznik
@reznikmm
How often does site (alire.ada.dev) get updates from alire index repository?
Fabien Chouteau
@Fabien-Chouteau
every day
The date of the last update is at the bottom of the front page
Henrik Härkönen
@heharkon
Whoa that graph is awesome!
Checking the universe... found "SPARK/Ada Algorithms Targeting Advanced Network Applications" == "saatana". That cracks me up, it's "satan" in Finnish, also a common swear word :D But it's a UK company... can't be coincidence though... :D