alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gnatprove 13.2.1: GPR_PROJECT_PATH for sparklib (#917)

Browse Source
This commit is contained in:
Fabien Chouteau
2023-11-13 19:11:41 +01:00
committed by GitHub
parent 6712cb7e2f
commit 6a964e7a2b
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/gn/gnatprove/gnatprove-13.2.1.toml
+1
View File
@@ -12,6 +12,7 @@ disabled = true
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
GPR_PROJECT_PATH.prepend = "${CRATE_ROOT}/lib/gnat"
[origin."case(os)".windows."case(host-arch)".x86-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-windows64-13.2.0-1.tar.gz"