3709192002-03-20Martin Nilsson #pike __REAL_VERSION__
9da7f42001-06-05Martin Stjernholm // Pike core things that don't belong anywhere else. //
1cbb892011-04-25Martin Stjernholm // $Id$
9da7f42001-06-05Martin Stjernholm  constant WEAK_INDICES = __builtin.PIKE_WEAK_INDICES; constant WEAK_VALUES = __builtin.PIKE_WEAK_VALUES; constant WEAK = WEAK_INDICES|WEAK_VALUES; //! Flags for use together with @[set_weak_flag] and @[get_weak_flag]. //! See @[set_weak_flag] for details.
1f6fcf2001-08-15Martin Nilsson  constant BacktraceFrame = __builtin.backtrace_frame;
a501ee2002-03-08Henrik Grubbström (Grubba)  #if constant(__builtin.security) // This only exists if the run-time has been compiled with // --with-security. constant Security = __builtin.security; #endif /* constant(__builtin.security) */
0afce72002-03-12Henrik Grubbström (Grubba) 
34d1582002-03-12Henrik Grubbström (Grubba) constant Backend = __builtin.Backend; constant DefaultBackend = __builtin.__backend;