6 Commits (master)

Author	SHA1	Message	Date
Nicolas Berthier	65908e7ca3	New configure script options to enable/disable byte/native targets	9 years ago
Gwenaël Delaval	c5c5654068	Added bzreax script ; added uninstall target in Makefiles	9 years ago
Nicolas Berthier	bc17d71e3f	New tool `ctrl2ept' for translating ReaX's output functions into Heptagon ... Compilation of the tool is dependent on the presence of the `reatk.ctrlNbac' library.	10 years ago
Nicolas Berthier	10bdab4dc6	Exclusively use ocamlfind; source documentation generation. ... - Stripped portions of `myocamlbuild{,_config}.ml' that seem useless when `-use-ocamlfind' is passed to ocamlbuild. - Added some code in `myocamlbuild_config.ml' to be able to generate documentation by merging interface and implementation files.	11 years ago
Gwenaël Delaval	165ff8d7fa	configure script: SET_MAKE handling ... Change MAKE=@MAKE@ --> @SET_MAKE@	11 years ago
Cédric Pasteur	f4aafa10d6	Added a build system for Heptagon ... ./configure make make install	13 years ago