Skip to content
Snippets Groups Projects
Commit 38cf2861 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[dev] loads explicitly all needed modules in frama-c.debug script

parent f64191c2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 0 deletions
bin/frama-c.debug
+ 6
− 0
View file @ 38cf2861
...@@ -29,6 +29,12 @@ if test ! -e .ocamldebug; then ...@@ -29,6 +29,12 @@ if test ! -e .ocamldebug; then
cat <<EOF > .ocamldebug; cat <<EOF > .ocamldebug;
load_printer "str.cma" load_printer "str.cma"
load_printer "zarith.cma" load_printer "zarith.cma"
load_printer "dynlink.cma"
load_printer "extlib.cmo"
load_printer "filepath.cmo"
load_printer "integer.cmo"
load_printer "transitioning.cmo"
load_printer "pretty_utils.cmo"
load_printer "cil_types_debug.cmo" load_printer "cil_types_debug.cmo"
load_printer "cabs_debug.cmo" load_printer "cabs_debug.cmo"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment