pkgs/development/ada-modules/gprbuild/gpr-project-path-hook.sh at devShellTools-shell

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

nixpkgs / pkgs / development / ada-modules / gprbuild / gpr-project-path-hook.sh

at devShellTools-shell 8 lines 181 B view raw

wrap content

1addAdaObjectsPath() {
2    local role_post
3    getHostRoleEnvHook
4
5    addToSearchPath "GPR_PROJECT_PATH${role_post}" "$1/share/gpr"
6}
7
8addEnvHooks "$targetOffset" addAdaObjectsPath