Respect CFLAGS is a saner manner.

This commit is contained in:
Alexey Dokuchaev 2013-07-09 03:02:39 +00:00
parent d4423f257b
commit 04b0a292b2
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=322544
2 changed files with 11 additions and 11 deletions

View file

@ -57,30 +57,30 @@
- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats
- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex
- $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_smlbas
+ $(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats
+ $(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_lex
+ $(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_smlbas
+ $(ATSLIB) $(ATS_PROOFCHECK) $(CFLAGS) --libats
+ $(ATSLIB) $(ATS_PROOFCHECK) $(CFLAGS) --libats_lex
+ $(ATSLIB) $(ATS_PROOFCHECK) $(CFLAGS) --libats_smlbas
lib32files: .libfiles_local
- $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats
- $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_lex
- $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_smlbas
+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats
+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_lex
+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_smlbas
+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 $(CFLAGS) --libats
+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 $(CFLAGS) --libats_lex
+ $(ATSLIB) $(ATS_PROOFCHECK) -m32 $(CFLAGS) --libats_smlbas
lib64files: .libfiles_local
- $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats
- $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_lex
- $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_smlbas
+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats
+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_lex
+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_smlbas
+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 $(CFLAGS) --libats
+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 $(CFLAGS) --libats_lex
+ $(ATSLIB) $(ATS_PROOFCHECK) -m64 $(CFLAGS) --libats_smlbas
.libfiles_mt_local: .libfiles_mt ; $(CC) -E -P -x c -o $@ $<
libfiles_mt: .libfiles_mt_local
- $(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD -O2 --libats_mt
+ $(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD -O2 $(CFLAGS) --libats_mt
+ $(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD $(CFLAGS) --libats_mt
libatsdoca: ; $(MAKE) -C libatsdoc

View file

@ -5,7 +5,7 @@
BOOTSTRAP1=1
ifdef BOOTSTRAP1
-ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) -O2 -g
+ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) -O2 -g $(CFLAGS)
+ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) $(CFLAGS)
endif
LIBGMP=