Skip to content
  • Erwan Jahier's avatar
    Fix a Makefile subtle bug. · 31b88b58
    Erwan Jahier authored
    Indeed, in source/Lutin/Makefile.lut4ocaml, I was including
    rdbg-plugin when building the lut4ocaml.cma/cmxa lib. The consequence
    was that the OcamlRM module was included twice, with its local
    Hashtbl (used for registering/loading Dynlink stuff) duplicated!
    
    Dynlink is to be used with great care !!!
    
    Also reflect the changes in the rdbg-plugin
    - in the OcamlRM module (s/add_/reg_/g)
    - in the Event module (more field of src_info type)
    cf rdbg git version 142783a77cad1a0f7ef91972b8376f0b0e44b878
    
    also mv lut_evt stuff from LutinRun to rdbg (in LutinRdbg module).
    31b88b58