[isabelle-dev] SMT components and environment variables

Makarius 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 
> $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.


More information about the isabelle-dev mailing list