remove #include <unistd.h>. Not all platforms provide that header, and it does not seem to be required anyway.
commit8a0beabe7db972ebcc0a9388f510173946951291
authorstepcut <jeremy@n-heptane.com>
dateMon 10 Mar 2014, 17:00 (13 years ago)
parent66936b0
rts/idris_rts.c−1
@@ -1,7 +1,6 @@
11#include <stdlib.h>
22#include <stdio.h>
33#include <string.h>
4−#include <unistd.h>
54#include <stdarg.h>
65#include <assert.h>
76#ifdef HAS_PTHREAD
rts/idris_rts.h−1
@@ -4,7 +4,6 @@
44#include <stdlib.h>
55#include <stdio.h>
66#include <string.h>
7−#include <unistd.h>
87#include <stdarg.h>
98#ifdef HAS_PTHREAD
109#include <pthread.h>