git.iko.soy/Idris-dev
on c79fb21 help sign in
Idris-dev/llvm/Makefile
25 lines 491 B history raw
1include ../config.mk
3PKG_CONFIG_CFLAGS:=$(shell (pkg-config --version >/dev/null 2>&1) && pkg-config --cflags bdw-gc)
4CFLAGS:=-Wextra -fPIC -Wno-unused-parameter $(PKG_CONFIG_CFLAGS) $(CFLAGS)
5SOURCES=defs.c
6OBJECTS=$(SOURCES:.c=.o)
7LIB=libidris_rts.a
9build: $(SOURCES) $(LIB)
11$(LIB): $(OBJECTS)
12 ar r $@ $(OBJECTS)
13 ranlib $@
15.c.o:
16 $(CC) -c $(CFLAGS) $< -o $@
18install: $(LIB)
19 mkdir -p $(TARGET)
20 install $(LIB) $(TARGET)
22clean:
23 rm -f $(OBJECTS) $(LIB)
25.PHONY: build install clean