From 056f5fd08bf6c900a1bb28950510860825640497 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 28 May 2021 10:30:51 +0200
Subject: [PATCH] Update: force the use of -replay and -custd when sasa is used
from rdbgui4sasa
---
tools/rdbgui4sasa/rdbgui.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/tools/rdbgui4sasa/rdbgui.ml b/tools/rdbgui4sasa/rdbgui.ml
index 6168a570..54b66692 100644
--- a/tools/rdbgui4sasa/rdbgui.ml
+++ b/tools/rdbgui4sasa/rdbgui.ml
@@ -5,8 +5,9 @@ let rdbg_cmd =
let cmd = List.tl (List.map quote (Array.to_list Sys.argv)) in
let str = String.concat " " cmd in
let salut_mode = not (Str.string_match (Str.regexp ".*sasa .*\\.dot") str 0) in
+ let str = Str.replace_first (Str.regexp "sasa ") "sasa -custd -replay " str in
let sasa_opt = if salut_mode then "--salut" else "--sasa" in
- String.concat " " ("rdbg"::sasa_opt::cmd)
+ String.concat " " ("rdbg"::sasa_opt::str::[])
let gui =
Printf.sprintf " --ocaml-cmd \"#use \\\"gtkgui.ml\\\";;\""
--
GitLab