aws 23.0.0: fix gnat dependency (#795)

Any kind of gnat can be used, not just `gnat_native`
2023-06-19 14:13:48 +02:00
parent 36d2f406ff
commit acf910102a
1 changed files with 1 additions and 1 deletions
@@ -21,7 +21,7 @@ command = ["make", "setup", "ZLIB=false", "DEMOS=false",
 xmlada = "~23.0.0"
 gnatcoll = "~23.0.0"
 make = "*"
-gnat_native = ">=12"
+gnat = ">=12"
 openssl = "*"

 [gpr-externals]