Right now, scheduler.h includes <pthread> and uses it to increase the process priority. This should only be done if the platform actually supports pthread. So, this should be checked at compile-time.
Turns out that autodetecting the presence of pthread on a system is pretty nasty. But I made a makefile option (USE_PTHREAD) that can control the usage of pthread in the devel branch.
Right now,
scheduler.h
includes<pthread>
and uses it to increase the process priority. This should only be done if the platform actually supports pthread. So, this should be checked at compile-time.