git.iko.soy/Idris-dev
on 114221a help sign in
Idris-dev/llvm/Makefile
24 lines 343 B history raw
1include ../config.mk
3CFLAGS=-c -O2 -Wall -Wextra -fPIC
4SOURCES=defs.c
5OBJECTS=$(SOURCES:.c=.o)
6LIB=libidris_rts.a
8all: $(SOURCES) $(LIB)
10$(LIB): $(OBJECTS)
11 ar r $@ $(OBJECTS)
12 ranlib $@
14.c.o:
15 $(CC) $(CFLAGS) $< -o $@
17install: $(LIB) .PHONY
18 mkdir -p $(TARGET)
19 install $(LIB) $(TARGET)
21clean: .PHONY
22 rm -f $(OBJECTS) $(LIB)
24.PHONY: