This directory comes with a set of gpr files to compile the followings commands: - kernel.gpr: a generic gpr, for all common constants, particulary all source files with only the Cheddar framework without extra parsers (e.g. AADL/ocarina). - kernelWithParsers.gpr : extend kernel.gpr and add extra parsers Both kernel.gpr and KernelWithParsers.gpr should be used to build the actual gpr file when a gpr file has to be written to produce a binary - cheddar.gpr : compile the classical cheddar tool, i.e. including the machine-man interface. - cheddarKernel.gpr : compile a program that allows you to call cheddar by command line (without machine-man interface). without AADL parsers (ocarina) and with Ellidiss dedicated tools - cheddarLite.gpr : compile a program that allows you to call cheddar by command line (without machine-man interface). with all extra parsers (e.g. ocarina/AADL) - aadl2aadl.gpr : compile a tool that reads AADL file supported by Cheddar and outputs it. - aadl2xml.gpr : compile a tool that reads AADL file supported by Cheddar and translates it to a Cheddar ADL file. - xml2aadl.gpr : compile a tool that reads a Cheddar ADL file and translates it to a AADL file. - xml2xml.gpr : compile a tool that reads a Cheddar ADL file and outputs it. - frameworkexamples.adb : compile various examples of program that are able to directly call the framework (cheddarLite is a kind of such programs). Complementary to the tools above, this directory also provides tools that may help to translate Cheddar V2 files towards Cheddar V3. Those tools are: - v2architecturetov3architecture.gpr : help to translate Cheddar ADL v2 file towards Cheddar v3 files. - v2eventtabletov3eventtable.gpr : help to translate Cheddar event table v2 file towards Cheddar v3 files.