ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
authorwenzelm
Tue Apr 14 14:37:44 2009 +0200 (2009-04-14)
changeset 30889d7cfcb9b5c7c
parent 30888 a8f9e12d815e
child 30890 0214d179c2be
child 30891 28c7f7ba9f13
ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
etc/settings
     1.1 --- a/etc/settings	Tue Apr 14 12:27:18 2009 +0200
     1.2 +++ b/etc/settings	Tue Apr 14 14:37:44 2009 +0200
     1.3 @@ -90,7 +90,8 @@
     1.4  ### Batch sessions (cf. isabelle usedir)
     1.5  ###
     1.6  
     1.7 -ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML"
     1.8 +ISABELLE_USEDIR_OPTIONS="-M 1 -p 1 -v true -V outline=/proof,/ML"
     1.9 +#ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML"
    1.10  
    1.11  # Specifically for the HOL image
    1.12  HOL_USEDIR_OPTIONS=""