]>
Commit | Line | Data |
---|---|---|
38cbfe40 RK |
1 | ------------------------------------------------------------------------------ |
2 | -- -- | |
3 | -- GNAT COMPILER COMPONENTS -- | |
4 | -- -- | |
5 | -- G N A T V S N -- | |
6 | -- -- | |
7 | -- S p e c -- | |
8 | -- -- | |
df892819 | 9 | -- Copyright (C) 1992-2020, Free Software Foundation, Inc. -- |
38cbfe40 RK |
10 | -- -- |
11 | -- GNAT is free software; you can redistribute it and/or modify it under -- | |
12 | -- terms of the GNU General Public License as published by the Free Soft- -- | |
748086b7 | 13 | -- ware Foundation; either version 3, or (at your option) any later ver- -- |
38cbfe40 RK |
14 | -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- |
15 | -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- | |
748086b7 JJ |
16 | -- or FITNESS FOR A PARTICULAR PURPOSE. -- |
17 | -- -- | |
18 | -- As a special exception under Section 7 of GPL version 3, you are granted -- | |
19 | -- additional permissions described in the GCC Runtime Library Exception, -- | |
20 | -- version 3.1, as published by the Free Software Foundation. -- | |
21 | -- -- | |
22 | -- You should have received a copy of the GNU General Public License and -- | |
23 | -- a copy of the GCC Runtime Library Exception along with this program; -- | |
24 | -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- | |
25 | -- <http://www.gnu.org/licenses/>. -- | |
38cbfe40 RK |
26 | -- -- |
27 | -- GNAT was originally developed by the GNAT team at New York University. -- | |
71ff80dc | 28 | -- Extensive contributions were provided by Ada Core Technologies Inc. -- |
38cbfe40 RK |
29 | -- -- |
30 | ------------------------------------------------------------------------------ | |
31 | ||
8bead36a AC |
32 | -- This package spec holds version information for the GNAT tools. |
33 | -- It is updated whenever the release number is changed. | |
38cbfe40 RK |
34 | |
35 | package Gnatvsn is | |
36 | ||
c4075a15 AC |
37 | Gnat_Static_Version_String : constant String := "GNU Ada"; |
38 | -- Static string identifying this version, that can be used as an argument | |
39 | -- to e.g. pragma Ident. | |
40 | ||
8d6bae55 | 41 | Library_Version : constant String := "11"; |
daad20d6 AC |
42 | -- Library version. It needs to be updated whenever the major version |
43 | -- number is changed. | |
84238eb0 AC |
44 | -- |
45 | -- Note: Makefile.in uses the library version string to construct the | |
46 | -- soname value. | |
47 | ||
df892819 | 48 | Current_Year : constant String := "2020"; |
84238eb0 AC |
49 | -- Used in printing copyright messages |
50 | ||
51 | Verbose_Library_Version : constant String := "GNAT Lib v" & Library_Version; | |
52 | -- Version string stored in e.g. ALI files | |
53 | ||
fbf5a39b | 54 | function Gnat_Version_String return String; |
38cbfe40 RK |
55 | -- Version output when GNAT (compiler), or its related tools, including |
56 | -- GNATBIND, GNATCHOP, GNATFIND, GNATLINK, GNATMAKE, GNATXREF, are run | |
57 | -- (with appropriate verbose option switch set). | |
07fc65c4 | 58 | |
b5ace3b7 | 59 | type Gnat_Build_Type is (FSF, GPL); |
8405d93c | 60 | -- See Build_Type below for the meaning of these values. |
9596236a | 61 | |
8405d93c AC |
62 | Build_Type : constant Gnat_Build_Type := FSF; |
63 | -- Kind of GNAT build: | |
9596236a AC |
64 | -- |
65 | -- FSF | |
66 | -- GNAT FSF version. This version of GNAT is part of a Free Software | |
b5ace3b7 AC |
67 | -- Foundation release of the GNU Compiler Collection (GCC). The bug |
68 | -- box generated by Comperr gives information on how to report bugs | |
69 | -- and list the "no warranty" information. | |
9596236a | 70 | -- |
b5ace3b7 | 71 | -- GPL |
9977c785 VR |
72 | -- GNAT Community Edition. This is a special version of GNAT, released |
73 | -- by Ada Core Technologies and intended for academic users and free | |
b5ace3b7 AC |
74 | -- software developers. The bug box generated by the package Comperr |
75 | -- gives appropriate bug submission instructions that do not reference | |
76 | -- customer number etc. | |
38cbfe40 | 77 | |
33c423c8 AC |
78 | function Gnat_Free_Software return String; |
79 | -- Text to be displayed by the different GNAT tools when switch --version | |
80 | -- is used. This text depends on the GNAT build type. | |
81 | ||
41c8951a VC |
82 | function Copyright_Holder return String; |
83 | -- Return the name of the Copyright holder to be displayed by the different | |
84 | -- GNAT tools when switch --version is used. | |
85 | ||
2e333199 | 86 | Ver_Len_Max : constant := 256; |
38cbfe40 RK |
87 | -- Longest possible length for Gnat_Version_String in this or any |
88 | -- other version of GNAT. This is used by the binder to establish | |
89 | -- space to store any possible version string value for checks. This | |
90 | -- value should never be decreased in the future, but it would be | |
8bead36a AC |
91 | -- OK to increase it if absolutely necessary. If it is increased, |
92 | -- be sure to increase GNAT.Compiler.Version.Ver_Len_Max as well. | |
38cbfe40 | 93 | |
3c1ecd7e AC |
94 | Ver_Prefix : constant String := "GNAT Version: "; |
95 | -- Prefix generated by binder. If it is changed, be sure to change | |
96 | -- GNAT.Compiler_Version.Ver_Prefix as well. | |
97 | ||
38cbfe40 | 98 | end Gnatvsn; |