Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 31 Mar 1996 20:04:19 +0100 (BST)
From:      Paul Richards <paul@originat.demon.co.uk>
To:        jkh@time.cdrom.com (Jordan K. Hubbard)
Cc:        paul@netcraft.co.uk, current@FreeBSD.org
Subject:   Re: lint..
Message-ID:  <199603311904.UAA09220@originat.demon.co.uk>
In-Reply-To: <19890.828298206@time.cdrom.com> from "Jordan K. Hubbard" at Mar 31, 96 10:50:06 am

next in thread | previous in thread | raw e-mail | index | archive | help
In reply to Jordan K. Hubbard who said
> 
> First it blew up trying to run lint on something when lint wasn't even
> installed.  So then I installed lint by hand, figuring that was the
> temporary fix, and I ran make world again:
> 
> gzip -c /a/src-current/usr.bin/xlint/xlint/lint.1 > lint.1.gz
> ===> usr.bin/xlint/llib
> lint -Cc /a/src-current/usr.bin/xlint/llib/llib-lc
> llib-lc:
> lint: cannot exec /usr/libexec/lint1: No such file or directory
> *** Error code 1
> 
> Stop.
> 
> Nope, no cigar.  It's easy to test this, simply nuke lint off your
> system and do a make world - it will fall over.

Sounds like your Makefile is out of date. There's a bootstrap target that
installs lint before anything else.

world:  hierarchy mk $(WORLD_CLEANDIST) bootstrap include-tools includes lib-too
ls libraries build-tools
    @echo "--------------------------------------------------------------"
    @echo " Rebuilding ${DESTDIR} The whole thing"
    @echo "--------------------------------------------------------------"
    @echo
    ${MAKE} depend all install
    cd ${.CURDIR}/share/man &&      ${MAKE} makedb
    @echo "make world completed on `date`"
    
bootstrap:
    cd ${.CURDIR}/usr.bin/xlint && ${MAKE} lint1 lint2 xlint
    cd ${.CURDIR}/usr.bin/xlint/lint1 && ${MAKE} install
    cd ${.CURDIR}/usr.bin/xlint/lint2 && ${MAKE} install
    cd ${.CURDIR}/usr.bin/xlint/xlint && ${MAKE} install

lint isn't enabled anywhere, all I've done is install the binary. 

-- 
  Paul Richards, Originative Solutions Ltd.
  Internet: paul@netcraft.co.uk, http://www.netcraft.co.uk
  Phone: 0370 462071 (Mobile), +44 1225 447500 (work)



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199603311904.UAA09220>