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