fixups for HAS_PTHREAD changes
commit035d0a91a29a08537ac9533c4ba3a594158e9f4c
authorstepcut <jeremy@n-heptane.com>
dateMon 10 Mar 2014, 16:56 (13 years ago)
parentc399b55
config.mk+1−3
@@ -1,6 +1,6 @@
11CC :=cc
22CABAL :=cabal
3−CFLAGS :=-O2 -Wall $(CFLAGS)
3+CFLAGS :=-O2 -Wall -DHAS_PTHREAD $(CFLAGS)
44#CABALFLAGS :=
55## Disable building of Effects
66#CABALFLAGS :=-f NoEffects
@@ -35,5 +35,3 @@ else
3535 SHLIB_SUFFIX :=.so
3636endif
3737endif
38−
39−#define HAS_PTHREAD
rts/idris_rts.h−5
@@ -68,11 +68,6 @@ typedef struct Closure {
6868 } info;
6969} Closure;
7070
71−#if HAS_PTHREAD
72−typedef void* pthread_mutex_t;
73−typedef void* pthread_cond_t;
74−#endif
75−
7671typedef struct {
7772 VAL* valstack;
7873 VAL* valstack_top;