From 38cf28616ee3f8a428d0a286a5eef95c4396705e Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 16 Mar 2020 09:46:01 +0100
Subject: [PATCH] [dev] loads explicitly all needed modules in frama-c.debug
script
---
bin/frama-c.debug | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/bin/frama-c.debug b/bin/frama-c.debug
index c56ea01523c..89d9b58a603 100755
--- a/bin/frama-c.debug
+++ b/bin/frama-c.debug
@@ -29,6 +29,12 @@ if test ! -e .ocamldebug; then
cat <<EOF > .ocamldebug;
load_printer "str.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 "cabs_debug.cmo"
--
GitLab