Index of /DIST-TOOLS/SYNCHRONE/aadl4ocaml
Name Last modified Size Description
Parent Directory -
doc/ 2008-01-24 10:05 -
README.txt 2008-01-24 10:05 677
aadl4ocaml.tgz 2008-01-24 10:05 428K
aadl4ocaml is a library that:
- parses AAXL (xml version of AADL) files,
- generates an AST
- provides a few utilitary functions dealing with aadl
cf the ocamldoc documentation for more details ("make doc" to generate it).
You need ocamlduce (http://www.cduce.org/ocaml.html) to build this library,
as well as xlm-light.
Note that since the 3.08.4 release, OCamlDuce is binary compatible
with the corresponding OCaml release.
cp aadl4ocaml.*a <somewhere useful>
will generathe the ocamldoc documentation.
Well... let's say... LGPL!