Merge branch 'gc-header-fix' of https://github.com/JasonGross/Idris-dev into JasonGross-gc-header-fix
commita0413d08fd9cf974bb3e10fe156249e71b2539ec
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 16 Jul 2014, 00:09 (12 years ago)
parent9b9d513ffb08c2
llvm/Makefile+3−2
@@ -1,13 +1,14 @@
11include ../config.mk
22
3−CFLAGS:=-Wextra -fPIC -Wno-unused-parameter $(CFLAGS)
3+PKG_CONFIG_CFLAGS:=$(shell (pkg-config --version >/dev/null 2>&1) && pkg-config --cflags bdw-gc)
4+CFLAGS:=-Wextra -fPIC -Wno-unused-parameter $(PKG_CONFIG_CFLAGS) $(CFLAGS)
45SOURCES=defs.c
56OBJECTS=$(SOURCES:.c=.o)
67LIB=libidris_rts.a
78
89build: $(SOURCES) $(LIB)
910
10−$(LIB): $(OBJECTS)
11+$(LIB): $(OBJECTS)
1112 ar r $@ $(OBJECTS)
1213 ranlib $@
1314