From 7233d619dc4c549953b49f8735b22f56ec094a2d Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Date: Sat, 10 Feb 2018 14:58:00 +0100
Subject: [PATCH] =?UTF-8?q?Assorted=20trucutr=C3=BA?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/alire-platform.ads   | 13 +++++++++++++
 src/alire-requisites.ads |  4 ++--
 2 files changed, 15 insertions(+), 2 deletions(-)
 create mode 100644 src/alire-platform.ads

diff --git a/src/alire-platform.ads b/src/alire-platform.ads
new file mode 100644
index 00000000..f46a0d4a
--- /dev/null
+++ b/src/alire-platform.ads
@@ -0,0 +1,13 @@
+package Alire.Platform with Preelaborate is
+
+   type Operating_Systems is (Unknown,
+                              Linux,
+                              Windows);
+
+   type Compilers is (Unknown,
+                      GNAT_GPL_2017,
+                      GNAT_FSF_7_2);
+
+   function Compiler return Compilers is (Unknown);
+
+end Alire.Platform;
diff --git a/src/alire-requisites.ads b/src/alire-requisites.ads
index 01cd0e96..ccf02047 100644
--- a/src/alire-requisites.ads
+++ b/src/alire-requisites.ads
@@ -26,9 +26,9 @@ package Alire.Requisites with Preelaborate is
       type Compatible_Property is new Property with private;
    package Property_Checker is
 
-      type Requisite is new Requisites.Requisite with null record;
+      type Requisite is abstract new Requisites.Requisite with null record;
 
-      function Is_Satisfied (R : Requisite; P : Compatible_Property) return Boolean;
+      function Is_Satisfied (R : Requisite; P : Compatible_Property) return Boolean is abstract;
       --  This is the important function to override by Requisite implementations
 
       --  The remainder methods are utilities that do not require modifications by the client.