From df12ae1d7675be4718da627d9f50d5680ac77fdc Mon Sep 17 00:00:00 2001 From: Simon Wright Date: Thu, 9 Nov 2023 13:52:02 +0000 Subject: [PATCH] Don't look for gprbuild from system provider. (#913) * 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 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. --- index/gp/gprbuild/gprbuild-external.toml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/index/gp/gprbuild/gprbuild-external.toml b/index/gp/gprbuild/gprbuild-external.toml index 301a80eb2..cd347dfb4 100644 --- a/index/gp/gprbuild/gprbuild-external.toml +++ b/index/gp/gprbuild/gprbuild-external.toml @@ -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"]