Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Jun 23 16:45
    heharkon opened #292
  • Jun 23 16:44
  • Jun 23 16:33
    heharkon commented #291
  • Jun 23 16:33
    heharkon closed #291
  • Jun 23 16:25
    mosteo synchronize #754
  • Jun 23 16:25

    mosteo on pin-branch

    Fixes requested during review (compare)

  • Jun 23 14:45
    mosteo review_requested #754
  • Jun 23 14:45
    mosteo ready_for_review #754
  • Jun 23 14:29
    mosteo synchronize #754
  • Jun 23 14:29

    mosteo on pin-branch

    More fixes during self-review (compare)

  • Jun 23 14:13
    mosteo synchronize #754
  • Jun 23 14:13

    mosteo on pin-branch

    Fixes caught by testsuite on Wi… (compare)

  • Jun 23 12:34
    mosteo synchronize #754
  • Jun 23 12:34

    mosteo on pin-branch

    Fixes caught by testsuite on Wi… (compare)

  • Jun 23 12:14
    mosteo synchronize #754
  • Jun 23 12:14

    mosteo on pin-branch

    Fixes caught by testsuite on Wi… (compare)

  • Jun 23 12:05
    Fabien-Chouteau closed #281
  • Jun 23 12:05
    Fabien-Chouteau commented #281
  • Jun 23 11:52
    mosteo synchronize #754
  • Jun 23 11:52

    mosteo on pin-branch

    Fixes found during self-review (compare)

Alejandro R Mosteo
@mosteo
Neat, so kind of a collection of example_blah crates?
Fabien Chouteau
@Fabien-Chouteau
At the moment, the "gold standard" is what alr init produces.
Can you explain why you need multiple GPRs and what are the issues you have?
Paul Jarrett
@pyjarrett

@Fabien-Chouteau , what I mean by "gold standard" is a mature Alire-compatible project that you point to in the docs as "this is the way we expect complicated Alire-projects to be done."

For multiple GPRs, I'm just trying to split off a "testing gpr", it's probably simpler than what I think, the VS Code integration was just complaining about me having "multiple GPRs" and I'm a little confused about when I actually need an aggregate. Things are a lot easier for when I have working examples to follow to compare against documentation.

@mosteo , yes, targeted examples of especially GPR and Alire-specific things which are easier to understand with context. I was thinking maybe the example_ prefix would be protected from general use.
It'd also be a way to funnel people into the ecosystem if more comprehensive examples from learn.adacore.com were hosted on Alire.
Fabien Chouteau
@Fabien-Chouteau
@pyjarrett I agree that we need a more complete example of full Ada/SPARK project. I am actually working towards that goal.
Alejandro is working on a revamp of Alire pins that will make things a lot cleaner and a lot easier.
About testsing.gpr, this should not be in the root directory of your project. Tests (and everything that goes with) should be in a subdir. With the pin system you will be able to have a local crate for testing, and add specific dependencies for that testing crate (like aunit, or coverage analysis tool).
You should stay away from aggregate projects as much as possible, with Alire you should not have to use them.
Esther O'Keefe
@esthermations:matrix.org
[m]
Speaking of spark in Alire, is it possible there’ll be a “alr prove” option added in future? I was interested to try casually running gnatprove on my project but I realised I’d need to figure out what args to give it so it’d work like alr build does
1 reply
Fabien Chouteau
@Fabien-Chouteau
We already have an issue open for that I think. I does make sense.
Paul Jarrett
@pyjarrett
I also think alr publish really needs a --dry-run option. I keeping having to create/delete tags because I need to keep modifying my toml to make alire happy.
3 replies
Henrik Härkönen
@heharkon
This message was deleted
3 replies
Paul Jarrett
@pyjarrett
Is the Alire website updating? I haven't seen the crate list update, and the badge for my dir_iterators project isn't showing up
Alejandro R Mosteo
@mosteo
It should, at midnight
but, you're right, it's not updating
it had autodisabled for lack of activity in the repo
I just enabled it again
thanks for the heads-up!
Fabien Chouteau
@Fabien-Chouteau
Thanks @mosteo for taking care of it.
Alejandro R Mosteo
@mosteo
There's still a warning in github about a vulnerability. I've tried the obvious things with gem and bundle but I get an error. Perhaps my Ubuntu 20.04 is too old.
Fabien Chouteau
@Fabien-Chouteau
I think I fixed it
It was in Gemfile.lock that should not be checked-in.
Alejandro R Mosteo
@mosteo
I see, thanks
Paul Jarrett
@pyjarrett
How possible would Alire badges for formal verification levels of SPARK be, at least for the unpaid levels?
Henrik Härkönen
@heharkon:matrix.org
[m]
Another Alire question: when I use a library from Alire, it gets fetched and obviously it has it's own GPR settings, like build mode etc. How would I propagate same settings for the libraries as well as my main project? I mean if I'd wish to do a release build? Does it happen automatically or do I just change them manually? 🤔
Henrik Härkönen
@heharkon:matrix.org
[m]
Oh noes, tried alr publish command on windows, here are the results:
C:\Users\hehar\dev\ada_cmd>alr -v publish
-> Config file is not readable or doesn't exist: 'C:\Users\hehar\dev\ada_cmd\alire\config.toml'
-> Using default value for configuration 'distribution.disable_detection': 'FALSE'
-> Using default value for configuration 'msys2.install_dir': 'C:\Users\hehar\.cache\alire\msys64'
-> Spawning: ["pacman", "-V"] > GNAT-TEMP-000001.TMP
-> alr build is (valid) (0 releases indexed) (loaded in 0.873s)
-> Using candidate alire root: C:\Users\hehar\dev\ada_cmd
-> publish:
-> Spawning: ["git", "status"] > GNAT-TEMP-000002.TMP
-> Spawning: ["git", "status", "--porcelain"] > GNAT-TEMP-000003.TMP
ERROR: C:\Users\hehar\dev\ada_cmd: git status You have unstaged changes. Please commit or stash them.

C:\Users\hehar\dev\ada_cmd>git status
On branch main
Your branch is up to date with 'origin/main'.

nothing to commit, working tree clean
it says I have unstaged changes but git insists that the working tree is clean
Alejandro R Mosteo
@mosteo
That's curious, @heharkon:matrix.org . Could you try with -vv?
6 replies
About your question about setting configuration, there's nothing standardized in gnat+gpr. You must make sure that you're setting whatever every library provides for self-config. For crates created with alr init, they will have a crate_BUILD_MODE
1 reply
Henrik Härkönen
@heharkon:matrix.org
[m]
C:\Users\hehar\dev\ada_cmd>alr version
Alr version: 1.0.0
Alire Library version: 1.0.0
alr status is (valid) (0 releases indexed) (loaded in 1.325s)
config folder is C:\Users\hehar\.config\alire
source folder is C:\Users\hehar\.config\alire\alire
interaction flags are: force:FALSE not-interactive:FALSE
alr root is ada_cmd=0.0.1
alr root detection has settled on path: C:\Users\hehar\dev\ada_cmd
alr is finding 1 GPR project files
alr session state is [VALID]
alr compiled on [2021-02-24 14:50:36] with GNAT version [Community 2020 (20200818-93)]
platform fingerprint: Windows Bits_64 Msys2
platform properties: MSYS2 WINDOWS NATIVE USER BITS_64
community index required branch: stable-1.0
1 reply
Henrik Härkönen
@heharkon:matrix.org
[m]
@mosteo: Found another weird thing in windows :D
C:\Users\hehar\dev\ada_cmd>alr search sdl
o Searching... Solving dependencies...... Looking for external crate: libsdl2... error: mingw32: signature from "David Macek <david.macek.0@gmail.com>" is unknown trust
error: mingw64: signature from "David Macek <david.macek.0@gmail.com>" is unknown trust
error: msys: signature from "David Macek <david.macek.0@gmail.com>" is unknown trust
error: database 'mingw32' is not valid (invalid or corrupted database (PGP signature))
error: database 'mingw64' is not valid (invalid or corrupted database (PGP signature))
error: database 'msys' is not valid (invalid or corrupted database (PGP signature))
O Searching... Solving dependencies...... Looking for external crate: libsdl2_image... error: mingw32: signature from "David Macek <david.macek.0@gmail.com>" is unknown trust
error: mingw64: signature from "David Macek <david.macek.0@gmail.com>" is unknown trust
error: msys: signature from "David Macek <david.macek.0@gmail.com>" is unknown trust
error: database 'mingw32' is not valid (invalid or corrupted database (PGP signature))
error: database 'mingw64' is not valid (invalid or corrupted database (PGP signature))
error: database 'msys' is not valid (invalid or corrupted database (PGP signature))
o Searching... Solving dependencies...... Looking for external crate: libsdl2_ttf... error: mingw32: signature from "David Macek <david.macek.0@gmail.com>" is unknown trust
error: mingw64: signature from "David Macek <david.macek.0@gmail.com>" is unknown trust
error: msys: signature from "David Macek <david.macek.0@gmail.com>" is unknown trust
error: database 'mingw32' is not valid (invalid or corrupted database (PGP signature))
error: database 'mingw64' is not valid (invalid or corrupted database (PGP signature))
error: database 'msys' is not valid (invalid or corrupted database (PGP signature))
NAME    STATUS  VERSION  DESCRIPTION                 NOTES
sdlada    X     2.5.4-1  Ada 2012 bindings to SDL 2
is my msys2 broken or what
I wish I had a proper linux box... have to fix the situation 😄
Paul Jarrett
@pyjarrett
My last linux box I put together from garage sale parts :)
I had a bad hash on something last night, I can't remember what project it was
Henrik Härkönen
@heharkon:matrix.org
[m]
I'm fond of the recycled IT gear, with a bit of refurbishment (SSD drive etc). Too bad I picked a machine that has such power management that it's a bit of a mess in linux. I don't have the patience nor time anymore to hassle with those. 😒
Fabien Chouteau
@Fabien-Chouteau
@heharkon:matrix.org we have the same problem with msys2 on GitHub CI.
Alejandro R Mosteo
@mosteo
Might it be a matter of updating the installer? The one we use is from last year: msys2-x86_64-20200903.exe
I'll give it a try shortly
Fabien Chouteau
@Fabien-Chouteau
Indeed, I was just checking that.
The problem is that 1.0 is broken this is hardcoded...
Alejandro R Mosteo
@mosteo
I seem to remember we hardcoded the installer because at some point the latest one we fetched from msys was broken. It seems both paths have their issues...
Fabien Chouteau
@Fabien-Chouteau
There's always the option to disable the install from the config, and also to install it manually before running alire.
Henrik Härkönen
@heharkon:matrix.org
[m]
Nice, I saw 1.0.1 update, have to try it out. Otoh I started using virtualbox ubuntu more again. 😃
Henrik Härkönen
@heharkon:matrix.org
[m]
@mosteo: I rejected the Ada_cmd PR and created a new one for the Cmd_ada rename, it was such a hassle to change everything so I decided to create the PR from scratch as well 😄
Alejandro R Mosteo
@mosteo
Understood... sorry about the trouble
1 reply
Henrik Härkönen
@heharkon:matrix.org
[m]
But now I know that if naming things is the hardest CS problem, REnaming things must come as a close second one 😂