# HG changeset patch
# User blanchet
# Date 1310588179 -7200
# Node ID 93374f7448b6f9e91767c2cbb135c7dfcbd47a7e
# Parent  402e1a0d93d9f23168fc5d5e304489402a7b3921
honor the TPTP environment variable as the root of include relative paths -- that's a weird convention but without it Nitrox will fail at CASC

diff -r 402e1a0d93d9 -r 93374f7448b6 src/HOL/Tools/Nitpick/nitrox.ML
--- a/src/HOL/Tools/Nitpick/nitrox.ML	Wed Jul 13 22:16:19 2011 +0200
+++ b/src/HOL/Tools/Nitpick/nitrox.ML	Wed Jul 13 22:16:19 2011 +0200
@@ -35,10 +35,13 @@
     val (file_name, rest) =
       (parse_keyword "include" |-- $$ "(" |-- parse_file_path --| $$ ")"
        --| $$ ".") x
+    val path = file_name |> Path.explode
+    val path =
+      path |> not (Path.is_absolute path) ? Path.append (Path.explode "$TPTP")
   in
-    ((), (file_name |> Path.explode |> File.read
-                    |> strip_spaces true (K true)
-                    |> raw_explode) @ rest)
+    ((), (path |> File.read
+               |> strip_spaces true (K true)
+               |> raw_explode) @ rest)
   end
 
 val parse_fof_or_cnf =