Additional Packages

Cheddar is built using the GNAT compiler GPL 2007 (see ​AdaCore web site).

Furthermore, the following packages are needed to build Cheddar (available in Cheddar repository (required_packages))

Packages	Comment
Gtk and GtkAda	See ​GTK web site for details
XmlAda	See ​AdaCore web site
Aflex and Ayacc	If you plan to change the code of the parametric simulator
big number	From Jerome Delcourt
Ocarina AADL Parser	Distributed by the ​ENST Paris

---

Building Instructions with a Makefile

Step 1

We assume that all the required component are already installed in your system. We also supposed that gcc/GNAT is in your binary PATH and that your LD_LIBRARIES_PATH contains the installation directory of GtkAda.

Step 2

Update the Makefile.vars file :

• Give Cheddar directory source code location (pointed by ROOT_CHEDDAR variable).
• Update the ADAC_INCLUDE and the ADAC_LIB variables according to Gtk, GtkAda, XmlAda, BigNumbers and Ocarina installation directories.

Several Makefile.vars examples are provided in Cheddar source code (Makefile.vars.linux for Linux, Makefile.vars.solaris for Solaris, Makefile.vars.win32 for Windows boxes ...)

Step 3

If necessary, read and update the config/*.ads packages. These Ada packages contain all Cheddar's configurable constants.

Step 4

Type gmake to compile Cheddar.

Step 5

If the compilation succeed, you will find cheddar tools in binaries directory.

Step 6

Installation rules :

• On Unix boxes : just copy executables in the installation directory (eg. /usr/local/bin ). It is supposed that you already installed Gtkada shared libraries. Do not forget to update your LD_LIBRARY_PATH shell variable to point to the shared library directory (see libs directory).

• On Win32 boxes : copy cheddar.exe and the Dll files of the win32dll directory in the Same installation directory (eg. C:\Cheddar).

Step 7

Have fun.

---

GPS Building Instructions

Step 1

Install the GNAT GPL 2007 distribution (GNAT Programming Studio and GNAT Ada compiler should be installed on your system).

For Windows, just double click on the executable downloaded from AdaCore web site.

Step 2

Open GPS cheddar project (cheddargps.gpr file in Cheddar source code trunk directory) :

And Build your selected binary :

Built binary can be found in Cheddar source code trunk/binaries/bin/release or debug directory.

Step 3

For windows, copy ".exe" files and DLL files stored in the win32dll directory in the same installation directory (e.g. c:\Cheddar).

---

AdaGide Building Instructions

Step 1

Idem GPS building procedure.

Step 2

Unzip all necessary packages in a "lib" directory in order to have the following tree (Due to AdaGide restriction, Cheddar and Lib directory should be located in hard drive root directory, e.g. c: ) :

• Cheddar
  • branch
  • tags
  • trunk
    • binaries -> contains Adagide configuration and project files (gnat.ago, ...)
    • ...
    • txt
• Lib
  • BigNumber
  • GtkAda
  • Ocarina
    • aadl
    • checker
    • config
    • core
    • dia
    • dumper
    • gaia
    • generators
    • lib -> contains Ocarina libraries
    • pn
    • runtime
  • XmlAda

If packages are located in different directories (default : c:\Cheddar and c:\Lib) , update "gnat.ago" (Cheddar/binaries).

Step 3

Open cheddar.adb with AdaGide and push the AdaGide "Build" button. Built binary can be found in Cheddar/trunk/binaries/ directory.

Step 4

Repeat step 3 with xml2xml.adb, aadl2xml.adb, xml2aadl.adb, aadl2aadl.adb and scc.adb.

Step 5

Installation rules : copy ".exe" files and DLL files stored in the win32dll directory in the same installation directory (e.g. c:\Cheddar).

---

Contact Us

Feel free to contact us if you have any compilation problems via Cheddar mailing list.