From 1e8b397976227a77ab2db54303cfac703c38829f Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Fri, 2 Jul 2021 09:20:46 +0200 Subject: [PATCH] Allow loading manifests with broken pins (#766) --- src/alire/alire-user_pins.adb | 4 ++-- src/alire/alire.adb | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/src/alire/alire-user_pins.adb b/src/alire/alire-user_pins.adb index 9c09b60d..397d3a8b 100644 --- a/src/alire/alire-user_pins.adb +++ b/src/alire/alire-user_pins.adb @@ -436,8 +436,8 @@ package body Alire.User_Pins is " to be portable"); if not GNAT.OS_Lib.Is_Directory (+Result.Path) then - This.Checked_Error ("Pin path is not a valid directory: " - & (+Result.Path)); + This.Recoverable_Error ("Pin path is not a valid directory: " + & (+Result.Path)); end if; return Result; diff --git a/src/alire/alire.adb b/src/alire/alire.adb index 85b11fe8..94b7eea9 100644 --- a/src/alire/alire.adb +++ b/src/alire/alire.adb @@ -1,6 +1,7 @@ with AAA.Debug; with Alire.Errors; +with Alire.Warnings; with Alire.Utils.TTY; with GNAT.IO; @@ -238,7 +239,7 @@ package body Alire is procedure Recoverable_Error (Msg : String; Recover : Boolean := Force) is begin if Recover then - Trace.Warning (Msg); + Warnings.Warn_Once (Msg); else Raise_Checked_Error (Msg); end if; -- 2.39.5