Add module dependency definition files

peterschrammel · peterschrammel · commit 41e66427b5ab · 2018-05-29T13:56:58.000+01:00
diff --git a/jbmc/src/janalyzer/module_dependencies.txt b/jbmc/src/janalyzer/module_dependencies.txt
@@ -0,0 +1,9 @@
+analyses
+ansi-c # should go away
+cbmc # version.h
+java_bytecode
+jdiff
+goto-analyzer
+goto-programs
+langapi # should go away
+util
diff --git a/jbmc/src/java_bytecode/library/module_dependencies.txt b/jbmc/src/java_bytecode/library/module_dependencies.txt
@@ -0,0 +1 @@
+java_bytecode/library
diff --git a/jbmc/src/java_bytecode/module_dependencies.txt b/jbmc/src/java_bytecode/module_dependencies.txt
@@ -0,0 +1,10 @@
+analyses
+ansi-c # should go away
+goto-programs
+java_bytecode
+json
+langapi # should go away
+library
+linking
+miniz
+util
diff --git a/jbmc/src/jbmc/module_dependencies.txt b/jbmc/src/jbmc/module_dependencies.txt
@@ -0,0 +1,12 @@
+analyses
+ansi-c # should go away
+cbmc # version.h and bmc.h
+goto-instrument
+goto-programs
+goto-symex
+java_bytecode
+jbmc
+langapi # should go away
+linking
+pointer-analysis
+util
diff --git a/jbmc/src/jdiff/module_dependencies.txt b/jbmc/src/jdiff/module_dependencies.txt
@@ -0,0 +1,11 @@
+analyses
+cbmc # version.h
+java_bytecode
+jdiff
+goto-diff
+goto-instrument
+goto-programs
+goto-symex # dubious - rewrite_union
+langapi # should go away
+pointer-analysis
+util
diff --git a/jbmc/src/miniz/module_dependencies.txt b/jbmc/src/miniz/module_dependencies.txt
@@ -0,0 +1,2 @@
+miniz
+sys # system
diff --git a/src/analyses/module_dependencies.txt b/src/analyses/module_dependencies.txt
@@ -0,0 +1,6 @@
+analyses
+ansi-c # should go away
+goto-programs
+langapi # should go away
+pointer-analysis
+util
diff --git a/src/ansi-c/library/module_dependencies.txt b/src/ansi-c/library/module_dependencies.txt
@@ -0,0 +1,2 @@
+ansi-c
+ansi-c/library
diff --git a/src/ansi-c/literals/module_dependencies.txt b/src/ansi-c/literals/module_dependencies.txt
@@ -0,0 +1,3 @@
+ansi-c
+ansi-c/literals
+util
diff --git a/src/ansi-c/module_dependencies.txt b/src/ansi-c/module_dependencies.txt
@@ -0,0 +1,6 @@
+ansi-c
+goto-programs
+langapi # should go away
+linking
+literals
+util
diff --git a/src/assembler/module_dependencies.txt b/src/assembler/module_dependencies.txt
@@ -0,0 +1,2 @@
+assembler
+util
diff --git a/src/big-int/module_dependencies.txt b/src/big-int/module_dependencies.txt
@@ -0,0 +1 @@
+big-int
diff --git a/src/cbmc/module_dependencies.txt b/src/cbmc/module_dependencies.txt
@@ -0,0 +1,13 @@
+analyses
+ansi-c
+cpp
+goto-instrument
+goto-programs
+goto-symex
+jsil
+langapi # should go away
+linking
+pointer-analysis
+solvers
+xmllang
+util
diff --git a/src/clobber/module_dependencies.txt b/src/clobber/module_dependencies.txt
@@ -0,0 +1,10 @@
+analyses
+ansi-c
+cbmc
+clobber
+cpp
+goto-programs
+goto-instrument
+java_bytecode # will go away
+langapi # should go away
+util
diff --git a/src/cpp/module_dependencies.txt b/src/cpp/module_dependencies.txt
@@ -0,0 +1,5 @@
+ansi-c
+cpp
+langapi # should go away
+linking
+util
diff --git a/src/goto-analyzer/module_dependencies.txt b/src/goto-analyzer/module_dependencies.txt
@@ -0,0 +1,11 @@
+ansi-c
+analyses
+cbmc # version.h
+cpp
+goto-analyzer
+goto-programs
+java_bytecode # will go away
+langapi # should go away
+jsil
+json
+util
diff --git a/src/goto-cc/module_dependencies.txt b/src/goto-cc/module_dependencies.txt
@@ -0,0 +1,10 @@
+ansi-c
+cbmc # version.h
+cpp
+goto-cc
+goto-programs
+jsil
+json
+langapi # should go away
+linking
+util
diff --git a/src/goto-diff/module_dependencies.txt b/src/goto-diff/module_dependencies.txt
@@ -0,0 +1,12 @@
+analyses
+ansi-c
+cbmc # version.h
+cpp
+goto-diff
+goto-instrument
+goto-programs
+goto-symex # dubious - rewrite_union and adjust_float should be moved to goto-programs
+java_bytecode # will go away
+langapi # should go away
+pointer-analysis
+util
diff --git a/src/goto-instrument/accelerate/module_dependencies.txt b/src/goto-instrument/accelerate/module_dependencies.txt
@@ -0,0 +1,7 @@
+analyses
+ansi-c # should go away
+goto-instrument/accelerate
+goto-programs
+goto-symex
+solvers
+util
diff --git a/src/goto-instrument/module_dependencies.txt b/src/goto-instrument/module_dependencies.txt
@@ -0,0 +1,12 @@
+accelerate
+analyses
+ansi-c
+cbmc # version.h
+cpp
+goto-instrument
+goto-programs
+langapi # should go away
+linking
+pointer-analysis
+util
+wmm
diff --git a/src/goto-instrument/wmm/module_dependencies.txt b/src/goto-instrument/wmm/module_dependencies.txt
@@ -0,0 +1,5 @@
+goto-instrument
+goto-instrument/wmm
+goto-programs
+linking
+util
diff --git a/src/goto-programs/module_dependencies.txt b/src/goto-programs/module_dependencies.txt
@@ -0,0 +1,11 @@
+analyses # dubious - concerns call_graph and does_remove_const
+ansi-c # should go away
+assembler # should go away
+goto-programs
+goto-symex # dubious - spurious inclusion of symex_target_equation in graphml_witness
+json
+langapi # should go away
+linking
+mach-o # system
+util
+xmllang
diff --git a/src/goto-symex/module_dependencies.txt b/src/goto-symex/module_dependencies.txt
@@ -0,0 +1,8 @@
+analyses
+goto-programs
+goto-symex
+langapi # should go away
+linking
+pointer-analysis
+solvers
+util
diff --git a/src/jsil/module_dependencies.txt b/src/jsil/module_dependencies.txt
@@ -0,0 +1,6 @@
+ansi-c # should go away
+goto-programs
+jsil
+langapi # should go away
+linking
+util
diff --git a/src/json/module_dependencies.txt b/src/json/module_dependencies.txt
@@ -0,0 +1,2 @@
+json
+util
diff --git a/src/langapi/module_dependencies.txt b/src/langapi/module_dependencies.txt
@@ -0,0 +1,3 @@
+goto-programs
+langapi
+util
diff --git a/src/linking/module_dependencies.txt b/src/linking/module_dependencies.txt
@@ -0,0 +1,5 @@
+ansi-c # should go away
+goto-programs
+langapi # should go away
+linking
+util
diff --git a/src/memory-models/module_dependencies.txt b/src/memory-models/module_dependencies.txt
@@ -0,0 +1,4 @@
+cbmc # version.h
+memory-models
+langapi # should go away
+util
diff --git a/src/miniz/module_dependencies.txt b/src/miniz/module_dependencies.txt
@@ -0,0 +1,2 @@
+miniz
+sys # system
diff --git a/src/nonstd/module_dependencies.txt b/src/nonstd/module_dependencies.txt
@@ -0,0 +1 @@
+nonstd
diff --git a/src/pointer-analysis/module_dependencies.txt b/src/pointer-analysis/module_dependencies.txt
@@ -0,0 +1,6 @@
+analyses
+ansi-c # should go away
+goto-programs
+langapi # should go away
+pointer-analysis
+util
diff --git a/src/solvers/cvc/module_dependencies.txt b/src/solvers/cvc/module_dependencies.txt
@@ -0,0 +1,4 @@
+solvers/cvc
+solvers/flattening # pointer_logic.h
+solvers/prop
+util
diff --git a/src/solvers/flattening/module_dependencies.txt b/src/solvers/flattening/module_dependencies.txt
@@ -0,0 +1,6 @@
+solvers/flattening
+solvers/floatbv
+solvers/lowering
+solvers/prop
+solvers/sat
+util
diff --git a/src/solvers/floatbv/module_dependencies.txt b/src/solvers/floatbv/module_dependencies.txt
@@ -0,0 +1,3 @@
+solvers/flattening # bv_utils.h
+solvers/floatbv
+util
diff --git a/src/solvers/lowering/module_dependencies.txt b/src/solvers/lowering/module_dependencies.txt
@@ -0,0 +1,2 @@
+solvers/lowering
+util
diff --git a/src/solvers/miniBDD/module_dependencies.txt b/src/solvers/miniBDD/module_dependencies.txt
@@ -0,0 +1 @@
+solvers/miniBDD
diff --git a/src/solvers/module_dependencies.txt b/src/solvers/module_dependencies.txt
@@ -0,0 +1 @@
+solvers
diff --git a/src/solvers/prop/module_dependencies.txt b/src/solvers/prop/module_dependencies.txt
@@ -0,0 +1,3 @@
+solvers/prop
+solvers/miniBDD
+util
diff --git a/src/solvers/qbf/module_dependencies.txt b/src/solvers/qbf/module_dependencies.txt
@@ -0,0 +1,5 @@
+quannon # external 
+solvers/prop
+solvers/qbf
+solvers/sat
+util
diff --git a/src/solvers/refinement/module_dependencies.txt b/src/solvers/refinement/module_dependencies.txt
@@ -0,0 +1,6 @@
+langapi # should go away
+solvers/flattening
+solvers/floatbv
+solvers/refinement
+solvers/sat
+util
diff --git a/src/solvers/sat/module_dependencies.txt b/src/solvers/sat/module_dependencies.txt
@@ -0,0 +1,7 @@
+core # external - glucose
+simp # external - glucose
+minisat/core # external
+minisat/simp # external
+solvers/prop
+solvers/sat
+util
diff --git a/src/solvers/smt2/module_dependencies.txt b/src/solvers/smt2/module_dependencies.txt
@@ -0,0 +1,6 @@
+solvers/flattening # boolbv_width.h and pointer_logic.h
+solvers/floatbv
+solvers/prop
+solvers/sat
+solvers/smt2
+util
diff --git a/src/util/module_dependencies.txt b/src/util/module_dependencies.txt
@@ -0,0 +1,7 @@
+big-int
+langapi # should go away
+mach # system
+malloc # system
+nonstd
+sys # system
+util
diff --git a/src/xmllang/module_dependencies.txt b/src/xmllang/module_dependencies.txt
@@ -0,0 +1,2 @@
+xmllang
+util

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+ansi-c`
	`2`	`+ansi-c/literals`
	`3`	`+util`
-Original file line number
+Diff line change
 +ansi-c
 +cpp
 +langapi # should go away
 +linking
 +util
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+solvers/flattening # bv_utils.h`
	`2`	`+solvers/floatbv`
	`3`	`+util`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+solvers/prop`
	`2`	`+solvers/miniBDD`
	`3`	`+util`