aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/init.c
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2015-10-20 11:53:11 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2015-10-20 11:53:11 +0200
commit3c777b50a71002d3b0cb8c62a9bbdb846e286e96 (patch)
treed31771f34536bd99b3f7a1a240d50799a237c1ba /gcc/ada/init.c
parent7188885e569f18885615d4064e393d4c6db77e80 (diff)
downloadgcc-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.c5
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;