Skip to content

Commit

Permalink
macOS distributions don't provide gprbuild, others do.
Browse files Browse the repository at this point in the history
  * 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 committed Nov 9, 2023
1 parent 48f3c5e commit 4a0d19b
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions index/gp/gprbuild/gprbuild-external.toml
Original file line number Diff line number Diff line change
Expand Up @@ -9,3 +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"
[external.origin.'case(os)']
"freebsd" = ["gprbuild"]
"linux" = ["gprbuild"]
"windows" = ["gprbuild"]

0 comments on commit 4a0d19b

Please sign in to comment.