Changes between Version 11 and Version 12 of WikiStart

Timestamp:

03/04/08 16:31:29 (16 years ago)

Author:

jerome

Comment:

--

WikiStart

@@ -37 +37 @@
 == Additional Packages ==
 
-Once you have downloaded Cheddar source code, you will need the following packages :
+Cheddar is built using the GNAT compiler GPL 2007 (see [https://libre.adacore.com/ !AdaCore web site).
 
- * For windows :
+Furthermore, the following packages are needed to build Cheddar (available in Cheddar repository (''required_packages''))
  
-|| '''Packages''' || '''Instructions''' ||
-|| '''The GNAT compiler''' || Use GNAT GPL 2007. See [https://libre.adacore.com/ AdaCore web site] || 
-|| '''Gtk''' and '''!GtkAda''' || See http://www.gtk.org for details. Use the file in Cheddar SVN repository (required_packages/GtkAda_windows.zip) ||
-|| '''!XmlAda''' || Use the file in Cheddar SVN repository (required_packages/xmlada-gpl-2.2.0.zip) ||
-|| '''Aflex''' and '''Ayacc''' || if you plan to change the code of the parametric simulator ||
-|| '''big number''' || From Jérôme Delcourt. Use the file in Cheddar SVN repository (required_packages/big_number-0.28.zip)||
-|| '''Ocarina AADL Parser''' || Distributed by the [http://www.enst.fr/ ENST Paris]. Download [http://ocarina.enst.fr/releases/ release 1.1] ||
-
- * For Linux :
-
-|| '''Packages''' || '''Instructions''' ||
-
-
- * For Solaris : 
-
-|| '''Packages''' || '''Instructions''' ||
-
+|| '''Packages''' || '''Comment''' ||
+|| '''Gtk''' and '''!GtkAda''' || See http://www.gtk.org for details ||
+|| '''!XmlAda''' || See https://libre.adacore.com/ ||
+|| '''Aflex''' and '''Ayacc''' || If you plan to change the code of the parametric simulator ||
+|| '''big number''' || From Jérôme Delcourt ||
+|| '''Ocarina AADL Parser''' || Distributed by the [http://www.enst.fr/ ENST Paris] ||
 
 == Cheddar Compilation/Installation ==