Re: CFD: XMLification of NOTES

From: Alexey Zelkin (phantom_at_FreeBSD.org)
Date: 03/31/04

  • Next message: Peter Wemm: "Re: CFD: XMLification of NOTES" 
    Date: Wed, 31 Mar 2004 10:11:15 +0300
To: Dag-Erling Sm?rgrav <des@des.no>

    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/  */
_______________________________________________
freebsd-arch@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-arch
To unsubscribe, send any mail to "freebsd-arch-unsubscribe@freebsd.org"
  • Next message: Peter Wemm: "Re: CFD: XMLification of NOTES"

    Relevant Pages

    • Re: CFD: XMLification of NOTES
      ... IMO LINT was existed for exactly this reason ... > Your opinion does not matter. ... No, it does conflict. ...
      (freebsd-arch)
    • Re: CFD: XMLification of NOTES
      ... >> Your opinion does not matter. ... The purpose of LINT is to cover as much ... Why do you think it's called LINT? ...
      (freebsd-arch)