aunit, startup_gen, templates_parser, win32ada 22.0.0 (#394)
This commit is contained in:
@@ -0,0 +1,20 @@
|
||||
description = "Ada unit test framework"
|
||||
name = "aunit"
|
||||
version = "22.0.0"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["lib/gnat/aunit.gpr"]
|
||||
tags=["unit", "test", "unit-test"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
AUNIT_BUILD_MODE = ["Devel", "Install"]
|
||||
AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/aunit/archive/v22.0.0/aunit-22.0.0.zip"
|
||||
hashes=["sha512:cbd7a80ad1e335d53d3a4834d48c9dd2df153bb1110a787a88003443de3ab2839534910103ce0b3ff98dca83e86e97e2bca48d4182acd2af5705ec723f84b66b"]
|
||||
@@ -15,6 +15,7 @@ GPR_BUILD = ["debug", "production", "coverage", "profiling"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[[depends-on]]
|
||||
gnat = "/=2020" # Does not build with GNAT Community 2020
|
||||
xmlada = "~22.0.0"
|
||||
|
||||
[origin]
|
||||
|
||||
@@ -0,0 +1,23 @@
|
||||
name = "startup_gen"
|
||||
version = "22.0.0"
|
||||
description = "Generates startup files (crt0 and linker script)"
|
||||
website = "https://github.com/AdaCore/startup-gen"
|
||||
authors = ["AdaCore"]
|
||||
executables = ["startup-gen"]
|
||||
licenses = "GPL-3.0-or-later"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["startup_gen.gpr"]
|
||||
tags = ["embedded", "zfp", "nostd"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~22.0.0"
|
||||
libgpr = "~22.0.0"
|
||||
templates_parser = "~22.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/startup-gen/archive/v22.0.0/startup-gen-22.0.0.zip"
|
||||
hashes=["sha512:85f5a12201bda7438a505a866a4d1208940da45639344e38a1270fd9e0ebc6f4b7525cec74d3df0cde5453afe796713f94a7ff5b5896b7023adebe24cfefa087"]
|
||||
@@ -0,0 +1,35 @@
|
||||
name = "templates_parser"
|
||||
version = "22.0.0"
|
||||
description = "Templates Parser: File generation from templates in Ada"
|
||||
website = "https://github.com/AdaCore/templates-parser"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["templates_parser.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[actions]]
|
||||
type = "post-fetch"
|
||||
command = ["cp", "config/tp_xmlada_installed.gpr", "tp_xmlada.gpr"]
|
||||
|
||||
[gpr-externals]
|
||||
LIBRARY_TYPE = ["static", "relocatable"]
|
||||
PRJ_BUILD = ["Debug", "Release"]
|
||||
TP_TASKING = ["No_Tasking", "Standard_Tasking"]
|
||||
TP_XMLADA = ["Installed", "Disabled"]
|
||||
|
||||
[gpr-set-externals]
|
||||
TP_XMLADA = "Installed"
|
||||
|
||||
[environment]
|
||||
ADAFLAGS.set = "-gnaty-d" # Disable no DOS line terminators check
|
||||
|
||||
[[depends-on]]
|
||||
xmlada = "~22.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/templates-parser/archive/v21.0.0/templates-parser-21.0.0.zip"
|
||||
hashes=['sha512:2b7ce36cf5f985724416c9abc68725bf73c9e8af6389801043dee2f3e9a4a9d2155a86c96f8088dd830af3b8942a3e7dd7373e7003741a4098ca580e6fa507a4']
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "win32ada"
|
||||
version = "22.0.0"
|
||||
description = "Ada API to the Windows library"
|
||||
website = "https://github.com/adacore/win32ada"
|
||||
authors = ["Intermetrics", "AdaCore"]
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["windows", "api"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
PRJ_TARGET = ["Win32", "Win64"]
|
||||
PRJ_BUILD = ["Debug", "Release"]
|
||||
|
||||
[available.'case(os)']
|
||||
windows = true
|
||||
'...' = false
|
||||
|
||||
[gpr-set-externals]
|
||||
TARGET = "Win64"
|
||||
PRJ_TARGET = "Win64"
|
||||
PRJ_BUILD = "Release"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/win32ada/archive/v22.0.0/win32ada-22.0.0.zip"
|
||||
hashes=['sha512:25bbde23184673d60f5d9c2a73a4515b2a1b0e14efa7eef8a9cab4d33be7500c647eff699afb7943ca07225b5968c3012e26b7e4ae63169fe7d8f80f605cebf4']
|
||||
Reference in New Issue
Block a user