AdaCore / AdaCore/ada_language_server
What's the correct way to build ALS on Windows 10 with Alire ?
Nobody has claimed this yet.
- Dominant language
- Ada
- Stars
- 304
- Forks
- 70
- PR merge metrics
- No merged PRs in 30d
Description
I've created a new project with alr get ada_language_server.
This created a new folder named ada_language_server_23.0.0_66f2e7fb.
alr build generates ada_language_server.exe in .obj/server folder.
alr run does nothing (except running a build). alr run ada_language_server.exe neither.
Running ada_language_server.exe manually opens an error dialog box saying that libgmp-10.dll is not found.

In the dependencies, Alire installed and compiled gnatcoll_gmp_23.0.0_57de4a1a. However, there is no libgmp-10.dll generated.
Did I miss something ?
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reproducing the reported alr get ada_language_server and alr build flow on Windows 10, then inspect .obj/server and the installed gnatcoll_gmp_23.0.0_57de4a1 dependency. The issue is resolved when ada_language_server.exe can run without the missing libgmp-10.dll error.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system, operating-systems
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100