package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger.

Install

Dune Dependency

gricad-gitlab.univ-grenoble-alpes.fr Edit opam file Versions (4)

Authors

E

Erwan Jahier

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

rdbg.1.175.tgz

sha256=09c202b85ca70e00ccf85afb31a165fcb212fc804becc33f1942de6839bfe608

md5=0df4a0287c76d0bc69bda9de4b0f1610

doc/src/rdbg-plugin.rdbg4lurette/extTool.ml.html

Source file `extTool.ml`

1
2
3
4
5
6
7
8
9
10
11
(* Time-stamp: <modified the 22/01/2016 (at 14:45) by Erwan Jahier> *)

open Mypervasives

let (sim2chro_dyn : unit -> out_channel) =
  fun () ->
    let sim2chro = try mygetenv "SIM2CHRO" with _ -> "sim2chrogtk" in
    let oc = Unix.open_process_out (sim2chro ^ " -ecran /dev/null") in
    print_string "sim2chro is launched and waits for data...\n";
    flush stdout;
    oc