-- --
-- S p e c --
-- --
--- --
--- Copyright (C) 1992-2000 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- --
-- MA 02111-1307, USA. --
-- --
-- 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. --
-- --
------------------------------------------------------------------------------
-- When comperr generates the "bug box". The first two lines contain
-- information on the version number, type of abort, and source location.
- -- Normally the remaining text is one of the following two forms
- -- depending on the version number (p identifies public versions):
-
- -- Please submit bug report by email to report@gnat.com.
- -- Use a subject line meaningful to you and us to track the bug.
- -- (include your customer number #nnn in the subject line).
- -- Include the entire contents of this bug box in the report.
- -- Include the exact gcc or gnatmake command that you entered.
- -- Also include sources listed below in gnatchop format
- -- (concatenated together with no headers between files).
- -- (use plain ASCII or MIME attachment,
- -- or FTP to your customer directory).
- -- See README.GNATPRO for full info on procedure for submitting bugs.
-
- -- or (public version case)
-
- -- Please submit bug report by email to report@gnat.com.
- -- Use a subject line meaningful to you and us to track the bug.
- -- (include your customer number #nnn in the subject line).
- -- Include the entire contents of this bug box in the report.
- -- Include the exact gcc or gnatmake command that you entered.
- -- Also include sources listed below in gnatchop format
- -- (concatenated together with no headers between files).
- -- See gnatinfo.txt for full info on procedure for submitting bugs.
+ -- Normally the remaining text is one of three possible forms
+ -- depending on Gnatvsn.Gnat_Version_Type (FSF, Public, GNATPRO).
+ -- See body of this package for the exact text used.
- -- However, an alternative mechanism exists for easily substituting
+ -- In addition, an alternative mechanism exists for easily substituting
-- different text for this message. Compiler_Abort checks for the
-- existence of the file "gnat_bug.box" in the current source path.
-- Most typically this file, if present, will be in the directory
-- containing the run-time sources.
-- If this file is present, then it is a plain ASCII file, whose
- -- contents replace the above quoted paragraphs. The lines in this
- -- file should be 72 characters or less to avoid misformatting the
- -- right boundary of the box. Note that the file does not contain
- -- the vertical bar characters or any leading spaces in lines.
+ -- contents replace the remaining text. The lines in this file should be
+ -- 72 characters or less to avoid misformatting the right boundary of the
+ -- box. Note that the file does not contain the vertical bar characters or
+ -- any leading spaces in lines.
end Comperr;