diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 11:53:11 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-20 11:53:11 +0200 |
commit | 3c777b50a71002d3b0cb8c62a9bbdb846e286e96 (patch) | |
tree | d31771f34536bd99b3f7a1a240d50799a237c1ba /gcc/ada/init.c | |
parent | 7188885e569f18885615d4064e393d4c6db77e80 (diff) | |
download | gcc-3c777b50a71002d3b0cb8c62a9bbdb846e286e96.zip gcc-3c777b50a71002d3b0cb8c62a9bbdb846e286e96.tar.gz gcc-3c777b50a71002d3b0cb8c62a9bbdb846e286e96.tar.bz2 |
[multiple changes]
2015-10-20 Thomas Quinot <quinot@adacore.com>
* Makefile.rtl: add the following...
* g-binenv.ads, g-binenv.adb: New unit providing runtime access
to bind time captured values ("bind environment")
* init.c: declare new global variable __gl_bind_env_addr.
* bindgen.ads, bindgen.adb (Set_Bind_Env): record a bind
environment key=value pair.
(Gen_Bind_Env_String): helper to produce the bind environment data
called in the binder generated file.
(Gen_Output_File_Ada): Call the above (Gen_Adainit): Set
__gl_bind_env_addr accordingly.
* switch-b.adb: Support for command line switch -V (user interface
to set a build environment key=value pair)
* bindusg.adb: Document the above
2015-10-20 Vincent Celier <celier@adacore.com>
* sem_prag.adb (Analyse_Pragma: Pragma Pure): Do not set the
entity as Pure if Debug_Flag_U is set.
From-SVN: r229031
Diffstat (limited to 'gcc/ada/init.c')
-rw-r--r-- | gcc/ada/init.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/init.c b/gcc/ada/init.c index 5754fae..e40487f 100644 --- a/gcc/ada/init.c +++ b/gcc/ada/init.c @@ -93,7 +93,9 @@ extern void Raise_From_Signal_Handler (struct Exception_Data *, const char *); extern void Raise_From_Signal_Handler (struct Exception_Data *, const char *); #endif -/* Global values computed by the binder. */ +/* Global values computed by the binder. Note that these variables are + declared here, not in the binder file, to avoid having unresolved + references in the shared libgnat. */ int __gl_main_priority = -1; int __gl_main_cpu = -1; int __gl_time_slice_val = -1; @@ -111,6 +113,7 @@ int __gl_detect_blocking = 0; int __gl_default_stack_size = -1; int __gl_leap_seconds_support = 0; int __gl_canonical_streams = 0; +char *__gl_bind_env_addr = NULL; /* This value is not used anymore, but kept for bootstrapping purpose. */ int __gl_zero_cost_exceptions = 0; |