-- --
-- S p e c --
-- --
--- --
--- Copyright (C) 1992-2002 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2003 Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- covered by the GNU Public License. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
--- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
+-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- --
------------------------------------------------------------------------------
package Gnatvsn is
- function Gnat_Version_String
- return String;
+ function Gnat_Version_String return String;
-- Version output when GNAT (compiler), or its related tools, including
-- GNATBIND, GNATCHOP, GNATFIND, GNATLINK, GNATMAKE, GNATXREF, are run
-- (with appropriate verbose option switch set).
- Gnat_Version_Type : constant String := "FSF ";
- -- This string is set to one of three values:
+ Gnat_Static_Version_String : constant String := "GNU Ada";
+ -- Static string identifying this version, that can be used as an argument
+ -- to e.g. pragma Ident.
+
+ type Gnat_Build_Type is (FSF, Public, GAP);
+ -- See Get_Gnat_Build_Type below for the meaning of these values.
+
+ function Get_Gnat_Build_Type return Gnat_Build_Type;
+ -- This function returns one of the following values of Gnat_Build_Type:
--
- -- "FSF "
+ -- FSF
-- GNAT FSF version. This version of GNAT is part of a Free Software
-- Foundation release of the GNU Compiler Collection (GCC). The binder
- -- will not output informational messages regarding intended use.
+ -- will not output informational messages regarding intended use,
-- and the bug box generated by Comperr will give information on
-- how to report bugs and list the "no warranty" information.
--
- -- "GNATPRO"
- -- GNAT Professional version. This version of GNAT is supported
- -- by Ada Core Technologies. The binder will not output the
- -- usual "no warranty" messages, and the bug box generated by
- -- package Comperr will give instructions on bug submission
- -- that include references to customer number, ftp site etc.
- --
- -- "PUBLIC "
- -- GNAT Public version. This is a public version of GNAT, released
- -- by Ada Core Technologies and intended for educational use.
+ -- Public
+ -- GNAT Public version.
-- The binder will output informational messages, and the bug box
-- generated by the package Comperr will give appropriate bug
- -- submission instructions that do not reference customer number etc.
+ -- submission instructions.
--
- -- These are the only allowable settings for this string
+ -- GAP
+ -- GNAT Academic Program, similar to Public.
Ver_Len_Max : constant := 32;
-- Longest possible length for Gnat_Version_String in this or any
-- value should never be decreased in the future, but it would be
-- OK to increase it if absolutely necessary.
- Library_Version : constant String := "GNAT Lib v3.15";
+ Library_Version : constant String := "4.0";
-- Library version. This value must be updated whenever any change to the
-- compiler affects the library formats in such a way as to obsolete
-- previously compiled library modules.
-- Note: Makefile.in relies on the precise format of the library version
-- string in order to correctly construct the soname value.
+ Verbose_Library_Version : constant String := "GNAT Lib v" & Library_Version;
+ -- Version string stored in e.g. ALI files.
+
+ ASIS_Version_Number : constant := 4;
+ -- ASIS Version. This is used to check for consistency between the compiler
+ -- used to generate trees, and an ASIS application that is reading the
+ -- trees. It must be updated (incremented) whenever a change is made to
+ -- the tree format that would result in a compiler being incompatible with
+ -- an older version of ASIS, or vice versa.
+
end Gnatvsn;