From 8606fe9b91a5a1641decb1a549523d154ecaf71f Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Sat, 28 Apr 2018 17:23:53 +0200 Subject: [PATCH] Removed problematics with 7.3 --- index/alire-index-libadacrypt.ads | 2 +- index/alire-index-whitakers_words.ads | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/index/alire-index-libadacrypt.ads b/index/alire-index-libadacrypt.ads index 41ce1545..4f8dcc1b 100644 --- a/index/alire-index-libadacrypt.ads +++ b/index/alire-index-libadacrypt.ads @@ -43,7 +43,7 @@ package Alire.Index.Libadacrypt is GPR_External ("system", "windows")), Available_When => - Compiler > GNAT_FSF_7_2 + Compiler > GNAT_FSF_7_3_Or_Newer -- It fails self-tests; might be a spureous warning ); diff --git a/index/alire-index-whitakers_words.ads b/index/alire-index-whitakers_words.ads index b4d8b7a3..fb5cd4bf 100644 --- a/index/alire-index-whitakers_words.ads +++ b/index/alire-index-whitakers_words.ads @@ -31,7 +31,8 @@ package Alire.Index.Whitakers_Words is Action_Run (Post_Compile, "make"), Available_When => - Compiler > GNAT_FSF_7_2 -- bug with SAL library failing binding + Compiler > GNAT_FSF_7_3_Or_Newer + -- bug with SAL library failing binding ); end Alire.Index.Whitakers_Words;