Unsupported platforms

2018-02-28 20:50:56 +01:00
parent 2192d5ef49
commit 8bae7ae8dc
1 changed files with 4 additions and 2 deletions
@@ -7,10 +7,12 @@ package Alire.Platforms with Preelaborate is
                      GNAT_GPL_2017);

   type Operating_Systems is (GNU_Linux,
-                              Windows);
+                              Windows,
+                              Unsupported);

   type Distributions is (Debian_Buster,
-                          Ubuntu_Artful);
+                          Ubuntu_Artful,
+                          Unsupported);
   --  Known flavors of OSs
   --  It turns out that Debian uses no numbers for its non-stable releases, so we'll prefer the codename
   --  These are important mostly to tie platform package names to releases