Compilation options do not seem to be taken into account

[dlonguet]

When adding a compilation option like pthread in the configuration option external-libs, the compilation behaviour stays the same (still an error on pthreads elements in the code), and a search for 'pthread' in the log file does not show that the option was actually used during compilation. Is it the right way to use the configuration option external-lib?

[Stevendeo]

Yes it should be the right option; it seems indeed the options is not used when calling the compilation commands