rts: add getline to Makefile
commit44ce3873f8cb462d52be12469a606616e161e7ad
authorHeather <heather@live.ru>
dateWed 1 Apr 2015, 13:28 (12 years ago)
parente5384b9
rts/Makefile+2−2
@@ -1,10 +1,10 @@
11include ../config.mk
22
33OBJS = idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o \
4− idris_opts.o idris_stats.o idris_utf8.o mini-gmp.o
4+ idris_opts.o idris_stats.o idris_utf8.o mini-gmp.o getline.o
55HDRS = idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_bitstring.h \
66 idris_opts.h idris_stats.h mini-gmp.h idris_stdfgn.h idris_net.h \
7− idris_utf8.h
7+ idris_utf8.h getline.h
88CFLAGS:=-fPIC $(CFLAGS)
99CFLAGS += $(GMP_INCLUDE_DIR) $(GMP) -DIDRIS_TARGET_OS="\"$(OS)\""
1010CFLAGS += -DIDRIS_TARGET_TRIPLE="\"$(MACHINE)\""