From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3151 invoked by alias); 4 Feb 2013 00:08:08 -0000 Received: (qmail 2911 invoked by uid 48); 4 Feb 2013 00:07:50 -0000 From: "cynt6007 at vandals dot uidaho.edu" To: gcc-bugs@gcc.gnu.org Subject: [Bug ada/51483] [4.7/4.8 regression] cstand.adb:Register_Float_Type makes invalid assumptions about FP representation Date: Mon, 04 Feb 2013 00:08:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: ada X-Bugzilla-Keywords: build X-Bugzilla-Severity: normal X-Bugzilla-Who: cynt6007 at vandals dot uidaho.edu X-Bugzilla-Status: NEW X-Bugzilla-Priority: P4 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 4.7.3 X-Bugzilla-Changed-Fields: CC Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2013-02/txt/msg00205.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483 cynt6007 at vandals dot uidaho.edu changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |cynt6007 at vandals dot | |uidaho.edu --- Comment #14 from cynt6007 at vandals dot uidaho.edu 2013-02-04 00:07:31 UTC --- Can't build Ada/gnat-4.7 on Ubuntu 12.10 because of SPARK issue, although there are long and complicated directions for how to build Ada/gnat-4.7 on Ubuntu, some work and some don't. Per GNU standards, the build system should be changed so that it's possible to build gnat-4.7 with gnat-4.6. Also, if a native compiler of the same version number must be built to build gnat, then the build system should (but fails to) automatically build the native version first, then use that to build the cross compiler.