on master help sign in
Merge branch 'gc-header-fix' of https://github.com/JasonGross/Idris-dev into JasonGross-gc-header-fix
a0413d0Edwin Brady
llvm/Makefile+3−2
@@ -1,13 +1,14 @@
1include ../config.mk
1include ../config.mk
2
2
3+PKG_CONFIG_CFLAGS:=$(shell (pkg-config --version >/dev/null 2>&1) && pkg-config --cflags bdw-gc)
3−CFLAGS:=-Wextra -fPIC -Wno-unused-parameter $(CFLAGS)
4+CFLAGS:=-Wextra -fPIC -Wno-unused-parameter $(PKG_CONFIG_CFLAGS) $(CFLAGS)
4SOURCES=defs.c
5SOURCES=defs.c
5OBJECTS=$(SOURCES:.c=.o)
6OBJECTS=$(SOURCES:.c=.o)
6LIB=libidris_rts.a
7LIB=libidris_rts.a
7
8
8build: $(SOURCES) $(LIB)
9build: $(SOURCES) $(LIB)
9
10
10−$(LIB): $(OBJECTS)
11+$(LIB): $(OBJECTS)
11 ar r $@ $(OBJECTS)
12 ar r $@ $(OBJECTS)
12 ranlib $@
13 ranlib $@
13
14