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

General
1

I am having trouble using alire to install libadalang_tools. I get an error saying: “Dependencies (missing)” and then “error: libgmp* (indirect,hinted)”.

But, libgmp.a and libgmp.so are indeed found in /usr/lib.

This is on Void Linux . I even tried doing “alr --force install libadalang_tools”. But still get same. Any hints on how to proceed?

2

Couple of options: :wink:

  1. Switch to Ubuntu Linux
  2. Improve Alire to detect system packages on Void Linux.
  3. Try to force builds.
3

Switching operating systems is too much to ask for to get a build system to work.
Improving a build system is a lot of work.
If you want to get running as fast as possible, just manually add the paths.
I am unaware of the system differences between my system and void linux, but could temporarily adding the paths to your terminal work for this? If you’ve used windows before I assume it would be similar to adding an ‘include’ path as it is there.
Just because it is in /usr/lib doesn’t mean that it is included into your paths.

EDIT: I assume that when you use libgmp.a and libgmp.so are indeed found in /usr/lib you mean that the files are present, but whether or not they are in the system paths(I don’t know if that’s the right word) is indeterminate.

4

Gentoo changed it’s layout recently to make it clearer that /usr/lib is 32-bit.

$ ls /usr/lib/libgmp*
/usr/lib/libgmp.so     /usr/lib/libgmp.so.10.5.0  /usr/lib/libgmpxx.so.4
/usr/lib/libgmp.so.10  /usr/lib/libgmpxx.so       /usr/lib/libgmpxx.so.4.7.0
$ ls /usr/lib64/libgmp*
/usr/lib64/libgmp.so     /usr/lib64/libgmp.so.10.5.0  /usr/lib64/libgmpxx.so.4
/usr/lib64/libgmp.so.10  /usr/lib64/libgmpxx.so       /usr/lib64/libgmpxx.so.4.7.0
laguest@rogue ~ $