From 09504b40780215a761404b543bf7c9c839b12623 Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Tue, 8 May 2018 11:31:20 +0200 Subject: [PATCH] +libgsl --- index/alire-index-agpl.ads | 12 ++++++++---- index/native/alire-index-libgsl.ads | 14 ++++++++++++++ 2 files changed, 22 insertions(+), 4 deletions(-) create mode 100644 index/native/alire-index-libgsl.ads diff --git a/index/alire-index-agpl.ads b/index/alire-index-agpl.ads index 0767dacc..f196c82e 100644 --- a/index/alire-index-agpl.ads +++ b/index/alire-index-agpl.ads @@ -1,3 +1,5 @@ +with Alire.Index.Libgsl; + package Alire.Index.Agpl is function Project is new Catalogued_Project @@ -7,11 +9,13 @@ package Alire.Index.Agpl is Base : constant Release := Project.Unreleased - (Properties => + (Dependencies => + Libgsl.Project.Current, + Properties => GPR_Scenario ("Agpl_Include_Concorde", "True" or "False") and - GPR_Scenario ("Agpl_Include_Db", "True" or "False") and - GPR_Scenario ("Agpl_Include_Boost", "True" or "False") and - GPR_Scenario ("Agpl_Include_PngIO", "True" or "False") and + GPR_Scenario ("Agpl_Include_Db", "True" or "False") and + GPR_Scenario ("Agpl_Include_Boost", "True" or "False") and + GPR_Scenario ("Agpl_Include_PngIO", "True" or "False") and Author ("alejandro@mosteo.com") and License (LGPL_3_0)); diff --git a/index/native/alire-index-libgsl.ads b/index/native/alire-index-libgsl.ads new file mode 100644 index 00000000..394328a8 --- /dev/null +++ b/index/native/alire-index-libgsl.ads @@ -0,0 +1,14 @@ +package Alire.Index.Libgsl is + + function Project is new Catalogued_Project + ("The GNU Scientific Library (GSL)"); + + Base : constant Release := Project.Unreleased; + + package V_0 is new Released + (Base + .Replacing + (Native ((Debian | Ubuntu => Packaged_As ("libgsl-dev"), + others => Unavailable)))); + +end Alire.Index.Libgsl;