diff --git a/src/julia.h b/src/julia.h index 52f2f96f11abf6..e39f0987dd4e24 100644 --- a/src/julia.h +++ b/src/julia.h @@ -1315,6 +1315,7 @@ void jl_print_gc_stats(JL_STREAM *s); // debugging void show_execution_point(char *filename, int lno); + // compiler options ----------------------------------------------------------- typedef struct { @@ -1351,6 +1352,14 @@ extern DLLEXPORT jl_compileropts_t jl_compileropts; #define JL_COMPILEROPT_DUMPBITCODE_ON 1 #define JL_COMPILEROPT_DUMPBITCODE_OFF 2 +// julia options -------------------------------------------------------------- + +typedef struct { + compiler_opts_t *compiler_opts; +} jl_options_t + +extern DLLEXPORT jl_options_t jl_options; + // Version information #include "julia_version.h"