@@ -5,7 +5,7 @@ OBJS = idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o \
5HDRS = idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_bitstring.h \
5HDRS = idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_bitstring.h \
6 idris_opts.h idris_stats.h mini-gmp.h idris_stdfgn.h idris_net.h \
6 idris_opts.h idris_stats.h mini-gmp.h idris_stdfgn.h idris_net.h \
7 idris_utf8.h getline.h
7 idris_utf8.h getline.h
8−CFLAGS:=-fPIC $(CFLAGS)
8+CFLAGS := $(CFLAGS)
9CFLAGS += $(GMP_INCLUDE_DIR) $(GMP) -DIDRIS_TARGET_OS="\"$(OS)\""
9CFLAGS += $(GMP_INCLUDE_DIR) $(GMP) -DIDRIS_TARGET_OS="\"$(OS)\""
10CFLAGS += -DIDRIS_TARGET_TRIPLE="\"$(MACHINE)\""
10CFLAGS += -DIDRIS_TARGET_TRIPLE="\"$(MACHINE)\""
@@ -21,6 +21,7 @@ endif
21ifeq ($(OS), windows)
21ifeq ($(OS), windows)
22 OBJS += windows/idris_stdfgn.o windows/idris_net.o windows/win_utils.o
22 OBJS += windows/idris_stdfgn.o windows/idris_net.o windows/win_utils.o
24 OBJS += idris_stdfgn.o idris_net.o
25 OBJS += idris_stdfgn.o idris_net.o