jeltz
/
heptagon
1
0
Fork 0
Code Issues Pull Requests Releases Activity

New debugger script with a partial generator.

Browse Source
master
Léonard Gérard 13 years ago
parent ee3bc4bf6f
commit 8ebb75f8bf
2 changed files with 82 additions and 39 deletions
Show Stats Download Patch File Download Diff File

7
compiler/debugger_script_gen.sh
Unescape Escape View File

@ -0,0 +1,7 @@
#!/bin/bash
OCAML_LIB=`ocamlc -where`
echo "load_printer \"${OCAML_LIB}/ocamlgraph/graph.cmo\"
load_printer \"${OCAML_LIB}/menhirLib/menhirLib.cmo\"
load_printer \"${OCAML_LIB}/str.cma\"" > debugger_script
ocamlbuild -clean
ocamlbuild heptc.d.byte | sed -n 's/.*\-o \([^ ]\+.cm[io]\).*/load_printer "_build\/\1"/p' | sed 's/\.cmi/.cmo/' >> debugger_script

114
tools/debugger_script
Unescape Escape View File

@ -1,76 +1,112 @@
load_printer "/sw/lib/ocaml/menhirLib/menhirLib.cmo"
load_printer "/sw/lib/ocaml/ocamlgraph/graph.cma"
load_printer "/sw/lib/ocaml/menhirLib/menhirLib.cma"
load_printer "/sw/lib/ocaml/str.cma"
load_printer "_build/menhirLib.cmo"
load_printer "_build/utilities/misc.d.cmo"
load_printer "_build/global/names.d.cmo"
load_printer "_build/utilities/global/compiler_options.d.cmo"
load_printer "_build/global/idents.d.cmo"
load_printer "_build/utilities/global/errors.d.cmo"
load_printer "_build/global/location.d.cmo"
load_printer "_build/global/idents.d.cmo"
load_printer "_build/global/types.d.cmo"
load_printer "_build/utilities/global/compiler_utils.d.cmo"
load_printer "_build/global/clocks.d.cmo"
load_printer "_build/global/linearity.d.cmo"
load_printer "_build/global/signature.d.cmo"
load_printer "_build/utilities/global/errors.d.cmo"
load_printer "_build/utilities/global/compiler_utils.d.cmo"
load_printer "_build/global/modules.d.cmo"
load_printer "_build/utilities/pp_tools.d.cmo"
load_printer "_build/global/global_printer.d.cmo"
load_printer "_build/global/global_compare.d.cmo"
load_printer "_build/global/global_mapfold.cmo"
load_printer "_build/global/global_mapfold.cmo"
load_printer "_build/global/initial.d.cmo"
load_printer "_build/global/static.d.cmo"
load_printer "_build/utilities/minils/interference_graph.d.cmo"
load_printer "_build/utilities/sgraph.d.cmo"
load_printer "_build/utilities/sgraph.d.cmo"
load_printer "_build/minils/minils.d.cmo"
load_printer "_build/utilities/global/dep.d.cmo"
load_printer "_build/minils/mls_mapfold.cmo"
load_printer "_build/minils/mls_printer.d.cmo"
load_printer "_build/heptagon/heptagon.d.cmo"
load_printer "_build/utilities/graph.d.cmo"
load_printer "_build/minils/mls_utils.d.cmo"
load_printer "_build/heptagon/hept_mapfold.cmo"
load_printer "_build/heptagon/hept_mapfold.cmo"
load_printer "_build/heptagon/analysis/stateful.d.cmo"
load_printer "_build/heptagon/hept_utils.d.cmo"
load_printer "_build/heptagon/analysis/causal.d.cmo"
load_printer "_build/heptagon/analysis/causality.d.cmo"
load_printer "_build/heptagon/analysis/initialization.d.cmo"
load_printer "_build/global/global_mapfold.d.cmo"
load_printer "_build/heptagon/hept_mapfold.d.cmo"
load_printer "_build/heptagon/analysis/statefull.d.cmo"
load_printer "_build/heptagon/analysis/typing.d.cmo"
load_printer "_build/heptagon/analysis/causal.d.cmo"
load_printer "_build/heptagon/transformations/reset.d.cmo"
load_printer "_build/heptagon/transformations/reset.d.cmo"
load_printer "_build/heptagon/hept_printer.d.cmo"
load_printer "_build/heptagon/transformations/automata.d.cmo"
load_printer "_build/heptagon/transformations/automata.d.cmo"
load_printer "_build/heptagon/transformations/block.d.cmo"
load_printer "_build/heptagon/transformations/boolean.d.cmo"
load_printer "_build/heptagon/analysis/causality.d.cmo"
load_printer "_build/heptagon/analysis/causality.d.cmo"
load_printer "_build/heptagon/transformations/completion.d.cmo"
load_printer "_build/heptagon/transformations/completion.d.cmo"
load_printer "_build/heptagon/transformations/reset.d.cmo"
load_printer "_build/heptagon/transformations/every.d.cmo"
load_printer "_build/heptagon/analysis/hept_clocking.d.cmo"
load_printer "_build/heptagon/analysis/hept_clocking.d.cmo"
load_printer "_build/heptagon/analysis/initialization.d.cmo"
load_printer "_build/heptagon/transformations/inline.d.cmo"
load_printer "_build/heptagon/transformations/itfusion.d.cmo"
load_printer "_build/heptagon/transformations/itfusion.d.cmo"
load_printer "_build/heptagon/transformations/last.d.cmo"
load_printer "_build/heptagon/transformations/last.d.cmo"
load_printer "_build/heptagon/analysis/linear_typing.d.cmo"
load_printer "_build/heptagon/analysis/linear_typing.d.cmo"
load_printer "_build/heptagon/transformations/normalize.d.cmo"
load_printer "_build/heptagon/transformations/normalize.d.cmo"
load_printer "_build/heptagon/transformations/present.d.cmo"
load_printer "_build/heptagon/transformations/switch.d.cmo"
load_printer "_build/heptagon/main/hept_compiler.d.cmo"
load_printer "_build/heptagon/transformations/switch.d.cmo"
load_printer "_build/heptagon/analysis/typing.d.cmo"
load_printer "_build/heptagon/analysis/typing.d.cmo"
load_printer "_build/heptagon/parsing/hept_parsetree.d.cmo"
load_printer "_build/heptagon/parsing/hept_parser.d.cmo"
load_printer "_build/heptagon/parsing/hept_lexer.d.cmo"
load_printer "_build/heptagon/parsing/hept_scoping.d.cmo"
load_printer "_build/heptagon/parsing/hept_parsetree_mapfold.d.cmo"
load_printer "_build/heptagon/parsing/hept_scoping.d.cmo"
load_printer "_build/heptagon/parsing/hept_parsetree_mapfold.cmo"
load_printer "_build/heptagon/parsing/hept_lexer.d.cmo"
load_printer "_build/heptagon/parsing/hept_static_scoping.d.cmo"
load_printer "_build/heptagon/main/hept_parser_scoper.d.cmo"
load_printer "_build/minils/minils.d.cmo"
load_printer "_build/minils/mls_mapfold.d.cmo"
load_printer "_build/minils/mls_printer.d.cmo"
load_printer "_build/utilities/global/dep.d.cmo"
load_printer "_build/minils/mls_utils.d.cmo"
load_printer "_build/main/hept2mls.d.cmo"
load_printer "_build/minils/transformations/itfusion.d.cmo"
load_printer "_build/obc/c/c.d.cmo"
load_printer "_build/obc/obc.d.cmo"
load_printer "_build/obc/obc_mapfold.d.cmo"
load_printer "_build/obc/obc_mapfold.cmo"
load_printer "_build/obc/obc_utils.d.cmo"
load_printer "_build/obc/control.d.cmo"
load_printer "_build/main/mls2obc.d.cmo"
load_printer "_build/minils/transformations/callgraph.d.cmo"
load_printer "_build/obc/obc_utils.d.cmo"
load_printer "_build/obc/c/cgen.d.cmo"
load_printer "_build/obc/java/java.d.cmo"
load_printer "_build/obc/java/java_printer.d.cmo"
load_printer "_build/obc/java/java_printer.d.cmo"
load_printer "_build/obc/java/obc2java.d.cmo"
load_printer "_build/obc/java/java_main.d.cmo"
load_printer "_build/obc/java/obc2java.d.cmo"
load_printer "_build/obc/obc_compare.d.cmo"
load_printer "_build/utilities/containers.d.cmo"
load_printer "_build/utilities/minils/dcoloring.d.cmo"
load_printer "_build/utilities/minils/interference2dot.d.cmo"
load_printer "_build/minils/analysis/interference.d.cmo"
load_printer "_build/minils/analysis/interference.d.cmo"
load_printer "_build/obc/control.d.cmo"
load_printer "_build/obc/control.d.cmo"
load_printer "_build/obc/transformations/deadcode.d.cmo"
load_printer "_build/obc/transformations/memalloc_apply.d.cmo"
load_printer "_build/obc/obc_printer.d.cmo"
load_printer "_build/obc/transformations/scalarize.d.cmo"
load_printer "_build/minils/main/mls2seq.d.cmo"
load_printer "_build/obc/transformations/simplify.d.cmo"
load_printer "_build/minils/transformations/callgraph.d.cmo"
load_printer "_build/obc/c/cmain.d.cmo"
load_printer "_build/obc/java/java_main.d.cmo"
load_printer "_build/obc/java/java_main.d.cmo"
load_printer "_build/main/mls2obc.d.cmo"
load_printer "_build/obc/main/obc_compiler.d.cmo"
load_printer "_build/minils/mls_compare.d.cmo"
load_printer "_build/minils/analysis/clocking.d.cmo"
load_printer "_build/minils/transformations/normalize.d.cmo"
load_printer "_build/minils/analysis/clocking.d.cmo"
load_printer "_build/minils/transformations/inline_extvalues.d.cmo"
load_printer "_build/minils/analysis/level_clock.d.cmo"
load_printer "_build/minils/transformations/normalize_mem.d.cmo"
load_printer "_build/minils/transformations/schedule.d.cmo"
load_printer "_build/global/global_compare.d.cmo"
load_printer "_build/minils/mls_compare.d.cmo"
load_printer "_build/minils/transformations/checkpass.d.cmo"
load_printer "_build/minils/transformations/introvars.d.cmo"
load_printer "_build/minils/transformations/singletonvars.d.cmo"
load_printer "_build/minils/transformations/schedule_interf.d.cmo"
load_printer "_build/minils/transformations/tomato.d.cmo"
load_printer "_build/minils/main/mls_compiler.d.cmo"
load_printer "_build/main/heptc.d.cmo

Write Preview
Loading…
Cancel
Save