-
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