-- Copyright (C) 2022-2024 A.J. Ianozi <aj@ianozi.com>
--
-- This file is part of GetAda: the Unofficial Alire Installer
--
-- This program is free software: you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation, either version 3 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program. If not, see <https://www.gnu.org/licenses/>.
pragma Assertion_Policy (Check);
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with Ada.Directories;
with Settings; use Settings;
with Defaults;
package Installer is
-- Just to verify we're using theh correct version format.
subtype Valid_Version is Character with
Static_Predicate => Valid_Version in 'A' .. 'Z' | 'a' .. 'z' |
'0' .. '9' | '-' | '.';
procedure Install (Our_Settings : Program_Settings) with
Pre =>
(for all I in 1 .. Length (Our_Settings.Version) =>
Element (Our_Settings.Version, I) in Valid_Version
or else raise Defaults.Invalid_Version
with "ERROR: Invalid version: " & To_String (Our_Settings.Version));
private
procedure Extract_Alire (File : String) with
Pre => Ada.Directories.Exists (File)
or else raise Defaults.Invalid_File with "Unable to load file: " & File,
Post => Ada.Directories.Exists (Defaults.Alire_Command)
or else raise Defaults.Invalid_File
with "Unable to find """ & Defaults.Alire_Command & """ in: " & File;
end Installer;