Take CFLAGS from environment in Makefiles
commit58bb8e0cdf367a09c8d2a7942df06fada134d1d2
authorBenjamin Saunders <besaunde@sfu.ca>
dateWed 31 Jul 2013, 21:23 (13 years ago)
parent55dbed5
config.mk+1
@@ -1,6 +1,7 @@
11GMP_INCLUDE_DIR :=
22CC :=gcc
33CABAL :=cabal
4+CFLAGS :=-O2 -Wall $(CFLAGS)
45#CABALFLAGS :=
56## Disable building of Effects
67#CABALFLAGS :=-f NoEffects
llvm/Makefile+2−2
@@ -1,6 +1,6 @@
11include ../config.mk
22
3−CFLAGS=-c -O2 -Wall -Wextra -fPIC -Wno-unused-parameter
3+CFLAGS:=-Wextra -fPIC -Wno-unused-parameter $(CFLAGS)
44SOURCES=defs.c
55OBJECTS=$(SOURCES:.c=.o)
66LIB=libidris_rts.a
@@ -12,7 +12,7 @@ $(LIB): $(OBJECTS)
1212 ranlib $@
1313
1414.c.o:
15− $(CC) $(CFLAGS) $< -o $@
15+ $(CC) -c $(CFLAGS) $< -o $@
1616
1717install: $(LIB) .PHONY
1818 mkdir -p $(TARGET)
rts/Makefile+1−2
@@ -2,8 +2,7 @@ include ../config.mk
22
33OBJS = idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_stdfgn.o idris_bitstring.o idris_opts.o idris_stats.o
44HDRS = idris_rts.h idris_heap.h idris_gc.h idris_gmp.h idris_stdfgn.h idris_bitstring.h idris_opts.h idris_stats.h
5−CFLAGS = -O2 -Wall -fPIC
6−
5+CFLAGS:=-fPIC $(CFLAGS)
76ifneq ($(GMP_INCLUDE_DIR),)
87 CFLAGS += -isystem $(GMP_INCLUDE_DIR)
98endif