2017-05-19 15:16:26 +01:00
|
|
|
grantleePluginPrefix=@grantleePluginPrefix@
|
|
|
|
|
|
|
|
providesGrantleeRuntime() {
|
|
|
|
[ -d "$1/$grantleePluginPrefix" ]
|
|
|
|
}
|
|
|
|
|
|
|
|
_grantleeEnvHook() {
|
|
|
|
if providesGrantleeRuntime "$1"; then
|
2017-11-17 18:26:21 +00:00
|
|
|
propagatedBuildInputs+=" $1"
|
2017-05-19 15:16:26 +01:00
|
|
|
propagatedUserEnvPkgs+=" $1"
|
|
|
|
fi
|
|
|
|
}
|
2017-08-10 23:22:07 +01:00
|
|
|
addEnvHooks "$hostOffset" _grantleeEnvHook
|