On 05/27/2014 08:12 AM, Florent Hivert wrote: > Is gcc-help the right place to ask such a question ? If not, can you please > tell me where to post it ? This is the right place, but I don't think anyone here knows. You will have to ask one of the cilk maintainers. Andrew.