Skip to content
  • Erwan Jahier's avatar
    lurette 1.44 Tue, 04 Dec 2007 10:47:42 +0100 by jahier · b6379be0
    Erwan Jahier authored
    Parent-Version:      unstable.5
    Version-Log:
    
    source/util.ml
      add an entete function in order to decorate generated files.
    
    source/solver.ml
      Add more debug info in case of failure.
    
    source/parse_luc.ml
      better error message
    
    source/env_state.ml
      Fix a bug in the handling of the (undocumented) ~default option.
    
    source/lurettetop.ml
      better error message
    
    install/configure.in
      Add stuff for configuring mac os
      use install instead of cp.
    
    install/Makefile.lurette.in
    user-rules
      some improvements(?)
    
    source/Makefile.lucky
    source/Makefile.gen_stubs
    source/Makefile.lurette_lib
    source/Makefile
    polka/Makefile.config
    polka/Makefile
    source/gen_fake_lucky.ml
    source/Makefile.gen_fake_lucky
    install/xlurette.sh.in
    install/xlurette.bat.in
    install/set_env_var.in
    install/lurettetop.sh.in
    install/gen_stubs.sh.in
    source/exp.ml
    source/luc4ocaml.mli
    source/luckyDraw.mli
    source/Makefile.luc4ocaml
    source/Makefile.luckyDraw
    examples/lucky/external_88code/foo.c
    examples/lucky/external_code/call_external_c_code.luc
    examples/lucky/external_code/Makefile
    VERSION
    install/set_env_var.bat.in
    examples/Makefile
    examples/ocaml/crazy-rabbit/rabbit-dir-obstacle.luc
    examples/ocaml/crazy-rabbit/Makefile
    examples/ocaml/crazy-rabbit/rabbit.ml
    examples/rml/Makefile
    examples/lucky/other/Makefile
    examples/luckyDraw/c/luckyDrawC_stubs.c.m4
    examples/luckyDraw/c/essai.c
    examples/luckyDraw/c/Makefile
    examples/luckyDraw/ocaml/Makefile
    examples/xlurette/heater/Makefile
    examples/xlurette/Gyro/Makefile
    utils/lucky_cpp
    utils/luckytolatex
    source/Makefile.release
    source/version.ml
    source/Makefile.luc2c
    examples/xlurette/fault-tolerant-heater/Makefile
    examples/xlurette/tram/Makefile
    examples/xlurette/Sildex/Makefile
    xlurette/makefile
    xlurette/xlurette_glade_main.ml
    lnsw
    source/luc4c_stubs.h
    source/luc4c_stubs.c
    source/luc4c.ml
    examples/lucky/C/Makefile
    source/Makefile.luc4c
    examples/lucky/lustre/Makefile
      Figthing with library stuff.
      Add headers (time-stamps)
      + other minor changes
    
    examples/luckyDraw/c/luckyDrawC_stubs.h
      call the caml_startup() init procedure + various twix.
    
    source/luc2c.ml
      Add a --luciole option
    
    Project-Description: Lurette
    b6379be0