[[PageOutline(1-1)]] = Additional Packages = Cheddar is built using the GNAT compiler GPL 2007 (see [https://libre.adacore.com/ AdaCore web site]). Furthermore, the following packages are needed to build Cheddar (available in Cheddar repository (''required_packages'')) || '''Packages''' || '''Comment''' || || '''Gtk''' and '''!GtkAda''' || See [http://www.gtk.org GTK web site] for details || || '''!XmlAda''' || See [https://libre.adacore.com/ 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 [http://ocarina.enst.fr/ Telecom ParisTech Ocarina team] || ---- = 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) : [[Image(htdocs:GPS21.png, nolink, 700)]] And Build your selected binary : [[Image(htdocs:GPS31.png, nolink, 700)]] 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. [[Image(htdocs:AdaGide.png, nolink, 700)]] == 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 [http://beru.univ-brest.fr/~singhoff/cheddar/#Ref9 Cheddar mailing list].