Define CHAMELEON_ENABLE_TRACING correctly.

Fixes #38 (closed)

@schnorr Does this fix your problem?

@tmijieux I've tried to get your modifications with git fetch git@gitlab.inria.fr:tmijieux/chameleon.git fix/enable_tracing but git says I have no read access.

It is now public. @schnorr

Thanks @tmijieux. It works perfectly.

mentioned in issue #38 (closed)

@schnorr, can you please try to pull the patch from PR !52 (merged), it should work similarly to this one. But just to make sure before merging it.

closed