1 2 3 4 5 6 7 8 9
#include "rts/PosixSource.h" #include "ghcconfig.h" #include "Rts.h" uint32_t getNumberOfProcessors (void) { return 1; }