Installing libadalang_tools via alire in Void Linux musl fails with missing dependency libgmp

Hello,

I am able to build and run Alire inside void-musl. However, when I try and install libadalang_tools it complains that libgmp dependency is missing.

However, I do have libgmp installed:

$ xbps-query -Rs gmp
...
[*] gmp-6.3.0_1                     Library for arbitrary precision arithmetic
[*] gmp-devel-6.3.0_1               Library for arbitrary precision arithmetic - development files
...

I tried editing the downloaded index in-place with little success and I am a bit lost on how to proceed.

Thanks in advance and have a nice day
– zen

ⓘ Computing solutions...
warn: Complete solution not found after 5 seconds.                                                                  
ⓘ The best incomplete solution yet is:                                         
                                                                               
   RELEASE                 DEPENDENCY                                          
   (none)                  adasat^25 (missed:skipped)                          
   gnat_external=14.2.1    gnat>=11 & <2000 (solved)                           
   gnatcoll=25.0.0         gnatcoll^25 (solved)                                
   gnatcoll_gmp=25.0.0     gnatcoll_gmp^25 (solved)                            
   gnatcoll_iconv=25.0.0   gnatcoll_iconv^25 (solved)                          
   langkit_support=25.0.0  langkit_support^25 (solved)                         
   libadalang=25.0.0       libadalang^25.0.0 (solved)                          
   libadalang_tools=25.0.0 libadalang_tools* (solved)                          
   (none)                  libgmp* (missed:unavailable)                        
   libgpr=25.0.0           libgpr~25.0.0 (solved)                              
   libgpr2=25.0.0          libgpr2^25 (solved)                                 
   (none)                  prettier_ada^25 (missed:skipped)                    
   templates_parser=25.0.0 templates_parser^25.0.0 (solved)                    
   vss=25.0.0              vss^25.0.0 (solved)                                 
   xmlada=25.0.0           xmlada~25.0.0 (solved)                              
                                                                               
Do you want to keep solving for a few more seconds?
[Y] Yes  [N] No  [A] Always  (default is Yes) 
Using default: Yes
error: Could not find a complete solution for libadalang_tools*                 
error: Best incomplete solution is:
error: Dependencies (solution):
error:    adasat=25.0.0
error:    gnat=14.2.1 (gnat_external)
error:    gnatcoll=25.0.0
error:    gnatcoll_gmp=25.0.0
error:    gnatcoll_iconv=25.0.0
error:    langkit_support=25.0.0
error:    libadalang=25.0.0
error:    libadalang_tools=25.0.0
error:    libgpr=25.0.0
error:    libgpr2=25.0.0
error:    prettier_ada=25.0.0
error:    templates_parser=25.0.0
error:    vss=25.0.0
error:    xmlada=25.0.0
error: Dependencies (missing):
error:    libgmp* (indirect,hinted)
error: Dependencies (graph):
   gnatcoll=25.0.0         --> gnat=14.2.1 (gnat_external) (>=13)
   gnatcoll=25.0.0         --> libgpr=25.0.0 (~25.0.0)
   gnatcoll_gmp=25.0.0     --> gnatcoll=25.0.0 (~25.0.0)
   gnatcoll_gmp=25.0.0     --> libgmp*
   gnatcoll_iconv=25.0.0   --> gnatcoll=25.0.0 (~25.0.0)
   langkit_support=25.0.0  --> adasat=25.0.0 (^25)
   langkit_support=25.0.0  --> gnatcoll=25.0.0 (^25)
   langkit_support=25.0.0  --> gnatcoll_gmp=25.0.0 (^25)
   langkit_support=25.0.0  --> gnatcoll_iconv=25.0.0 (^25)
   langkit_support=25.0.0  --> prettier_ada=25.0.0 (^25)
   libadalang=25.0.0       --> gnatcoll=25.0.0 (^25)
   libadalang=25.0.0       --> gnatcoll_gmp=25.0.0 (^25)
   libadalang=25.0.0       --> gnatcoll_iconv=25.0.0 (^25)
   libadalang=25.0.0       --> langkit_support=25.0.0 (^25)
   libadalang=25.0.0       --> libgpr2=25.0.0 (^25)
   libadalang_tools=25.0.0 --> libadalang=25.0.0 (^25.0.0)
   libadalang_tools=25.0.0 --> templates_parser=25.0.0 (^25.0.0)
   libadalang_tools=25.0.0 --> vss=25.0.0 (^25.0.0)
   libgpr=25.0.0           --> gnat=14.2.1 (gnat_external) (/=2020)
   libgpr=25.0.0           --> xmlada=25.0.0 (~25.0.0)
   libgpr2=25.0.0          --> gnat=14.2.1 (gnat_external) (>=14)
   libgpr2=25.0.0          --> gnatcoll=25.0.0 (~25.0.0)
   libgpr2=25.0.0          --> gnatcoll_gmp=25.0.0 (~25.0.0)
   libgpr2=25.0.0          --> gnatcoll_iconv=25.0.0 (~25.0.0)
   prettier_ada=25.0.0     --> gnatcoll=25.0.0 (^25)
   prettier_ada=25.0.0     --> vss=25.0.0 (^25)
   templates_parser=25.0.0 --> xmlada=25.0.0 (~25.0.0)
   vss=25.0.0              --> gnat=14.2.1 (gnat_external) (>=11 & <2000)
   xmlada=25.0.0           --> gnat=14.2.1 (gnat_external) (>=11)
error: Installation cannot continue.

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

Have you tried removing the dependency from gnatcoll_gmp?
Or linking libgmp to /use/lib64/?
Or (depending on what pkg-config outputs) modifying libgmp-external.toml?

Thanks, it worked now.

What worked for me was to remove the dependency from gnatcoll_gmp.

You can try with alr build instead of alr install . I hope it let you build even if it can’t find libgmp package.