From f4a2c0c968a7371b949df294768cdc4f9d3c1d38 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergio=20S=C3=A1nchez=20Ram=C3=ADrez?= Date: Mon, 6 May 2024 17:14:15 +0200 Subject: [PATCH] Set some envs on init --- src/Extrae.jl | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/Extrae.jl b/src/Extrae.jl index c1a4949..bfffbd0 100644 --- a/src/Extrae.jl +++ b/src/Extrae.jl @@ -5,4 +5,12 @@ include("API.jl") export Event, typecode, valuecode, description export version, init, isinit, finish, flush, instrumentation, emit, register, previous_hwc_set, next_hwc_set, set_tracing_tasks, setoption, network_counters, network_routes, user_function +function __init__() + FFI.Extrae_init() + + get!(ENV, "EXTRAE_HOME", Extrae_jll.artifact_dir) + get!(ENV, "EXTRAE_DISABLE_OMP", true) + get!(ENV, "EXTRAE_DISABLE_PTHREAD", false) +end + end