libgpr2, gpr_unit_provider 23.0.0 (#681)
* libgpr2 23.0.0 * gpr_unit_provider 23.0.0
This commit is contained in:
@@ -0,0 +1,24 @@
|
||||
name = "gpr_unit_provider"
|
||||
version = "23.0.0"
|
||||
description = "GNAT Project File Library"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GPR_UNIT_PROVIDER_BUILD = ["debug", "release", "release_checks"]
|
||||
|
||||
[gpr-set-externals]
|
||||
GPR_UNIT_PROVIDER_BUILD = "release"
|
||||
|
||||
[[depends-on]]
|
||||
libadalang = "~23.0.0"
|
||||
libgpr2 = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gpr-unit-provider/archive/v23.0.0/gpr-unit-provider-23.0.0.zip"
|
||||
hashes=['sha512:87c3b1c4e9da6b57e1ea14fb612d8fcfd19cbc6ec00eb6b1d9675599377860b257018e5c3c153544fe471745552bb38b7839002611d31991d10f3a3848611f3c']
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "libgpr2"
|
||||
version = "23.0.0"
|
||||
description = "Parser for GPR Project File"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "Apache-2.0"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["gpr2.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
GPR2_BUILD = ["debug", "release", "release_checks", "gnatcov"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[gpr-set-externals]
|
||||
GPR2_BUILD = "release"
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~23.0.0"
|
||||
gnatcoll_iconv = "~23.0.0"
|
||||
gnatcoll_gmp = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gpr/releases/download/v23.0.0/gpr2-with-lkparser-23.0.tgz"
|
||||
hashes=['sha512:3b2d74835732246cc6d2e4a4cfa40b09cd2b03e5f8a09f790ecf5f15e8cab0471721f4e42574c6f64c4e7eb7f2b3336d346334f104c5c1fb0f1ec8eabd873f45']
|
||||
Reference in New Issue
Block a user