Alejandro R Mosteo
Alejandro R Mosteo
Yes, I intend for the library part of Alire to be published at some point; it's just no need had arisen yet. There are also plans to have something akin...
`gtkada` uses a makefile for its build. I'm guessing something in that step is failing. I'd try to just `alr get gtkada`, enter it and issue `make` manually to see...
It's true that `gtkada` doesn't ship with a Makefile, but it generates one with `configure`. In my system, during `alr get gtkada`, I see: ``` ⓘ Running post_fetch actions for...
Shouldn't there be some dependency on `libmosquitto`?
Hi @persan , I've taken a look and indeed attempting to use this library will fail at link time if `libmosquitto` isn't installed. To make this PR mergeable, an external...
@persan, if you don't have the time to add the missing external, I'll do when I have some time. Commenting just to remove the stale countdown.
> Is there an example at any other place on how to do this in that recommended way? It is described here: https://alire.ada.dev/docs/catalog-format-spec#using-pins-for-crate-testing , without explicitly mentioning gnatprove (but the...
Thanks for the suggestion, @nekodjin, this looks worthwhile especially if we can reuse the same installer so no two different installation sources exist.
We are shallow cloning elsewhere, so it should be doable, yes.
The thing is, for versions before 1.0, there's an unwritten assumption that compatibility is maintained within a 0.x version, that is, the minor acts as major and the patch as...