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