Date: Wed, 31 Mar 2004 10:11:15 +0300 From: Alexey Zelkin <phantom@FreeBSD.org> To: Dag-Erling Sm?rgrav <des@des.no> Cc: arch@FreeBSD.org Subject: Re: CFD: XMLification of NOTES Message-ID: <20040331071115.GB67752@phantom.cris.net> In-Reply-To: <xzpn05xq4bh.fsf@dwp.des.no> References: <20040328094048.GA40406@phantom.cris.net> <xzp8yhi5qa3.fsf@dwp.des.no> <20040330232429.GA65170@phantom.cris.net> <xzpn05xq4bh.fsf@dwp.des.no>
next in thread | previous in thread | raw e-mail | index | archive | help
hi, On Wed, Mar 31, 2004 at 01:54:10AM +0200, Dag-Erling Sm?rgrav wrote: > Alexey Zelkin <phantom@FreeBSD.org> writes: > > On Tue, Mar 30, 2004 at 05:05:24PM +0200, Dag-Erling Sm?rgrav wrote: > > > NOTES is not intended as a list of supported device and options. We > > > have src/sys/conf/files* and src/sys/conf/options* for that. > > Strange. IMO LINT was existed for exactly this reason > > Your opinion does not matter. The purpose of LINT is to cover as much > code as possible. Why do you think it's called LINT? Hey, please stop such kind of quoting. Maybe you have forgot to read *complete* paragraph of my previous letter ? Especially part of paragraph you deleted while quoting. And according to "my opinion" (in RELENG_4 terms): : $ wc -l LINT : 2886 LINT : $ grep ^# LINT | wc -l : 1916 66.4% (or 2/3) of LINT are comments. So, my opinion is based on current situation. > (hint: man lint) Thanks for the hint. It was helpful hint back in 1996 then I started to use lint(1). > > I am not asking for patches, but if you would provide me general > > description how to realize that CPU_I386 conflicts with SMP and > > ADAPTIVE_MUTEXES depends on SMP (using your way) I would be happy and > > re-think my approach. > > CPU_I386 should not conflict with SMP, but a kernel build with both > will be very slow. Is it hard to check facts before answering ? $FreeBSD: src/sys/i386/i386/mp_machdep.c,v 1.230 2004/01/24 19:52:47 jeff Exp $ : #if defined(I386_CPU) && !defined(COMPILING_LINT) : #error SMP not supported with I386_CPU : #endif : #ifndef DEV_APIC : #error The apic device is required for SMP, add "device apic" to your config file. : #endif : #if defined(CPU_DISABLE_CMPXCHG) && !defined(COMPILING_LINT) : #error SMP not supported with CPU_DISABLE_CMPXCHG : #endif So, I repeat my question "how (based on src/sys/conf/* files) detect these conflicts and dependencies" ? I need conceptual answer only. PS: Answer just for answer is not worth to answer... -- /* Alexey Zelkin && Independent Contractor */ /* phantom(at)FreeBSD.org && http://www.FreeBSD.org/java */ /* phantom(at)cris.net && http://www.FreeBSD.org.ua/ */
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20040331071115.GB67752>