# HG changeset patch
# User bulwahn
# Date 1299836265 -3600
# Node ID 4ef7e6e317fabfd6d0ab66148ce49a6a4e8cea6a
# Parent  34360908cb78fbc103dfb040526bd180430cd3eb
only testing theory LSC_Examples when GHC is installed on the machine

diff -r 34360908cb78 -r 4ef7e6e317fa src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Fri Mar 11 10:37:43 2011 +0100
+++ b/src/HOL/ex/ROOT.ML	Fri Mar 11 10:37:45 2011 +0100
@@ -73,10 +73,12 @@
   "Quicksort",
   "Birthday_Paradoxon",
   "List_to_Set_Comprehension_Examples",
-  "Set_Algebras",
-  "LSC_Examples"
+  "Set_Algebras"
 ];
 
+if getenv "EXEC_GHC" = "" then ()
+else use_thy "LSC_Examples";
+
 use_thy "SVC_Oracle";
 if getenv "SVC_HOME" = "" then ()
 else use_thy "svc_test";