diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ada-modules/gprbuild/gpr-project-path-hook.sh')
-rw-r--r-- | nixpkgs/pkgs/development/ada-modules/gprbuild/gpr-project-path-hook.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ada-modules/gprbuild/gpr-project-path-hook.sh b/nixpkgs/pkgs/development/ada-modules/gprbuild/gpr-project-path-hook.sh new file mode 100644 index 000000000000..f98b2ab9e58d --- /dev/null +++ b/nixpkgs/pkgs/development/ada-modules/gprbuild/gpr-project-path-hook.sh @@ -0,0 +1,8 @@ +addAdaObjectsPath() { + local role_post + getHostRoleEnvHook + + addToSearchPath "GPR_PROJECT_PATH${role_post}" "$1/share/gpr" +} + +addEnvHooks "$targetOffset" addAdaObjectsPath |