From 6bc06445f9ca8799143b2f1e113564e6c9cd97c1 Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Mon, 26 Feb 2018 00:33:52 +0100 Subject: [PATCH] Indexed PragmARC --- src/alire-index.ads | 1 + src/alire-licensing.ads | 4 ++++ src/alire-properties-labeled.ads | 5 +++-- 3 files changed, 8 insertions(+), 2 deletions(-) diff --git a/src/alire-index.ads b/src/alire-index.ads index 32e3bab6..094c796e 100644 --- a/src/alire-index.ads +++ b/src/alire-index.ads @@ -86,6 +86,7 @@ package Alire.Index is -- Shortcuts for properties/requisites: -- "Typed" attributes (named pairs of label-value) + function Author is new Properties.Labeled.Generic_New_Label (Properties.Labeled.Author); function Executable is new Properties.Labeled.Generic_New_Label (Properties.Labeled.Executable); function Maintainer is new Properties.Labeled.Generic_New_Label (Properties.Labeled.Maintainer); function Website is new Properties.Labeled.Generic_New_Label (Properties.Labeled.Website); diff --git a/src/alire-licensing.ads b/src/alire-licensing.ads index a60a7e60..c4249a1e 100644 --- a/src/alire-licensing.ads +++ b/src/alire-licensing.ads @@ -35,6 +35,10 @@ package Alire.Licensing with Preelaborate is Unlicense, WTFPL, Zlib, + + -- Extra additions + GMGPL_2_0, + GMGPL_3_0, Public_Domain, Unknown); diff --git a/src/alire-properties-labeled.ads b/src/alire-properties-labeled.ads index 534d39cc..187a7dad 100644 --- a/src/alire-properties-labeled.ads +++ b/src/alire-properties-labeled.ads @@ -4,8 +4,9 @@ package Alire.Properties.Labeled with Preelaborate is -- Properties that have a single string value and a name - type Labels is (Executable, -- A resulting executable built by the project - Maintainer, -- Info about the maintainer + type Labels is (Author, -- VIP + Executable, -- A resulting executable built by the project + Maintainer, -- Info about the maintainer of the alr-packaged project Website); -- A website other than the repository type Label (<>) is new Properties.Property with private;