> ```
> (let ((z3-dir (run-with-store (open-connection)
> (package-file z3-with-java))))
> (setenv "LD_LIBRARY_PATH" (string-append z3-dir "/lib"))
> (setenv "Z3_DIR" z3-dir))
> ...
> ```
Because I cannot sit well enough alone. I have learned some more
things: it appears these `setenv` calls work if manually invoking `guix
shell`. However, they do not work when using direnv to invoke `guix
shell`. This may come down to _how_ direnv invokes `guix shell`.
Worse, if corrected, direnv may not be able to guarantee the `setenv`
variables are hermetic to the project since it seems to be completely
unaware of them (i.e., leaving the directory may not unset the
added environment variables).
Perhaps, this helps stir some insight?
-Kenny
