From dcaaed2060187cc464988b4f40700e339379ba3d Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Fri, 6 Mar 2020 15:48:01 +0000 Subject: [PATCH] Remove -DHAS_PTHREAD from rts We don't use it (the performance overhead is too much) so don't require it to be linked in. --- dist/Makefile | 2 +- dist/config.mk | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dist/Makefile b/dist/Makefile index 88e9e6b..aa80924 100644 --- a/dist/Makefile +++ b/dist/Makefile @@ -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 diff --git a/dist/config.mk b/dist/config.mk index 69f3183..1fb0751 100644 --- a/dist/config.mk +++ b/dist/config.mk @@ -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 :=