Date: Fri, 19 Sep 2014 10:56:50 -0400 (EDT) From: Benjamin Kaduk <kaduk@MIT.EDU> To: "O. Hartmann" <ohartman@zedat.fu-berlin.de> Cc: FreeBSD CURRENT <freebsd-current@freebsd.org> Subject: Re: src.conf: CFLAGS/COPTFLAGS inconsistency Message-ID: <alpine.GSO.1.10.1409191052580.21571@multics.mit.edu> In-Reply-To: <20140919150029.1f27e490.ohartman@zedat.fu-berlin.de> References: <20140919150029.1f27e490.ohartman@zedat.fu-berlin.de>
next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, 19 Sep 2014, O. Hartmann wrote: > man make.conf states, that COPTFLAGS is used for building/compiling the kernel > (exclusively). The question arises: are kernel modules NOT kernel or are they kernel? > > The problem I face is that with optimization level -O3 loader.efi gets miscompiled and a > UEFI laptop stops/reject booting. To avoid other interference, I defined COPTFLAGS > in /etc/src.conf accordingly, but leave CFLAGS?=-O3 in /etc/make.conf for compilation of > regular ports and the rest of the OS. > > I can observe that with CFLAGS set, either in make.conf, or src.conf or mutual exclusive, > the CFLAGS is ALWAYS incorporated when kernel stuff like modules and even the loader.efi > is built! I consider this inconsitent, since loader.efi is definitely kernel related > stuff as well as modules. Sorry, I don't think I understand what you're trying to say in these two pragraphs. What does "defined COPTFLAGS in /etc/src.conf accordingly" mean? Likewise, what does " CFLAGS set, either in make.conf, or src.conf or mutual exclusive" mean? It may be best to give concrete examples of make.conf/src.conf settings pairs, and the observed behavior. > It seems to me that it s not possible to separate cleanly CFLAGS and COPTFLAGS for > userland/ports and kernel-only related compilations as described in the man page. BTW, COPTFLAGS (str) Controls the compiler settings when building the ker- nel. Optimization levels above [-O (-O2, ...)] are not guaranteed to work. Note the last sentence. -Ben
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?alpine.GSO.1.10.1409191052580.21571>