edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-09-20 12:27:44 +03:00
Code Issues Projects Releases Wiki Activity

Remove -DHAS_PTHREAD from rts

Browse Source 
We don't use it (the performance overhead is too much) so don't require
it to be linked in.
This commit is contained in:
Edwin Brady 2020-03-06 15:48:01 +00:00
parent 2eb9a52727
commit dcaaed2060
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/Makefile vendored
View File

@ -4,7 +4,7 @@ all: idris2
idris2: idris2.c
make -C rts
$(CC) $(OPT) idris2.c -o idris2 -I rts -L rts -lidris_rts -lpthread -lgmp -lm
$(CC) $(OPT) idris2.c -o idris2 -I rts -L rts -lidris_rts -lgmp -lm
clean:
make -C rts clean

2
dist/config.mk vendored
View File

@ -1,5 +1,5 @@
RANLIB ?=ranlib
CFLAGS :=-O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L -DHAS_PTHREAD $(CFLAGS)
CFLAGS :=-O2 -Wall -std=c99 -pipe -fdata-sections -ffunction-sections -D_POSIX_C_SOURCE=200809L $(CFLAGS)
ifneq (, $(findstring bsd, $(MACHINE)))
GMP_INCLUDE_DIR :=