Commit b18b39ec authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.130 Fri, 07 Mar 2003 10:37:48 +0100 by jahier

Parent-Version:      0.129
Version-Log:         empty
Project-Description: Lurette
parent 53770edf
;; This file is automatically generated, editing may cause PRCS to do
;; REALLY bad things.
(Created-By-Prcs-Version 1 3 3)
(polka/documentation/Makefile 476 1047029868 e/18_Makefile 1.1)
(polka/C/vector.h 2103 1047029868 d/47_vector.h 1.1)
(source/automata.ml 19223 1046682069 b/47_automata.m 1.7)
(source/formula.mli 2862 1046682069 44_formula.ml 1.22)
(polka/Makefile 1636 1047029868 e/21_Makefile 1.1)
(test/heater_float.lus 177 1034351455 b/44_heater_flo 1.2)
(test/passerelle.luc 995 1046682069 b/17_passerelle 1.10)
(polka/C/essai.c 1001 1047029868 e/11_essai.c 1.1)
(doc/synthese 2556 1007379917 b/2_synthese 1.1)
(source/polyhedron.mli 940 1045489850 d/26_polyhedron 1.1)
(test/temp_float.luc 743 1046682069 b/51_temp_float 1.6)
(test/ControleurPorte.rif.exp 4860 1034951022 b/29_Controleur 1.11)
(polka/C/polka.c 4969 1047029868 e/6_polka.c 1.1)
(lucky_init.sh.in 233 1047029868 e/24_lucky_init 1.1)
(test/ControleurPorte.rif.exp 4676 1047029868 b/29_Controleur 1.12)
(doc/ocamldoc.sty 1380 1008328137 b/12_ocamldoc.s 1.1)
(mlcuddidl/Makefile 7150 1034006019 d/9_Makefile 1.1)
(mlcuddidl/Makefile 7209 1047029868 d/9_Makefile 1.2)
(test/tram_simple.h 1746 1013519411 b/25_tram_simpl 1.1)
(test/time-ossau.res 8309 1046768487 b/49_time.res 1.37)
(test/time-ossau.res 8249 1047029868 b/49_time.res 1.38)
(mlcuddidl/session.ml 603 1034006019 c/37_session.ml 1.1)
(cuddaux/cuddauxGenCof.c 12011 1034006019 c/29_cuddauxGen 1.1)
(mlcuddidl/rdd.idl 14806 1034006019 c/42_rdd.idl 1.1)
(source/constraint.mli 1601 1045489850 c/18_constraint 1.5)
(polka/C/polka.h 1478 1047029868 d/50_polka.h 1.1)
(cuddaux/cuddauxMisc.c 13842 1034006019 c/27_cuddauxMis 1.1)
(mlcuddidl/sedscript 203 1034006019 c/38_sedscript 1.1)
(source/automata.mli 3396 1033738731 b/46_automata.m 1.3)
(test/heater_int.rif.exp 886 1034951022 b/28_heater_int 1.10)
(polka/C/Makefile 3528 1047029868 e/15_Makefile 1.1)
(test/heater_int.rif.exp 812 1047029868 b/28_heater_int 1.11)
(source/ne.ml 9281 1046682069 c/21_ne.ml 1.6)
(source/store.mli 2891 1046074449 b/26_rnumsolver 1.16)
(source/prevar.ml 981 1037192189 d/18_prevar.ml 1.1)
(test/time-ecrins.exp 8274 1046768487 d/21_time-ecrin 1.11)
(test/time-ecrins.exp 8247 1047029868 d/21_time-ecrin 1.12)
(source/value.mli 1101 1033723811 c/24_value.mli 1.1)
(user-rules.skel 1167 1040226023 c/25_user-rules 1.2)
(polka/documentation/texinfo.tex 200195 1047029868 e/16_texinfo.te 1.1)
(user-rules.skel 1361 1047029868 c/25_user-rules 1.3)
(source/Makefile.gen_stubs 212 1036048863 b/42_Makefile.g 1.5)
(test/heater_float.rif.exp 1116 1045834161 b/30_heater_flo 1.12)
(polka/C/Makefile.depend 1081 1047029868 d/46_Makefile.d 1.1)
(test/heater_float.rif.exp 1040 1047029868 b/30_heater_flo 1.13)
(test/temp_int.luc 698 1046682069 b/50_temp_int.e 1.5)
(source/luc_exe.ml 13434 1046768487 b/32_ima_exe.ml 1.28)
(source/prevar.mli 623 1037192189 d/19_prevar.mli 1.1)
(source/graph.ml 2339 1037625990 14_graph.ml 1.8)
(ihm/xlurette/makefile 1601 1040226023 c/16_makefile 1.7)
(polka/C/config.h 77 1047029868 e/13_config.h 1.1)
(polka/caml/polka_parser.mly 1729 1047029868 d/40_polka_pars 1.1)
(ihm/xlurette/makefile 1611 1047029868 c/16_makefile 1.8)
(test/usager.luc 508 1046682069 b/14_usager.env 1.11)
(mlcuddidl/manager.ml 8017 1034006019 c/47_manager.ml 1.1)
(cuddaux/cuddauxInt.h 2058 1034006019 c/28_cuddauxInt 1.1)
(cuddaux/cuddauxTDGenCof.c 15712 1034006019 c/26_cuddauxTDG 1.1)
(polka/C/pkint.h 6036 1047029868 e/12_pkint.h 1.1)
(polka/C/matrix.c 19090 1047029868 e/7_matrix.c 1.1)
(source/eval.ml 7755 1027066799 49_eval.ml 1.13)
(source/env.ml 8013 1027349504 16_env.ml 1.29)
(demo/chaudiere/buggy_chaudiere_ctrl.lus 219 1031732392 c/10_buggy_chau 1.1)
(source/Makefile.show_luc 1026 1037192189 b/40_Makefile.s 1.8)
(test/losange.luc 410 1046768487 d/27_losange.lu 1.2)
(source/env_state.mli 6937 1046682069 50_env_state. 1.28)
(polka/C/matrix.h 3461 1047029868 d/51_matrix.h 1.1)
(mlcuddidl/idd.ml 7061 1034006019 d/0_idd.ml 1.1)
(test/time-ossau.exp 8309 1046768487 b/48_time.exp 1.34)
(test/time-ossau.exp 8249 1047029868 b/48_time.exp 1.35)
(source/print.mli 1136 1045558187 46_print.mli 1.13)
(mlcuddidl/rdd.mli 7174 1034006019 c/40_rdd.mli 1.1)
(test/Makefile 32 1035531408 c/0_Makefile 1.8)
(test/Makefile 61 1047029868 c/0_Makefile 1.9)
(source/parse_env.ml 39633 1046768487 41_parse_env. 1.40)
(ihm/xlurette/xlurette_glade_main.ml 23620 1046074449 c/12_xlurette_g 1.16)
(demo/chaudiere/chaudiere_oracle.lus 107 1031732392 c/8_chaudiere_ 1.1)
(source/parse_poc.mli 1821 1047029868 d/29_parse_poc. 1.1)
(source/solver.ml 30947 1046682069 39_solver.ml 1.45)
(source/pnumsolver.ml 9273 1045489850 d/23_pnumsolver 1.2)
(test/ControleurPorte.lus 3219 1032940601 c/17_Controleur 1.1)
(source/gen_fake_lutin.ml 3449 1036048863 d/16_gen_fake_l 1.1)
(source/gen_fake_lutin.ml 3520 1047029868 d/16_gen_fake_l 1.2)
(source/lurette.ml 14452 1046074449 12_lurette.ml 1.63)
(TODO 5467 1046768487 d/22_TODO 1.8)
(TODO 5470 1047029868 d/22_TODO 1.9)
(source/Makefile 1627 1044958837 c/20_Makefile 1.10)
(source/util.ml 18985 1046768487 35_util.ml 1.41)
(source/util.ml 19885 1047029868 35_util.ml 1.42)
(mlcuddidl/manager.mli 7912 1034006019 c/46_manager.ml 1.1)
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(source/sim2chro.mli 1524 1037625990 b/23_sim2chro.m 1.6)
......@@ -68,48 +84,66 @@
(source/Makefile.lucky 2599 1046768487 b/41_Makefile.i 1.15)
(TAGS 9825 1007379917 21_TAGS 1.6)
(mlcuddidl/rdd.ml 8746 1034006019 c/41_rdd.ml 1.1)
(source/Makefile.lurette_lib 2051 1046768487 c/2_Makefile.l 1.15)
(source/Makefile.lurette_lib 2029 1047029868 c/2_Makefile.l 1.16)
(source/parse_env.mli 1186 1046682069 40_parse_env. 1.13)
(source/gen_stubs.ml 27065 1036048863 24_generate_l 1.41)
(polka/Makefile.config 1646 1047029868 e/20_Makefile.c 1.1)
(source/gen_stubs.ml 27044 1047029868 24_generate_l 1.42)
(OcamlMakefile 22765 1045558187 17_OcamlMakef 1.47)
(source/polyhedron.ml 7493 1045834161 d/25_polyhedron 1.3)
(source/polyhedron.ml 7673 1047029868 d/25_polyhedron 1.4)
(source/command_line.ml 5083 1046074449 b/20_command_li 1.12)
(polka/Changes 1502 1047029868 e/22_Changes 1.1)
(mlcuddidl/bdd.ml 10889 1034006019 d/6_bdd.ml 1.1)
(mlcuddidl/idd_caml.c 15964 1034006019 c/50_idd_caml.c 1.1)
(cuddaux/cuddauxCompose.c 13638 1034006019 c/30_cuddauxCom 1.1)
(test/porte.luc 994 1045841411 b/16_porte.env 1.9)
(polka/caml/polka.mli 716 1047029868 d/38_polka.mli 1.1)
(make_lurette 1306 1034006019 27_make_luret 1.17)
(lucky_init.csh.in 234 1047029868 e/23_lucky_init 1.1)
(source/control.ml 4445 1036675177 c/4_control.ml 1.4)
(polka/caml/Makefile 6559 1047029868 d/45_Makefile 1.1)
(ihm/xlurette/xlurette_glade_interface.ml 32810 1046682069 c/15_xlurette_g 1.10)
(source/lurettetop.ml 33132 1046768487 c/1_lurettetop 1.27)
(source/lurettetop.ml 33052 1047029868 c/1_lurettetop 1.28)
(mlcuddidl/README 1574 1034006019 d/8_README 1.1)
(cuddaux/README 1427 1034006019 c/34_README 1.1)
(source/Makefile.lurettetop 368 1037192189 d/14_Makefile.l 1.2)
(polka/caml/matrix.idl 5301 1047029868 d/34_matrix.idl 1.1)
(source/ne.mli 2116 1045834161 c/22_ne.mli 1.5)
(README 2266 1037625990 10_README 1.5)
(README 1887 1047029868 10_README 1.6)
(test/vrai_tram.lus 564 1027066799 b/6_vrai_tram. 1.2)
(source/env_state.ml 22475 1046682069 51_env_state. 1.40)
(polka/C/cherni.c 28811 1047029868 e/9_cherni.c 1.1)
(mlcuddidl/manager_caml.c 39233 1034006019 c/45_manager_ca 1.1)
(mlcuddidl/mtbdd.mli 4395 1034006019 c/43_mtbdd.mli 1.1)
(polka/caml/Makefile.depend 744 1047029868 d/32_Makefile.d 1.1)
(source/env.mli 2026 1040290175 15_env.mli 1.17)
(mlcuddidl/rdd_caml.c 41613 1034006019 c/39_rdd_caml.c 1.1)
(Makefile.common.in 528 1034951022 d/12_Makefile.c 1.2)
(user-rules 16165 1046768487 c/14_myrules 1.27)
(Makefile.common.in 564 1047029868 d/12_Makefile.c 1.3)
(user-rules 19774 1047029868 c/14_myrules 1.28)
(polka/caml/polka.ml 5485 1047029868 d/39_polka.ml 1.1)
(doc/archi.fig 3693 1003928781 20_archi.fig 1.1)
(polka/C/poly.c 48492 1047029868 e/5_poly.c 1.1)
(source/lurette.mli 448 1016027474 11_lurette.ml 1.12)
(source/store.ml 30658 1046074449 b/27_rnumsolver 1.23)
(source/gne.mli 1557 1046682069 b/36_gne.mli 1.5)
(polka/C/cherni.h 2217 1047029868 e/1_cherni.h 1.1)
(test/giro/giro.luc 2755 1033738731 c/6_giro.ima 1.4)
(source/show_env.mli 1091 1033738731 42_show_env.m 1.8)
(Makefile.lurette 574 1044958837 b/38_Makefile.l 1.16)
(Makefile.lurette 584 1047029868 b/38_Makefile.l 1.17)
(source/luc_exe.mli 447 1033738731 b/31_ima_exe.ml 1.2)
(polka/C/bit.c 3026 1047029868 e/10_bit.c 1.1)
(lurette.dep.dot 49 1007651448 b/4_lurette.de 1.2)
(polka/C/poly.h 4314 1047029868 d/49_poly.h 1.1)
(mlcuddidl/bdd.idl 18233 1034006019 d/7_bdd.idl 1.1)
(source/constraint.ml 2764 1045489850 c/19_constraint 1.6)
(mlcuddidl/manager.idl 11024 1034006019 c/48_manager.id 1.1)
(polka/caml/polkaIO.mli 1517 1047029868 d/43_polkaIO.ml 1.1)
(test/vrai_tram.c 3060 1027066799 b/8_vrai_tram. 1.3)
(polka/C/bit.h 1380 1047029868 e/2_bit.h 1.1)
(polka/caml/polkaIO.ml 1652 1047029868 d/44_polkaIO.ml 1.1)
(polka/caml/vector.idl 8669 1047029868 d/35_vector.idl 1.1)
(Makefile 941 1035531408 d/13_Makefile 1.1)
(source/command_line.mli 1503 1046074449 b/21_command_li 1.11)
(polka/README 1437 1047029868 e/19_README 1.1)
(ihm/xlurette/xlurette.glade 49469 1046074449 c/13_xlurette.g 1.10)
(demo/chaudiere/chaudiere.luc 446 1032789516 c/11_chaudiere. 1.5)
(source/graph.mli 2185 1037625990 13_graph.mli 1.10)
......@@ -120,38 +154,52 @@
(test/vrai_tram.h 2468 1027066799 b/7_vrai_tram. 1.3)
(test/tram.luc 1092 1046682069 b/15_tram.env 1.10)
(source/eval.mli 1395 1027066799 48_eval.mli 1.10)
(polka/caml/polka_caml.c 6499 1047029868 d/37_polka_caml 1.1)
(mlcuddidl/mtbdd.ml 10185 1034006019 c/44_mtbdd.ml 1.1)
(demo/chaudiere/chaudiere_ctrl.lus 177 1031732392 c/9_chaudiere_ 1.1)
(polka/C/main.tex 1961 1047029868 e/14_main.tex 1.1)
(polka/C/satmat.c 6254 1047029868 e/4_satmat.c 1.1)
(source/control.mli 3208 1036675177 c/3_control.ml 1.3)
(source/formula.ml 5962 1046682069 45_formula.ml 1.28)
(cuddaux/Makefile 3091 1034006019 c/35_Makefile 1.1)
(polka/caml/polka_caml.h 1922 1047029868 d/36_polka_caml 1.1)
(polka/sedscript 261 1047029868 d/31_sedscript 1.1)
(cuddaux/Makefile 3150 1047029868 c/35_Makefile 1.2)
(test/test_gen_stubs.h 1818 1020068208 b/45_test_gen_s 1.1)
(doc/ocamldoc.hva 313 1008328137 b/13_ocamldoc.h 1.1)
(polka/caml/poly.idl 8449 1047029868 d/33_poly.idl 1.1)
(mlcuddidl/idd.idl 10595 1034006019 d/1_idd.idl 1.1)
(polka/C/satmat.h 1254 1047029868 d/48_satmat.h 1.1)
(source/gne.ml 2774 1046682069 b/37_gne.ml 1.5)
(polka/caml/polka_lexer.mli 200 1047029868 d/41_polka_lexe 1.1)
(cuddaux/cuddaux.h 2381 1034006019 c/33_cuddaux.h 1.1)
(mlcuddidl/macros.m4 11290 1034006019 c/49_macros.m4 1.1)
(test/ControleurPorte.c 9407 1012914629 b/19_Controleur 1.1)
(source/Makefile.gen_fake_lutin 248 1036048863 d/17_Makefile.g 1.1)
(polka/C/internal.c 699 1047029868 e/8_internal.c 1.1)
(mlcuddidl/bdd.mli 8573 1034006019 d/5_bdd.mli 1.1)
(doc/automata_format 0 1007379917 b/3_automata_f 1.1)
(source/solver.mli 1003 1046682069 38_solver.mli 1.14)
(polka/caml/polka_lexer.mll 786 1047029868 d/42_polka_lexe 1.1)
(polka/Makefile.depend 136 1047029868 d/30_Makefile.d 1.1)
(mlcuddidl/cudd_caml.c 22890 1034006019 d/3_cudd_caml. 1.1)
(source/print.ml 5787 1045558187 47_print.ml 1.22)
(test/ControleurPorte.h 2306 1012914629 b/18_Controleur 1.1)
(configure.in 5208 1034351455 d/11_configure. 1.1)
(polka/C/internal.h 958 1047029868 e/0_internal.h 1.1)
(configure.in 4714 1047029868 d/11_configure. 1.2)
(cuddaux/cuddauxBridge.c 6099 1034006019 c/31_cuddauxBri 1.1)
(source/show_env.ml 3642 1037192189 43_show_env.m 1.16)
(test/losange-3d.luc 555 1046768487 d/28_losange-3d 1.2)
(mlcuddidl/Changes 64 1034006019 d/10_Changes 1.1)
(source/parse_poc.ml 7093 1036048863 d/15_parse_poc. 1.1)
(test/losange-3d.luc 555 1046768487 d/28_losange-3d 1.2)
(source/parse_poc.ml 6265 1047029868 d/15_parse_poc. 1.2)
(cuddaux/cuddauxAddIte.c 12812 1034006019 c/32_cuddauxAdd 1.1)
(source/sim2chro.ml 2742 1046682069 b/24_sim2chro.m 1.15)
(source/command_line_luc_exe.ml 3360 1046682069 b/33_command_li 1.12)
(mlcuddidl/cudd_caml.h 1210 1034006019 d/2_cudd_caml. 1.1)
(source/value.ml 2361 1045849760 c/23_value.ml 1.3)
(polka/documentation/polka.texi 109061 1047029868 e/17_polka.texi 1.1)
(test/giro/allocator.lus 1087 1031732392 c/5_allocator. 1.1)
(test/time-ecrins.res 8274 1046768487 d/20_time-ecrin 1.11)
(test/time-ecrins.res 8247 1047029868 d/20_time-ecrin 1.12)
(polka/C/vector.c 13780 1047029868 e/3_vector.c 1.1)
(lurette.depfull.dot 49 1007651448 b/5_lurette.de 1.2)
(mlcuddidl/idd.mli 5470 1034006019 c/51_idd.mli 1.1)
(ID_EN_VRAC 2184 1002196285 0_ID_EN_VRAC 1.1)
......@@ -2,14 +2,14 @@
#
#
# Where to install nibs, libs, and include files
BIN_INSTALL_DIR = $(LURETTE_PATH)/bin
LIB_INSTALL_DIR = $(LURETTE_PATH)/lib
INC_INSTALL_DIR = $(LURETTE_PATH)/include
# Where to install bins, libs, and include files
BIN_INSTALL_DIR = @LURETTEPATH@/$(OSTYPE)/bin
LIB_INSTALL_DIR = @LURETTEPATH@/$(OSTYPE)/lib
INC_INSTALL_DIR = @LURETTEPATH@/include
# Where to find the cudd bdd libs
INCDIRS = $(LURETTE_PATH)/lib
LIBDIRS = $(LURETTE_PATH)/lib @LIB_CUDD_PATH@ @LIB_CUDD_PATH@
# Where to find libs
INCDIRS = @LURETTEPATH@/$(OSTYPE)/lib @MORE_INCLUDE@
LIBDIRS = @LURETTEPATH@/$(OSTYPE)/lib @MORE_LIB@
# OCAML tools
OCAMLC = @OCAMLC@
......@@ -21,6 +21,7 @@ OCAMLVERSION = @OCAMLVERSION@
CAMLIDL = @CAMLIDL@
OCAMLMAKEFILE = $(LURETTE_PATH)/OcamlMakefile
OCAMLMAKEFILE = @LURETTEPATH@/OcamlMakefile
LURETTE_PATH = @LURETTEPATH@
......@@ -12,7 +12,7 @@ endif
# CC=g++
LIBS = str polka $(LURETTE_PATH)/lib/lurette_lib
LIBS = str polka $(LURETTE_PATH)/$(OSTYPE)/lib/lurette_lib
SOURCES_C = $(SUT) lurette_stub__sut.c lurette_stub__sut_idl.idl \
......
* WHAT IS IT?
The lucky package is a set of tools that let one test and simulate
reactive programs written in lustre.
In order to install and use it, you need:
(a) An ocaml compiler (version 3.02 or higher):
http://caml.inria.fr/
(b) The CamlIDL stub code generator (version 1.04):
http://caml.inria.fr/camlidl/
The LUCKY package
Also, it is better if you also have dot (graph drawing), and gv
(post-script viewing). To use xlurette, you probably need GTK.
* WHAT IS IT?
Also, you probably want to install the academic lustre compilers
before ;-)
The lucky package is a set of tools that let one test and simulate
reactive programs (e.g., written in lustre). The heart of it made of
an engine that draws (boolean, integers and real) values according to
a non-deterministic specification.
The provided tools are:
-o-
xlurette:
xlurette is a GUI build on top of lurettetop (see above).
It is probably your best entry point if you want to
(automatically) test your lustre programs.
* BINARY VERSION INSTALLATION
lurettetop:
lurettetop is a top level loop that let one test
reactive programs written in lustre.
You can type "help" at the prompt for more information.
lurettetop can be useful either if xlurette is broken
or if (like me) your are not a GUI-clickodrom fan.
lucky:
Previous tools use a descrition a the environement
contained in a .luc files.
XXX
show_luc:
This program lets you vizualise .luc files offline.
-o-
* SOURCE VERSION INSTALLATION
* WHAT IS NEEDED?
(c) The BDD library CUDD (version 2.3.1)
http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html
For lurettetop and xlurette, you need:
(a) An ocaml compiler (version 3.06):
http://caml.inria.fr/
Then you (ougth to) just need to:
(b) The CamlIDL stub code generator (version 1.04):
http://caml.inria.fr/camlidl/
(1) tar xvfz lucky-dd-mm-yyy.tgz
(2) cd lucky-dd-mm-yyy/
(3) autoconf
(4) ./configure --with-cudd-lib-dir=<path to cudd lib dir>
--with-cudd-include-dir=<path to cudd include dir>
(5) make
For show_luc (and hence for the other tools since the can use show_luc),
you need:
(a) gv (for post-script viewing)
(b) dot (for graph drawing)
This INSTALLATION step ougth to have generated in lucky-dd-mm-yyy/bin
the following binaries:
lucky-dd-mm-yyy/bin/lurettetop:
lurettetop is a top level loop that let one test
reactive programs written in lustre.
You can type help at the prompt for more info.
lucky-dd-mm-yyy/bin/xlurette:
xlurette is a GUI build on top of lurettetop. It is
probably your best entry point if you want to
(automatically) test your lustre programs.
lurettetop can be useful either if xlurette is broken
or if (like me) your are not a GUI-clickodrom fan.
lucky-dd-mm-yyy/bin/lucky:
Previous tools use a descrition a the environement
contained in a .luc files.
-o-
lucky-dd-mm-yyy/bin/show_luc:
This program lets you vizualise .luc files offline.
* BINARY VERSION INSTALLATION
Here is what you need to do to install and use those tools.
-o-
$ tar xvfz lurette-XXX.tgz
$ cd lurette-XXX
* USE
$ ./INSTALL
In order to use those binaries, you need to:
$ source lucky_init.sh
# or "source lucky_init.csh" if you are using csh
# also, you may wish to put that statement in your .bashrc ot something
(1) set the environment variable LUCKY_PATH to the path to the
lucky-dd-mm-yyyy/ directory, e.g., to do something like:
setenv LUCKY_PATH "/usr/local/tool/lucky-dd-mm-yyyy"
$ make install
# if you wish to install tools anywhere else than lurette-XXX/$OSTYPE/{bin,lib}
(2) and then eventually to add /usr/local/tool/lucky-dd-mm-yyyy/bin
to your PATH env variable.
-o-
......
......@@ -5,16 +5,6 @@
*********** A faire maintenant
* le losange ne passe pas avec polkai et passe avec polkag.
Regarder pourquoi et dire à Bertrand
* Traiter les variables stables (signaux purs)
* gen_fake_lutin devrait etre une commande lurettetop et non pas code
en dur dans xlurette...
idem pour la sauvegarde des options dans .lurette-rc.
* Mettre a jour le parseur wrt les modifs que j'ai faite a la syntax
(noeuds transiants/stationnaires + formula = ...)
......@@ -22,6 +12,15 @@
(1) Portage pour scade et esterel windows ...
-> structure, tableau, types structures, etc.
* le losange ne passe pas avec polkai et passe avec polkag.
Regarder pourquoi et dire à Bertrand
(2) Traiter les variables stables (signaux purs)
(2) gen_fake_lutin devrait etre une commande lurettetop et non pas code
en dur dans xlurette...
idem pour la sauvegarde des options dans .lurette-rc.
(2) Faire une doc utilisateur pour lurette (moins urgent depuis qu'il y
a lurettetop et xlurette...)
......
#
# autoconf input for Objective Caml programs
# Copyright (C) 2001 Jean-Christophe Fillitre
# from a first script by Georges Mariano and then Jean-Christophe Fillitre
#
#
# the script generated by autoconf from this input will set the following
# variables:
# OCAMLC "ocamlc" if present in the path, or a failure
# or "ocamlc.opt" if present with same version number as ocamlc
# OCAMLOPT "ocamlopt" (or "ocamlopt.opt" if present), or "no"
# OCAMLBEST either "byte" if no native compiler was found,
# or "opt" otherwise
# OCAMLDEP "ocamldep"
# OCAMLLIB the path to the ocaml standard library
# OCAMLVERSION the ocaml version number
AC_INIT(Makefile.common.in)
#-----------------------------------------------------------------------------#
# Cudd
if test $prefix = NONE; then
LURETTEPATH=$(pwd)
else
LURETTEPATH=$prefix
fi
# Ask user for path to cudd stuff...
AC_ARG_WITH(cudd-include-dir,
[ --with-cudd-include-dir=<path> prefix of Cudd installation.
e.g. /usr/local/include or /usr/include],
[INC_CUDD_PATH=$with_cudd_include_dir],
AC_MSG_ERROR([You must call configure with the --with-cudd-include-dir option.
This tells configure where to find the Cudd C headers.
e.g. --with-cudd-include-dir-cudd=/usr/local/include
or --with-cudd-include-dir=/usr/include])
)
AC_SUBST(LURETTEPATH)
AC_ARG_WITH(cudd-lib-dir,
[ --with-cudd-lib-dir=<path> prefix of Cudd installation. e.g. /usr/local/lib or /usr/lib],
[LIB_CUDD_PATH=$with_cudd_lib_dir],
AC_MSG_ERROR([You must call configure with the --with-cudd-lib-dir option.
This tells configure where to find the Cudd C library.
e.g. --with-cudd-lib-dir=/usr/local/lib
or --with-cudd-lib-dir=/usr/lib])
)
AC_SUBST(INC_CUDD_PATH)
AC_SUBST(LIB_CUDD_PATH)
#-----------------------------------------------------------------------------#
# Ask user for path to more libs and headers
AC_ARG_WITH(more-include,
[ --with-more-include=DIR Additionnal dir to include for headers],
[MORE_INCLUDE=$with_more_include])
AC_ARG_WITH(more-lib,
[ --with-more-lib=DIR Additionnal dir to include for libs],
[MORE_LIB=$with_more_lib])
AC_SUBST(MORE_INCLUDE)
AC_SUBST(MORE_LIB)
#-----------------------------------------------------------------------------#
# Lustre tools
AC_PATH_PROG(LUS2EC,lus2ec,no)
AC_CHECK_PROG(LUS2EC,lus2ec,lus2ec,no)
if test "$LUS2EC" = no ; then
AC_MSG_ERROR(Cannot find lus2ec the lustre to ec compiler.)
AC_MSG_WARN(Cannot find lus2ec the lustre to ec compiler.)
fi
AC_SUBST(LUS2EC)
AC_PATH_PROG(EC2C,ec2c,no)
AC_CHECK_PROG(EC2C,ec2c,ec2c,no)
if test "$EC2C" = no ; then
AC_MSG_ERROR(Cannot find ec2c the ec to c compiler.)
AC_MSG_WARN(Cannot find ec2c the ec to c compiler.)
fi
AC_SUBST(EC2C)
AC_PATH_PROG(SIM2CHRO,sim2chro,no)
AC_CHECK_PROG(SIM2CHRO,sim2chro,sim2chro,no)
if test "$SIM2CHRO" = no ; then
AC_MSG_ERROR(Cannot find sim2chro the ec to c compiler.)
AC_MSG_WARN(Cannot find sim2chro.)
fi
AC_SUBST(LUS2EC)
AC_SUBST(EC2C)
AC_SUBST(SIM2CHRO)
#-----------------------------------------------------------------------------#
# Ocaml tools
# we first look for ocamlc in the path; if not present, we fail
AC_CHECK_PROG(OCAMLC,ocamlc,ocamlc,no)
if test "$OCAMLC" = no ; then
AC_MSG_ERROR(Cannot find ocamlc.)
fi
CURRENT_OCAML_VERSION=3.06
# check for ocamlc in the path
AC_CHECK_PROG(OCAMLC,ocamlc,ocamlc)
# we extract Ocaml version number and library path
OCAMLVERSION=`$OCAMLC -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' `
......@@ -90,16 +67,25 @@ OCAMLLIB=`$OCAMLC -v | tail -1 | cut -f 4 -d " "`
echo "ocaml library path is $OCAMLLIB"
# ocamldep should also be present in the path
AC_PATH_PROG(OCAMLDEP,ocamldep)
# then we look for ocamlopt; if not present, we issue a warning
# if the version is not the same, we also discard it
# we set OCAMLBEST to "opt" or "byte", whether ocamlopt is available or not
AC_CHECK_PROG(OCAMLOPT,ocamlopt,ocamlopt,no)
AC_PATH_PROG(OCAMLOPT,ocamlopt)
OCAMLBEST=byte
if test "$OCAMLOPT" = no ; then
AC_MSG_WARN(Cannot find ocamlopt; bytecode compilation only.)
else
if test "$OCAMLOPT" != no ; then
# If the rigth version exists, avoid a copy...
AC_MSG_CHECKING(ocamlopt version)
TMPVERSION=`$OCAMLOPT -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' `
if test "$TMPVERSION" = $CURRENT_OCAML_VERSION ; then
rm -f $LURETTEPATH/$OSTYPE/bin/ocamlopt-3.06
rm -f $LURETTEPATH/$OSTYPE/bin/ocamldep-3.06
ln -s $OCAMLOPT $LURETTEPATH/$OSTYPE/bin/ocamlopt-3.06
ln -s $OCAMLDEP $LURETTEPATH/$OSTYPE/bin/ocamldep-3.06
fi
if test "$TMPVERSION" != $OCAMLVERSION ; then
AC_MSG_RESULT(differs from ocamlc; ocamlopt discarded.)
OCAMLOPT=no
......@@ -110,10 +96,14 @@ else
fi
# checking for ocamlc.opt
AC_CHECK_PROG(OCAMLCDOTOPT,ocamlc.opt,ocamlc.opt,no)
AC_PATH_PROG(OCAMLCDOTOPT,ocamlc.opt)
if test "$OCAMLCDOTOPT" != no ; then
AC_MSG_CHECKING(ocamlc.opt version)
TMPVERSION=`$OCAMLCDOTOPT -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' `
if test "$TMPVERSION" = $CURRENT_OCAML_VERSION ; then
rm -f $LURETTEPATH/$OSTYPE/bin/ocamlc-3.06
ln -s $OCAMLCDOTOPT $LURETTEPATH/$OSTYPE/bin/ocamlc-3.06
fi
if test "$TMPVERSION" != $OCAMLVERSION ; then
AC_MSG_RESULT(differs from ocamlc; ocamlc.opt discarded.)
else
......@@ -137,29 +127,40 @@ if test "$OCAMLOPT" != no ; then
fi
fi
# ocamldep should also be present in the path
AC_CHECK_PROG(OCAMLDEP,ocamldep,ocamldep,no)
if test "$OCAMLDEP" = no ; then
AC_MSG_ERROR(Cannot find ocamldep.)
fi
# Check for camlidl
AC_CHECK_PROG(CAMLIDL,camlidl,camlidl,no)
if test "$CAMLIDL" = no ; then
AC_MSG_ERROR(Cannot find camlidl.)
# Check for camlidl, use the one provided in the package otherwise
AC_CHECK_PROG(CAMLIDL,camlidl,camlidl,camlidl-1.04)
if test "$CAMLIDL" = camlidl-1.04 ; then
AC_MSG_WARN(Cannot find camlidl. I will use camlidl-1.04 instead.)
else
rm -f $LURETTEPATH/$OSTYPE/bin/camlidl-1.04
rm -f $LURETTEPATH/$OSTYPE/lib/libcamlidl.a
fi
#-----------------------------------------------------------------------------#
# Misc tools
AC_PATH_PROG(DOT,dot)
AC_SUBST(DOT)
AC_CHECK_PROG(DOT,dot,dot,no)
if test "$DOT" = no ; then
AC_MSG_WARN(Cannot find dot. You will not be able to use show_luc)
fi
AC_CHECK_PROG(GV,gv,gv,no)
if test "$GV" = no ; then
AC_MSG_WARN(Cannot find gv. You will not be able to use show_luc)
fi
AC_PATH_PROG(GV,gv)
AC_SUBST(GV)
#-----------------------------------------------------------------------------#
# substitutions to perform
OCAMLOPT=ocamlopt-$CURRENT_OCAML_VERSION
OCAMLC=ocamlc-$CURRENT_OCAML_VERSION
OCAMLDEP=ocamldep-$CURRENT_OCAML_VERSION
AC_SUBST(OCAMLC)
AC_SUBST(OCAMLOPT)
AC_SUBST(OCAMLDEP)
......@@ -169,8 +170,8 @@ AC_SUBST(OCAMLLIB)
AC_SUBST(CAMLIDL)
#-----------------------------------------------------------------------------#
# Finally create the Makefile from Makefile.in
AC_OUTPUT(Makefile.common)
AC_OUTPUT(source/util.ml)
AC_OUTPUT(Makefile.common lucky_init.sh lucky_init.csh)