Turned out easier than expected. Generate env.sh directly that works for source + deactivate. The KAFL_ROOT etc variables remain active this way (similar to sourcing via --input-file).
Added a makefile recipe which uses this to a subshell again. I think that takes best of both worlds
old behavior remains intact and environment is confined to subshell
sourcing the env.sh also allows to non-interactively launch scripts, i.e. source env.sh && bkc/kafl/foo/bar
Turned out easier than expected. Generate env.sh directly that works for source + deactivate. The KAFL_ROOT etc variables remain active this way (similar to sourcing via --input-file).
Added a makefile recipe which uses this to a subshell again. I think that takes best of both worlds