workaround for Cygwin, to make it work in the important special case without extra files;
authorwenzelm
Tue Aug 16 23:17:26 2011 +0200 (2011-08-16)
changeset 442261ea760da0f2d
parent 44225 a8f921e6484f
child 44230 47e6986336f5
workaround for Cygwin, to make it work in the important special case without extra files;
src/Pure/PIDE/document.ML
     1.1 --- a/src/Pure/PIDE/document.ML	Tue Aug 16 22:48:31 2011 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Tue Aug 16 23:17:26 2011 +0200
     1.3 @@ -340,8 +340,9 @@
     1.4                    let
     1.5                      val (thy_name, imports, uses) = Exn.release (get_header node);
     1.6                      (* FIXME provide files via Scala layer *)
     1.7 -                    val dir = Path.dir (Path.explode name);
     1.8 -                    val files = map (apfst Path.explode) uses;
     1.9 +                    val (dir, files) =
    1.10 +                      if ML_System.platform_is_cygwin then (Path.current, [])
    1.11 +                      else (Path.dir (Path.explode name), map (apfst Path.explode) uses);
    1.12  
    1.13                      val parents =
    1.14                        imports |> map (fn import =>