-
Erwan Jahier authored
Parent-Version: 0.103 Version-Log: source/lurettetop.ml: source/util.ml: use explicit file name so that, e.g., show_luc, is always able to find the file it is supposed to show. Allow users to put extension or not for the sut or oracle files, being at the prompt or at the invocation. cp lurette.ml and lurette.mli in the temp dir and compile it there to avoid that everyone is writing on the source dir which prevent the next user to use lurette... Makefile.common.in: INCDIRS Ocamlmakeke file var is not supposed to contains path to .h C files to include but .mli ocml ones !!! Project-Description: Lurette
15c3bf1d