-
Erwan Jahier authored
Parent-Version: 1.17 Version-Log: source/util.ml: Do not quit lurette when launch (Claude) gnuplot when it is not installed. More generally, do not abort when a tool launching fails, except for compilers (lus2ec an friends). source/lurettetop.ml: source/gen_stubs.ml: source/lurette.ml: Make sure everything is recompiled properly when the oracle changes. Also add checks wrt its input variable name Project-Description: Lurette
c3756573