diff options
| -rw-r--r-- | gcc/ada/bindgen.adb | 14 | ||||
| -rw-r--r-- | gcc/ada/gnatbind.adb | 3 |
2 files changed, 12 insertions, 5 deletions
diff --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb index e37a386a9be..bd3867487c1 100644 --- a/gcc/ada/bindgen.adb +++ b/gcc/ada/bindgen.adb @@ -2522,8 +2522,18 @@ package body Bindgen is WBI (" (int, int, char, char, char, char,"); WBI (" const char *, const char *,"); WBI (" int, int, int, int, int);"); - WBI ("extern void " & Ada_Final_Name.all & " (void);"); - WBI ("extern void " & Ada_Init_Name.all & " (void);"); + + if Use_Pragma_Linker_Constructor then + WBI ("extern void " & Ada_Final_Name.all & + " (void) __attribute__((destructor));"); + WBI ("extern void " & Ada_Init_Name.all & + " (void) __attribute__((constructor));"); + + else + WBI ("extern void " & Ada_Final_Name.all & " (void);"); + WBI ("extern void " & Ada_Init_Name.all & " (void);"); + end if; + WBI ("extern void system__standard_library__adafinal (void);"); if not No_Main_Subprogram then diff --git a/gcc/ada/gnatbind.adb b/gcc/ada/gnatbind.adb index cbd3ceabf6e..270d3342810 100644 --- a/gcc/ada/gnatbind.adb +++ b/gcc/ada/gnatbind.adb @@ -413,9 +413,6 @@ begin if Bind_Main_Program then Fail ("switch -a must be used in conjunction with -n or -Lxxx"); - elsif not Ada_Bind_File then - Fail ("switch -a cannot be used when C code is generated"); - elsif not Gnatbind_Supports_Auto_Init then Fail ("automatic initialisation of elaboration " & "not supported on this platform"); |