gnatcoll 22.0.0: set build mode to PROD (#570)

This commit is contained in:
Fabien Chouteau
2022-07-19 10:37:01 +02:00
committed by GitHub
parent c4b895b760
commit 7b7c753344
+1
View File
@@ -27,6 +27,7 @@ GNATCOLL_OS = "windows"
[gpr-set-externals]
GNATCOLL_VERSION = "22.0.0"
GNATCOLL_BUILD_MODE = "PROD"
[[depends-on]]
libgpr = "~22.0.0"