git.iko.soy/Idris-dev
on master help sign in
Forgotten file
114221aBenjamin Saunders
llvm/Makefilenew file+24
compare with master
unifiedsplit
@@ -0,0 +1,24 @@
1+include ../config.mk
2+
3+CFLAGS=-c -O2 -Wall -Wextra -fPIC
4+SOURCES=defs.c
5+OBJECTS=$(SOURCES:.c=.o)
6+LIB=libidris_rts.a
7+
8+all: $(SOURCES) $(LIB)
9+
10+$(LIB): $(OBJECTS)
11+ ar r $@ $(OBJECTS)
12+ ranlib $@
13+
14+.c.o:
15+ $(CC) $(CFLAGS) $< -o $@
16+
17+install: $(LIB) .PHONY
18+ mkdir -p $(TARGET)
19+ install $(LIB) $(TARGET)
20+
21+clean: .PHONY
22+ rm -f $(OBJECTS) $(LIB)
23+
24+.PHONY: