On Thu, 6 Jan 2011, Sascha Boehme wrote:
more precisely, the paths to SMT solver bundles need to be added to
$ISABELLE_HOME_USER/etc/components.
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.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
