Skip to content
  • Erwan Jahier's avatar
    lurette 0.131 Thu, 10 Apr 2003 10:03:51 +0200 by jahier · c6d9a1c3
    Erwan Jahier authored
    Parent-Version:      0.130
    Version-Log:
    
    Remove the need of the ocaml compilers to be able to use lurette.
    The idea is to link the final executable withh the C compiler instead
    of using ocamlopt.
    
    source/lurette.ml:
    source/gen_stubs.ml:
      The stubs files that are generated are ow completely different.
      The process is much more simple BTW. Now, idl files are no more
      generated dynamically. The only files that are generated are C files
      that interfaces the sut and the oracle with lurette.
    
    /source/lurettetop.ml:
       Add the USER_TESTING_DIR env variable.
    
    Project-Description: Lurette
    c6d9a1c3