From 1be5c6ca6320c40314e2a9a8d955335753e7f822 Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Tue, 18 Feb 2020 19:05:45 +0100 Subject: [PATCH] Mark Ada system libs as available for FSF GNAT only --- index/gt/gtkada.toml | 1 + index/nc/ncursesada.toml | 2 ++ index/pl/plplot.toml | 1 + 3 files changed, 4 insertions(+) diff --git a/index/gt/gtkada.toml b/index/gt/gtkada.toml index 5913a126..f274d8d7 100644 --- a/index/gt/gtkada.toml +++ b/index/gt/gtkada.toml @@ -6,5 +6,6 @@ maintainers-logins = ["mosteo"] [[external]] kind = "system" +available.'case(toolchain)'.user = false [external.origin.'case(distribution)'] 'debian|ubuntu' = ["libgtkada16.1.0-dev"] diff --git a/index/nc/ncursesada.toml b/index/nc/ncursesada.toml index b4916925..144ce0db 100644 --- a/index/nc/ncursesada.toml +++ b/index/nc/ncursesada.toml @@ -11,6 +11,8 @@ licenses = [] [[external]] kind = "system" +available.'case(toolchain)'.user = false + [external.origin.'case(distribution)'] 'debian|ubuntu' = ["libncursesada6.1.20180127-dev", "libncursesada5-dev", diff --git a/index/pl/plplot.toml b/index/pl/plplot.toml index ee9057cb..d4372f68 100644 --- a/index/pl/plplot.toml +++ b/index/pl/plplot.toml @@ -8,3 +8,4 @@ maintainers-logins = ["mosteo"] [[external]] kind = "system" origin = ["libplplot-ada-dev"] +available.'case(toolchain)'.user = false