10 #include <hilti/rt/filesystem.h>
11 #include <hilti/rt/util.h>
41 std::optional<hilti::rt::filesystem::path>
debug_out;
63 std::optional<std::reference_wrapper<std::ostream>>
cout;
66 namespace configuration {
70 extern std::unique_ptr<hilti::rt::Configuration> __configuration;
79 assert(detail::__configuration);
80 return *detail::__configuration;
89 inline const Configuration& get() {
90 if ( ! detail::__configuration )
91 detail::__configuration = std::make_unique<hilti::rt::Configuration>();
93 return *detail::__configuration;
102 extern void set(Configuration cfg);
Definition: configuration.h:16
unsigned int fiber_cache_size
Definition: configuration.h:29
std::string debug_streams
Definition: configuration.h:60
size_t fiber_individual_stack_size
Definition: configuration.h:20
size_t fiber_min_stack_size
Definition: configuration.h:38
bool enable_profiling
Definition: configuration.h:57
bool report_resource_usage
Definition: configuration.h:50
std::optional< hilti::rt::filesystem::path > debug_out
Definition: configuration.h:41
bool abort_on_exceptions
Definition: configuration.h:47
std::optional< std::reference_wrapper< std::ostream > > cout
Definition: configuration.h:63
size_t fiber_shared_stack_swap_size_min
Definition: configuration.h:26
bool show_backtraces
Definition: configuration.h:44
size_t fiber_shared_stack_size
Definition: configuration.h:23