On Wed, Apr 09, 2014 at 03:46:13PM +0400, Alexander Ivchenko wrote: > ping..
I guess it really depends on whether the libcilkrts sources are going to be (semi?)regularly imported from some upstream repository or not, and if the upstream is willing to accept these changes. The alternative is to modify libcilkrts/configure.ac and/or libcilkrts/Makefile.am, so that on Android target -DANDROID is passed to libcilkrts compilation, if libcilkrts upstream wouldn't be willing to accept the change. So, we really need feedback from Balaji on this. Jakub