Changeset 12786

Timestamp:

05.11.2009 17:48:32 (2 weeks ago)

Author:

maeder

Message:

check for MAUDE_LIB variable

Files:

• trunk/Maude/Maude2DG.hs (modified) (2 diffs)

trunk/Maude/Maude2DG.hs

@@ -48 +48 @@
 import Common.LibName
 import Common.AS_Annotation
+import Common.Utils
 
 import Driver.Options
@@ -587 +588 @@
 directMaudeParsing :: FilePath -> IO DGraph
 directMaudeParsing fp = do
+  ml <- getEnvDef "MAUDE_LIB" ""
+  if null ml then error "environment variable MAUDE_LIB is not set" else do
     ns <- parse fp
     let ns' = either (\ _ -> []) id ns