Skip to content

Commit

Permalink
Don't look for gprbuild from system provider. (#913)
Browse files Browse the repository at this point in the history
* Don't look for gprbuild from system provider.

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.

* macOS distributions don't provide gprbuild, others do.

  * index/gp/gprbuild/gprbuild-external.toml: the "system" external isn't
    available on macOS, so specify it explicitly for the other operating
    systems.
  • Loading branch information
simonjwright authored Nov 9, 2023
1 parent 332abd7 commit df12ae1
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion index/gp/gprbuild/gprbuild-external.toml
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,10 @@ kind = "version-output"
version-regexp = "^GPRBUILD ([\\d\\.-]+).*|^GPRBUILD Community ([\\d\\.-]+).*"
version-command = ["gprbuild", "--version"]

# Neither macOS distribution (Homebrew, MacPorts) provides gprbuild.
[[external]]
kind = "system"
origin = ["gprbuild"]
[external.origin.'case(os)']
"freebsd" = ["gprbuild"]
"linux" = ["gprbuild"]
"windows" = ["gprbuild"]

0 comments on commit df12ae1

Please sign in to comment.