Alire not finding libgmp ... but it is there in /usr/lib

General
5

I’ve tried, an I have failed:

Alire has too many assumptions “you are running a run of a mill Linux distribution” to get the detection of external components working.

For libgmp, it is this messy piece of TOML code

[[external]]
kind = "system"
[external.origin."case(distribution)"]
"debian|ubuntu" = ["libgmp-dev"]
arch = ["gmp"]
msys2 = ["mingw-w64-x86_64-gmp"]
"homebrew|macports" = ["gmp"]
"fedora|rhel|suse" = ["gmp-devel"]
gentoo = ["dev-libs/gmp"]

What you can do:

  1. Have a local copy of alire index
  2. Use alr index to point to your own local copy of the index first
  3. Change index/li/libgmp/libgmp-external.toml file to make sure the library gets detected on void (this can be hard to get it working)

If you are in a hurry and want a quick solution, just remove the libgmp = "*" dependency from the gnatcoll_gmp alire package:

(make sure to edit the right version, there is 24, 25, 26, …)