pixi: Add tracy feature

Author: jorisv

development/scripts/pixi/activation.bat

@@ -23,3 +23,4 @@ if not defined PINOCCHIO_CODEGEN_SUPPORT (set PINOCCHIO_CODEGEN_SUPPORT=OFF)
 if not defined PINOCCHIO_SDF_SUPPORT (set PINOCCHIO_SDF_SUPPORT=OFF)
 if not defined PINOCCHIO_MPFR_SUPPORT (set PINOCCHIO_MPFR_SUPPORT=OFF)
 if not defined PINOCCHIO_BUILD_BENCHMARK (set PINOCCHIO_BUILD_BENCHMARK=OFF)
+if not defined PINOCCHIO_BUILD_WITH_TRACY(set PINOCCHIO_BUILD_WITH_TRACY=OFF)

development/scripts/pixi/activation.sh

@@ -51,3 +51,4 @@ export PINOCCHIO_CODEGEN_SUPPORT=${PINOCCHIO_CODEGEN_SUPPORT:=OFF}
 export PINOCCHIO_SDF_SUPPORT=${PINOCCHIO_SDF_SUPPORT:=OFF}
 export PINOCCHIO_MPFR_SUPPORT=${PINOCCHIO_MPFR_SUPPORT:=OFF}
 export PINOCCHIO_BUILD_BENCHMARK=${PINOCCHIO_BUILD_BENCHMARK:=OFF}
+export PINOCCHIO_BUILD_WITH_TRACY=${PINOCCHIO_BUILD_WITH_TRACY:=OFF}