[isabelle-dev] SMT components and environment variables
makarius at sketis.net
Thu Jan 6 18:34:18 CET 2011
On Thu, 6 Jan 2011, Sascha Boehme wrote:
> more precisely, the paths to SMT solver bundles need to be added to
BTW, this is just one way to configure components, and not the most
convenient one when doing it by hand (etc/components is designed to do
that under program contol one day).
What I normally do by hand is to say "init_component PATH" in one of the
settings scripts, where PATH can be an arbitrary bash expression with
environment variables etc.
More information about the isabelle-dev