git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/rts/Makefile
34 lines 864 B history raw
1include ../config.mk
3OBJS = idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_bitstring.o \
4 idris_opts.o idris_stats.o mini-gmp.o
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
7CFLAGS:=-fPIC $(CFLAGS)
8CFLAGS += $(GMP_INCLUDE_DIR) $(GMP) -DIDRIS_TARGET_OS="\"$(OS)\""
9CFLAGS += -DIDRIS_TARGET_TRIPLE="\"$(MACHINE)\""
11ifeq ($(OS), windows)
12 OBJS += windows/idris_stdfgn.o windows/idris_net.o
13else
14 OBJS += idris_stdfgn.o idris_net.o
15endif
17LIBTARGET = libidris_rts.a
19build: $(LIBTARGET) $(DYLIBTARGET)
21$(LIBTARGET) : $(OBJS)
22 ar r $(LIBTARGET) $(OBJS)
23 ranlib $(LIBTARGET)
25install :
26 mkdir -p $(TARGET)
27 install $(LIBTARGET) $(HDRS) $(TARGET)
29clean :
30 rm -f $(OBJS) $(LIBTARGET) $(DYLIBTARGET)
32idris_rts.o: idris_rts.h
34.PHONY: build install clean