On Wed, 10 Dec 2014, Gerwin Klein wrote:
In my setup at least I have additional components for other projects I’m
working on, so running plain ‘build -a’ rarely makes sense. The story is
different when only core Isabelle and AFP are the registered components
which would be the case when the main work is on the Isabelle side.
I usually follow the model that "-a" is used by default, but projects can
be swapped in or out via "-d" options (or ROOTS) entries.
Eventually there might be GUI support for that in the Prover IDE, e.g. to
tick directories on or off.
I’ll have a look at changing the ROOT file, the development mode for the
AODV entry is mostly over anyway, so I might just remove the additional
sessions.
Thanks. I am looking forward to run again at full speed. I am also about
to get some more cores within the next few days.
Makarius
----------------------------------------------------------------------------
http://stop-ttip.org 1,127,154 people so far
----------------------------------------------------------------------------_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
