git.iko.soy/Idris-dev
on 496cf41 help sign in
Idris-dev/rts/Makefile
27 lines 509 B history raw
1include ../config.mk
3OBJS = idris_rts.o idris_gc.o idris_gmp.o idris_stdfgn.o
4HDRS = idris_rts.h idris_gc.h idris_gmp.h idris_stdfgn.h
5CFLAGS = -O2 -Wall
6ifneq ($(GMP_INCLUDE_DIR),)
7 CFLAGS += -isystem $(GMP_INCLUDE_DIR)
8endif
10LIBTARGET = libidris_rts.a
12check : $(LIBTARGET)
14$(LIBTARGET) : $(OBJS)
15 ar r $(LIBTARGET) $(OBJS)
16 ranlib $(LIBTARGET)
18install : .PHONY
19 mkdir -p $(TARGET)
20 install $(LIBTARGET) $(HDRS) $(TARGET)
22clean : .PHONY
23 rm -f $(OBJS) $(LIBTARGET)
25idris_rts.o: idris_rts.h
27.PHONY: