diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 17:18:34 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 17:18:34 +0200 |
| commit | a54d0eb4b0cb6335ddff8b01aad449a0d31fe6fb (patch) | |
| tree | 2d1450e765b433d99c8b54dc23b7f75309a9077c /gcc/ada/gnatbind.adb | |
| parent | 84f405a1c1900c72c8ea496ae68e101539227de4 (diff) | |
| download | gcc-a54d0eb4b0cb6335ddff8b01aad449a0d31fe6fb.zip gcc-a54d0eb4b0cb6335ddff8b01aad449a0d31fe6fb.tar.gz gcc-a54d0eb4b0cb6335ddff8b01aad449a0d31fe6fb.tar.bz2 | |
[multiple changes]
2011-08-04 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, make.adb, a-cohata.ads, sem_prag.adb, makeutl.adb,
lib-xref-alfa.adb: Minor reformatting.
2011-08-04 Marc Sango <sango@adacore.com>
* sem_ch12.adb (Analyze_Generic_Package_Declaration,
Analyze_Generic_Subprogram_Declaration, Analyze_Package_Instantiation,
Analyze_Subprogram_Instantiation): Check absence of generic in SPARK
mode.
2011-08-04 Tristan Gingold <gingold@adacore.com>
* bindgen.adb (Gen_Adainit_C): Remove.
(Gen_Adafinal_C): Ditto.
(Gen_Elab_Externals_C): Ditto.
(Gen_Elab_Calls_C): Ditto.
(Gen_Elab_Order_C): Ditto.
(Gen_Elab_Defs_C): Ditto.
(Gen_Finalize_Library_C): Ditto.
(Gen_Finalize_Library_Defs_C): Ditto.
(Gen_Main_C): Ditto.
(Gen_Output_File_C): Ditto.
(Gen_Restrictions_C): Ditto.
(Gen_Versions_C): Ditto.
(Write_Info_Ada_C): Ditto.
(Gen_Object_Files_Options): Call WBI instead of Write_Info_Ada_C
(Gen_Output_File): Do not force Ada_Bind_File anymore.
Always call Gen_Output_File_Ada.
* gnatlink.adb (Begin_Info): Now a constant.
(End_Info): Ditto.
(Ada_Bind_File): Remove
(Process_Args): Do not handle -A/-C. Remove not Ada_Bind_File cases.
* switch-b.adb (Scan_Binder_Switches): Do not handle -C.
* gnatbind.adb (Gnatbind): Remove not Ada_Bind_File cases.
* opt.ads (Ada_Bind_File): Remove.
2011-08-04 Thomas Quinot <quinot@adacore.com>
* projects.texi: Document target-specific directory in default project
path for gnatmake.
2011-08-04 Thomas Quinot <quinot@adacore.com>
* gnatls.adb, prj-env.adb: Add $prefix/share/gpr to default project
path in all cases .
From-SVN: r177395
Diffstat (limited to 'gcc/ada/gnatbind.adb')
| -rw-r--r-- | gcc/ada/gnatbind.adb | 20 |
1 files changed, 6 insertions, 14 deletions
diff --git a/gcc/ada/gnatbind.adb b/gcc/ada/gnatbind.adb index 2c83bf2..18eb36e 100644 --- a/gcc/ada/gnatbind.adb +++ b/gcc/ada/gnatbind.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2010, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2011, 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- -- @@ -568,20 +568,12 @@ begin Last : constant Natural := Output_File_Name'Last; begin - if Ada_Bind_File then - if Length <= 4 - or else Output_File_Name (Last - 3 .. Last) /= ".adb" - then - Fail ("output file name should have .adb extension"); - end if; - - else - if Length <= 2 - or else Output_File_Name (Last - 1 .. Last) /= ".c" - then - Fail ("output file name should have .c extension"); - end if; + if Length <= 4 + or else Output_File_Name (Last - 3 .. Last) /= ".adb" + then + Fail ("output file name should have .adb extension"); end if; + end Check_Extensions; end if; |