gnatcov: add missing GPR_PROJECT_PATH for instrumentation run-time (#378)

This commit is contained in:
Fabien Chouteau
2021-10-07 09:15:51 +02:00
committed by GitHub
parent fae04af671
commit 3ee44941ee
2 changed files with 2 additions and 0 deletions
+1
View File
@@ -9,6 +9,7 @@ auto-gpr-with = false
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-1/gnatcov-x86_64-linux-21.0-1.tar.gz"
+1
View File
@@ -9,6 +9,7 @@ auto-gpr-with = false
[environment]
PATH.prepend = "${CRATE_ROOT}/bin"
GPR_PROJECT_PATH.append= "${CRATE_ROOT}/share/gnatcoverage/gnatcov_rts/"
[origin."case(os)".linux."case(word-size)".bits-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatcov-21.0-2/gnatcov-x86_64-linux-21.0-2.tar.gz"