14 | | Cheddar is built using the GNAT compiler GPL 2007 (see [https://libre.adacore.com/ AdaCore web site]). Note : cheddar does not compile with GNAT compiler GPL 2010. |
15 | | |
16 | | Furthermore, the following packages are needed to build Cheddar (available in Cheddar repository (''required_packages'')) : |
17 | | |
18 | | || '''Packages''' || '''Comment''' || |
19 | | || '''Gtk''' and '''!GtkAda''' || See [http://www.gtk.org GTK web site] for details || |
20 | | || '''!XmlAda''' || See [https://libre.adacore.com/ AdaCore web site] || |
21 | | || '''Aflex''' and '''Ayacc''' || If you plan to change the code of the parametric simulator || |
22 | | || '''big number''' || From Jerome Delcourt || |
23 | | || '''Ocarina AADL Parser''' || Distributed by the [http://ocarina.enst.fr/ Telecom ParisTech Ocarina team] || |
| 14 | The following software are needed : |
| 15 | * GNAT compiler GPL (see [https://libre.adacore.com/ AdaCore web site]). Note : the 2015 version works, the 2017 do not. |
| 16 | * For windows, get the cygwin ([https://www.cygwin.com/ Cygwin web site]) or msys2 ([http://www.msys2.org/ Msys2 web site]) environment. |
| 17 | * a svn client is necessary. The default one is fine for linux and tortoiseSVN can be tortoiseSVN ([https://tortoisesvn.net/ Tortoise SVN web site]) used for windows. |
42 | | If necessary, read and update the ''config/*.ads'' packages. These Ada packages contain all Cheddar's configurable constants. |
43 | | |
44 | | === Step 3 === |
45 | | |
46 | | Type ''make all'' in a terminal to compile all Cheddar tools (''make alldebug'' for debug version). |
47 | | |
48 | | Note : if you want to remove all objects created during Cheddar compilation, |
49 | | type ''make clean'' (resp. ''make cleandebug''). |
50 | | |
51 | | == Windows Boxes == |
52 | | |
53 | | === Step 1 === |
54 | | |
55 | | If necessary, read and update the ''config/*.ads'' packages. These Ada packages contain all Cheddar's configurable constants. |
56 | | |
57 | | === Step 2 === |
58 | | |
59 | | Open a terminal (choose ''Windows Menu -> execute'' and type ''cmd''). In Cheddar source main directory, |
60 | | type : |
61 | | |
62 | | * ''gnatmake -Pcheddargps.gpr -d -XBuild=Release'' : build cheddar tools in ''release'' mode (optimized, no debug information). |
63 | | |
64 | | * ''gnatmake -Pcheddargps.gpr -d -XBuild=Debug'' : build cheddar tools in ''debug'' mode (no optimization). |
65 | | |
66 | | * ''gnatclean -r -Pcheddargps.gpr -XBuild=Release'' : remove objects from ''release'' mode compilation. |
67 | | |
68 | | * ''gnatclean -r -Pcheddargps.gpr -XBuild=Debug'' : remove objects from ''debug'' mode compilation. |
69 | | |
70 | | ---- |
71 | | |
72 | | = GPS Building Instructions = |
73 | | |
74 | | == Step 1 == |
75 | | |
76 | | Install the GNAT GPL 2007 distribution (GNAT Programming Studio and GNAT Ada compiler should be installed on your system). |
77 | | |
78 | | For Windows, just double click on the executable downloaded from !AdaCore web site. |
79 | | |
80 | | == Step 2 == |
81 | | |
82 | | Open GPS cheddar project (cheddargps.gpr file in Cheddar source code ''trunk'' directory) : |
83 | | |
84 | | [[Image(htdocs:GPS21.png, nolink, 700)]] |
85 | | |
86 | | And Build your selected binary : |
87 | | |
88 | | [[Image(htdocs:GPS31.png, nolink, 700)]] |
89 | | |
90 | | Cheddar tools binaries can be found in ''trunk/binaries/bin/release or debug'' directory. |
91 | | |
92 | | ---- |
93 | | |
94 | | = !AdaGide Building Instructions = |
| 36 | In a terminal execute the following commands : |
| 37 | * Type ''make cheddar'' to compile Cheddar |
| 38 | Or |
| 39 | * Type ''make all'' in the terminal to compile all Cheddar tools. |
101 | | == Step 2 == |
102 | | |
103 | | 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:'' ) : |
104 | | |
105 | | * Cheddar |
106 | | * branch |
107 | | * tags |
108 | | * trunk |
109 | | * binaries -> contains Adagide configuration and project files (gnat.ago, ...) |
110 | | * ... |
111 | | * txt |
112 | | * Lib |
113 | | * !BigNumber |
114 | | * !GtkAda |
115 | | * Ocarina |
116 | | * aadl |
117 | | * checker |
118 | | * config |
119 | | * core |
120 | | * dia |
121 | | * dumper |
122 | | * gaia |
123 | | * generators |
124 | | * lib -> contains Ocarina libraries |
125 | | * pn |
126 | | * runtime |
127 | | * !XmlAda |
128 | | |
129 | | If packages are located in different directories (default : ''c:\Cheddar'' and ''c:\Lib'') , update "gnat.ago" (''Cheddar/binaries''). |
130 | | |
131 | | == Step 3 == |
132 | | |
133 | | Open cheddar.adb with !AdaGide and push the !AdaGide "Build" button. Built binary can be found in ''Cheddar/trunk/binaries/'' directory. |
134 | | |
135 | | [[Image(htdocs:AdaGide.png, nolink, 700)]] |
136 | | |
137 | | == Step 4 == |
138 | | |
139 | | Repeat step 3 with xml2xml.adb, aadl2xml.adb, xml2aadl.adb, aadl2aadl.adb and scc.adb. |
140 | | |
141 | | ---- |
142 | | = Framework Examples = |
143 | | |
144 | | In order to build Cheddar framework examples, one can follow building instructions for Cheddar tools (command line and GPS) |
145 | | with the GPS project ''frameworkexamples.gpr'' and Makefile option ''examples'' and ''examplesdebug''. |
146 | | |
147 | | ---- |
148 | | = Other Operating Systems = |
149 | | |
150 | | == Step 1 == |
151 | | |
152 | | Same as command line building instructions. |
153 | | |
154 | | == Step 2 == |
155 | | |
156 | | Update the Makefile.vars file : |
157 | | |
158 | | * You have to give the Cheddar directory source code location (pointed by the ''ROOT_CHEDDAR'' variable). |
159 | | * Update ''ADAC_INCLUDE'' and ''ADAC_LIB'' variables according to Gtk, !GtkAda, !XmlAda, !BigNumbers and Ocarina installation directories |
160 | | |
161 | | '''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 ...). |
162 | | |
163 | | == Step 3 == |
164 | | |
165 | | If necessary, read and update the config/*.ads packages. These Ada packages contain all Cheddar's configurable constants. |
166 | | |
167 | | == Step 4 == |
168 | | |
169 | | Type `gmake' to compile Cheddar. |
| 48 | In the terminal, launch gps : |
| 49 | * Open GPS cheddar project. In the menu, select Project->Open and select the cheddar.gpr file (cheddar.gpr file in Cheddar source code ''trunk'' directory). |
| 50 | * The build it. In the menu, select Build->Project->Cheddar.gpr |