git.iko.soy/Idris-dev
on master help sign in
fixups for HAS_PTHREAD changes
035d0a9stepcut
config.mk+1−3
compare with master
unifiedsplit
@@ -1,6 +1,6 @@
1CC :=cc
1CC :=cc
2CABAL :=cabal
2CABAL :=cabal
3−CFLAGS :=-O2 -Wall $(CFLAGS)
3+CFLAGS :=-O2 -Wall -DHAS_PTHREAD $(CFLAGS)
4#CABALFLAGS :=
4#CABALFLAGS :=
5## Disable building of Effects
5## Disable building of Effects
6#CABALFLAGS :=-f NoEffects
6#CABALFLAGS :=-f NoEffects
@@ -35,5 +35,3 @@ else
35 SHLIB_SUFFIX :=.so
35 SHLIB_SUFFIX :=.so
36endif
36endif
37endif
37endif
38−
39−#define HAS_PTHREAD
rts/idris_rts.h−5
@@ -68,11 +68,6 @@ typedef struct Closure {
68 } info;
68 } info;
69} Closure;
69} Closure;
70
70
71−#if HAS_PTHREAD
72−typedef void* pthread_mutex_t;
73−typedef void* pthread_cond_t;
74−#endif
75−
76typedef struct {
71typedef struct {
77 VAL* valstack;
72 VAL* valstack;
78 VAL* valstack_top;
73 VAL* valstack_top;