Skip to content
  • Erwan Jahier's avatar
    Plug the lus2lic lib to ldbg and lurettetop. The "v6" rp port now uses lus2lic -exec · 472c46b7
    Erwan Jahier authored
    (and do not go via ec anymore).
    
    Split the Failure module so that it can be shared with the lus2lic
    ldbg plugin without requiring the bdd lib.
    
    + mv the lus2licRun.ml/mli file to the Lurette git repo.
    
    + add a copy (in read-only mode) of the source files of the lus2lic compiler
    
    + Share the comion content of Makefile.lurettetop and Makefile.ldbg via a new
    Makefile.comon that is included in both.
    
    + Merge code of modules that are now shared with the lus2lic repo:
     -  Verbose, Data, Rif_base
    472c46b7