git.iko.soy/Idris-dev
on d7b2913 help sign in
Idris-dev/rts/Makefile
27 lines 666 B history raw
1include ../config.mk
3OBJS = idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_stdfgn.o \
4 idris_bitstring.o idris_opts.o idris_stats.o mini-gmp.o
5HDRS = idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_stdfgn.h \
6 idris_bitstring.h idris_opts.h idris_stats.h mini-gmp.h
7CFLAGS:=-fPIC $(CFLAGS)
8CFLAGS += $(GMP_INCLUDE_DIR) $(GMP)
10LIBTARGET = libidris_rts.a
12build: $(LIBTARGET) $(DYLIBTARGET)
14$(LIBTARGET) : $(OBJS)
15 ar r $(LIBTARGET) $(OBJS)
16 ranlib $(LIBTARGET)
18install :
19 mkdir -p $(TARGET)
20 install $(LIBTARGET) $(HDRS) $(TARGET)
22clean :
23 rm -f $(OBJS) $(LIBTARGET) $(DYLIBTARGET)
25idris_rts.o: idris_rts.h
27.PHONY: build install clean