diff options
author | Tim Lagnese | 2022-12-03 23:58:11 -0800 |
---|---|---|
committer | Tim Lagnese | 2022-12-04 00:03:31 -0800 |
commit | 8f80227270ad2030ddb33413bfc56a93324e99c9 (patch) | |
tree | 52ee2dd58aa209c78e910851eb468487bf0313ed /alire.patch | |
parent | 55ea21b34277937742c8a7119beb44948394aeef (diff) | |
download | aur-8f80227270ad2030ddb33413bfc56a93324e99c9.tar.gz |
Fix gnatcoll core directory and build flags
Diffstat (limited to 'alire.patch')
-rw-r--r-- | alire.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/alire.patch b/alire.patch index 2c5d1bb9668f..b8f122fc08b6 100644 --- a/alire.patch +++ b/alire.patch @@ -27,7 +27,7 @@ Index: alire-1.2.0/alr_env.gpr + "../ajunitgen", + "../ansi-ada", + "../clic", -+ "../gnatcoll-slim", ++ "../gnatcoll-core", + "../minirest", + "../optional", + "../semantic_versioning", |