Commit 07b334ef authored by jhugues's avatar jhugues
Browse files

* Make the ARINC653 XML configuration back-end visible



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2660 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 16405607
......@@ -42,6 +42,8 @@ with Errors; use Errors;
with Ocarina.Backends.Build_Utils;
with Ocarina.Backends.Messages;
with Ocarina.Backends.PN;
with Ocarina.Backends.ARINC653_Conf;
with Ocarina.Backends.PO_HI_Ada;
with Ocarina.Backends.ASN1;
with Ocarina.Backends.PO_HI_C;
......@@ -177,6 +179,7 @@ package body Ocarina.Backends is
-- Register the several code generators
Ocarina.Backends.ARINC653_Conf.Init;
PN.Init;
BoundT.Init;
MAST.Init;
......
......@@ -37,6 +37,7 @@ Usage:
-real_theorem <theorem> Evaluate only theorem
-g Generate code from the AADL instance tree
Registered backends:
arinc653_conf
petri_nets
boundt
mast
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment