Update dependency visualization script. Specialize it for thermostat.

Ignore-this: b8f2994ed2d029e0706311c35d75c88e darcs-hash:20090612102420-bab43-c79c14eb40c4e0fae0ccdb23766d6337a1a8673b.gz
Eelis · Jun 12, 2009 · 0eb84c8 · 0eb84c8
1 parent 2cc7245
commit 0eb84c8
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/coqdeps_as_dot.hs b/coqdeps_as_dot.hs
@@ -8,7 +8,7 @@ none :: (a -> Bool) -> [a] -> Bool
 none p = all (not . p)
 
 hide :: [String]
-hide = words "util c_util"
+hide = words "util c_util list_util"
 
 main :: IO ()
 main = interact $ \s ->

diff --git a/examples/thermostat/visualization/show_deps.sh b/examples/thermostat/visualization/show_deps.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+coqdep -R . hybrid -I . -I examples/thermostat *.v examples/thermostat/*.v 2> /dev/null | runhaskell coqdeps_as_dot.hs | dot -Tpng > deps.png
diff --git a/make_deps_graph b/make_deps_graph
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		#!/bin/sh
		coqdep -R . hybrid -I . -I examples/thermostat .v examples/thermostat/.v 2> /dev/null \| runhaskell coqdeps_as_dot.hs \| dot -Tpng > deps.png