From 8bae7ae8dc62fac82c12b011122ea03c754a95bd Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Wed, 28 Feb 2018 20:50:56 +0100 Subject: [PATCH] Unsupported platforms --- src/alire-platforms.ads | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/alire-platforms.ads b/src/alire-platforms.ads index ecdf494a..f91605ff 100644 --- a/src/alire-platforms.ads +++ b/src/alire-platforms.ads @@ -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