Skip to content

Commit

Permalink
Don't look for gprbuild from system provider.
Browse files Browse the repository at this point in the history
Because the manifest currently asks for Alire to attempt to download
gprbuild from the system package manager, alr <anything> spends
several fruitless seconds trying to find gprbuild.

  * index/gp/gprbuild/gprbuild-external.toml: remove the 'system' external.
  • Loading branch information
simonjwright committed Nov 1, 2023
1 parent 9099ace commit 48f3c5e
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions index/gp/gprbuild/gprbuild-external.toml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,3 @@ kind = "version-output"
version-regexp = "^GPRBUILD ([\\d\\.-]+).*|^GPRBUILD Community ([\\d\\.-]+).*"
version-command = ["gprbuild", "--version"]

[[external]]
kind = "system"
origin = ["gprbuild"]

0 comments on commit 48f3c5e

Please sign in to comment.