diff options
| author | krasimir <krasimir@chalmers.se> | 2010-04-27 20:01:54 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-04-27 20:01:54 +0000 |
| commit | c87bbcb8e43619695ce09db6e980f795bf461d4c (patch) | |
| tree | a5d4371ad0ccbe4693ffd3ffaaa02cf57e88f9a3 /src/compiler/GF | |
| parent | 9c73777a4c31b5bb33007a98f6abf37aa62030c1 (diff) | |
fix the -view option for vt,vp,vd,aw to work on Windows
Diffstat (limited to 'src/compiler/GF')
| -rw-r--r-- | src/compiler/GF/Command/Commands.hs | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/compiler/GF/Command/Commands.hs b/src/compiler/GF/Command/Commands.hs index 00fc8305b..92590a403 100644 --- a/src/compiler/GF/Command/Commands.hs +++ b/src/compiler/GF/Command/Commands.hs @@ -153,11 +153,11 @@ allCommands env@(pgf, mos) = Map.fromList [ let grph = if null es then [] else graphvizAlignment pgf (head es) if isFlag "view" opts || isFlag "format" opts then do let file s = "_grph." ++ s - let view = optViewGraph opts ++ " " + let view = optViewGraph opts let format = optViewFormat opts writeFile (file "dot") grph - system $ "dot -T" ++ format ++ " " ++ file "dot" ++ " > " ++ file format ++ - " ; " ++ view ++ file format + system $ "dot -T" ++ format ++ " " ++ file "dot" ++ " > " ++ file format + system $ view ++ " " ++ file format return void else return $ fromString grph, examples = [ @@ -735,11 +735,11 @@ allCommands env@(pgf, mos) = Map.fromList [ let grphs = unlines $ map (graphvizDependencyTree outp debug mlab Nothing pgf lang) es if isFlag "view" opts || isFlag "format" opts then do let file s = "_grphd." ++ s - let view = optViewGraph opts ++ " " + let view = optViewGraph opts let format = optViewFormat opts writeFile (file "dot") grphs - system $ "dot -T" ++ format ++ " " ++ file "dot" ++ " > " ++ file format ++ - " ; " ++ view ++ file format + system $ "dot -T" ++ format ++ " " ++ file "dot" ++ " > " ++ file format + system $ view ++ " " ++ file format return void else return $ fromString grphs, examples = [ @@ -776,11 +776,11 @@ allCommands env@(pgf, mos) = Map.fromList [ let grph = if null es then [] else graphvizParseTree pgf lang (head es) if isFlag "view" opts || isFlag "format" opts then do let file s = "_grph." ++ s - let view = optViewGraph opts ++ " " + let view = optViewGraph opts let format = optViewFormat opts writeFile (file "dot") grph - system $ "dot -T" ++ format ++ " " ++ file "dot" ++ " > " ++ file format ++ - " ; " ++ view ++ file format + system $ "dot -T" ++ format ++ " " ++ file "dot" ++ " > " ++ file format + system $ view ++ " " ++ file format return void else return $ fromString grph, examples = [ @@ -816,11 +816,11 @@ allCommands env@(pgf, mos) = Map.fromList [ let grph = unlines (map (graphvizAbstractTree pgf (funs,cats)) es) -- True=digraph if isFlag "view" opts || isFlag "format" opts then do let file s = "_grph." ++ s - let view = optViewGraph opts ++ " " + let view = optViewGraph opts let format = optViewFormat opts writeFile (file "dot") grph - system $ "dot -T" ++ format ++ " " ++ file "dot" ++ " > " ++ file format ++ - " ; " ++ view ++ file format + system $ "dot -T" ++ format ++ " " ++ file "dot" ++ " > " ++ file format + system $ view ++ " " ++ file format return void else return $ fromString grph, examples = [ |