json 6.0.0, json 5.0.x metadata (#1164)

* json 5.0.x: Add gnat <= 13 dependency

The json 5.0.x releases do not compile with GNAT >= 14 because the
compiler is checking more SPARK restrictions.

* json 6.0.0

---------

Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
This commit is contained in:
onox
2024-09-30 10:57:09 +02:00
committed by GitHub
parent 7ea3418af6
commit 6795b93ce3
3 changed files with 27 additions and 0 deletions
+3
View File
@@ -13,6 +13,9 @@ authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"] maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"] maintainers-logins = ["onox"]
[[depends-on]]
gnat = "<=13"
[configuration] [configuration]
disabled = true disabled = true
+3
View File
@@ -13,6 +13,9 @@ authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"] maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"] maintainers-logins = ["onox"]
[[depends-on]]
gnat = "<=13"
[build-switches] [build-switches]
validation.compile_checks = "warnings" validation.compile_checks = "warnings"
"*".style_checks = ["-gnatygAO-Is"] "*".style_checks = ["-gnatygAO-Is"]
+21
View File
@@ -0,0 +1,21 @@
name = "json"
description = "An Ada 2012 library for parsing JSON"
version = "6.0.0"
website = "https://github.com/onox/json-ada"
licenses = "Apache-2.0"
tags = ["json"]
project-files = ["json.gpr"]
authors = ["onox"]
maintainers = ["onox <denkpadje@gmail.com>"]
maintainers-logins = ["onox"]
[build-switches]
validation.compile_checks = "warnings"
"*".style_checks = ["-gnatygAOM120-Is"]
[origin]
commit = "511489d4cf3bba05ca1376b36664ebe619004221"
url = "git+https://github.com/onox/json-ada.git"
subdir = "json"