From 4a0d19bfc75b76acd157e99b105b88b28ab30ade Mon Sep 17 00:00:00 2001
From: Simon Wright <simon@pushface.org>
Date: Thu, 9 Nov 2023 12:18:23 +0000
Subject: [PATCH] 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.
---
 index/gp/gprbuild/gprbuild-external.toml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/index/gp/gprbuild/gprbuild-external.toml b/index/gp/gprbuild/gprbuild-external.toml
index ebd77373d..cd347dfb4 100644
--- a/index/gp/gprbuild/gprbuild-external.toml
+++ b/index/gp/gprbuild/gprbuild-external.toml
@@ -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"]