multithreading support only for polyml-5.2.1 or later;
authorwenzelm
Thu Oct 23 15:28:08 2008 +0200 (2008-10-23)
changeset 2867678688a5fafc2
parent 28675 fb68c0767004
child 28677 4693938e9c2a
multithreading support only for polyml-5.2.1 or later;
NEWS
src/Pure/ML-Systems/polyml.ML
     1.1 --- a/NEWS	Thu Oct 23 15:28:05 2008 +0200
     1.2 +++ b/NEWS	Thu Oct 23 15:28:08 2008 +0200
     1.3 @@ -336,8 +336,8 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 -* Multithreading for Poly/ML 5.1 is no longer supported, only for
     1.8 -Poly/ML 5.2 or later.
     1.9 +* Multithreading for Poly/ML 5.1/5.2 is no longer supported, only for
    1.10 +Poly/ML 5.2.1 or later.
    1.11  
    1.12  * The Isabelle "emacs" tool provides a specific interface to invoke
    1.13  Proof General / Emacs, with more explicit failure if that is not
     2.1 --- a/src/Pure/ML-Systems/polyml.ML	Thu Oct 23 15:28:05 2008 +0200
     2.2 +++ b/src/Pure/ML-Systems/polyml.ML	Thu Oct 23 15:28:08 2008 +0200
     2.3 @@ -6,7 +6,9 @@
     2.4  
     2.5  open Thread;
     2.6  use "ML-Systems/polyml_common.ML";
     2.7 -use "ML-Systems/multithreading_polyml.ML";
     2.8 +
     2.9 +if ml_system = "polyml-5.2" then ()
    2.10 +else use "ML-Systems/multithreading_polyml.ML";
    2.11  
    2.12  val pointer_eq = PolyML.pointerEq;
    2.13