From 3ee44941ee0ef9a18b0b25752cf0ca12775e2a8c Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Thu, 7 Oct 2021 09:15:51 +0200 Subject: [PATCH] gnatcov: add missing GPR_PROJECT_PATH for instrumentation run-time (#378) --- index/gn/gnatcov/gnatcov-21.0.1.toml | 1 + index/gn/gnatcov/gnatcov-21.0.2.toml | 1 + 2 files changed, 2 insertions(+) diff --git a/index/gn/gnatcov/gnatcov-21.0.1.toml b/index/gn/gnatcov/gnatcov-21.0.1.toml index 0a878706..20d4f840 100644 --- a/index/gn/gnatcov/gnatcov-21.0.1.toml +++ b/index/gn/gnatcov/gnatcov-21.0.1.toml @@ -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" diff --git a/index/gn/gnatcov/gnatcov-21.0.2.toml b/index/gn/gnatcov/gnatcov-21.0.2.toml index 06a7f213..2506dec7 100644 --- a/index/gn/gnatcov/gnatcov-21.0.2.toml +++ b/index/gn/gnatcov/gnatcov-21.0.2.toml @@ -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"