> Does "isabelle build pide_session=false" make a difference. > > Did you use option -N? > > What is your value for option -j and -o threads?
* pide_session=false does not make a difference
* -N is not operating on lxbroy10
* -j is not relevant since I only build one session
* threads make a difference: -o threads=2 and -o threads=3 has been
successful; previously I just used the hardware default. I did not
check for -o threads=4 so far.
Hope this helps,
Florian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
