Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Can't find toolchain in VSCodium provisioned via nix #1166

Open
newton-migosi opened this issue Sep 6, 2023 · 1 comment
Open

Can't find toolchain in VSCodium provisioned via nix #1166

newton-migosi opened this issue Sep 6, 2023 · 1 comment

Comments

@newton-migosi
Copy link

newton-migosi commented Sep 6, 2023

Getting can't find a toolchain for the following configuration: language 'Ada', target 'x86_64-linux', default runtime even though gdb, gnat12 and gprbuild are provisioned to VSCodium via nix.

The integrated terminal in VSCodium has all the required binaries in $PATH, e.g gnatls -v works and building the project directly using gprbuild works.

To reproduce (requires nix),

  1. Clone the hello_world repo
  2. Run nix run .#codium . in the repo to launch the IDE
  3. Open any .adb or .gpr file

More information is in the repo's README

@Saufian
Copy link

Saufian commented Sep 14, 2023

Got the same issue today, but on every Ada project (including with the official tuto).

I solved the problem with the help of the answer proposed here: Issue:1146

In a few words: change your gnat version to match your gcc version, restart VSCodium, and enjoy the result.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants