max_threads_value: eliminated tested_platform -- Poly/ML 5.3 fully supports linux, darwin, solaris, cygwin;
authorwenzelm
Tue Oct 27 10:54:25 2009 +0100 (2009-10-27 ago)
changeset 33219a69147d95957
parent 33218 ecb5cd453ef2
child 33220 11a1af478dac
max_threads_value: eliminated tested_platform -- Poly/ML 5.3 fully supports linux, darwin, solaris, cygwin;
src/Pure/ML-Systems/multithreading_polyml.ML
     1.1 --- a/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Oct 26 23:27:24 2009 +0100
     1.2 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Tue Oct 27 10:54:25 2009 +0100
     1.3 @@ -33,14 +33,9 @@
     1.4  
     1.5  val max_threads = Unsynchronized.ref 0;
     1.6  
     1.7 -val tested_platform =
     1.8 -  let val ml_platform = getenv "ML_PLATFORM"
     1.9 -  in String.isSuffix "linux" ml_platform orelse String.isSuffix "darwin" ml_platform end;
    1.10 -
    1.11  fun max_threads_value () =
    1.12    let val m = ! max_threads in
    1.13      if m > 0 then m
    1.14 -    else if not tested_platform then 1
    1.15      else Int.min (Int.max (Thread.numProcessors (), 1), 4)
    1.16    end;
    1.17