[splint-discuss] where to find yylex ?

[Ludolf Holzheid]

On Mon, 2008-08-11 02:26:46 -0700, Jack T Mudge III wrote:
> On Monday 11 August 2008 01:53:54 am splint-discuss-request at cs.virginia.edu 
> wrote:
> > Message: 9
> > Date: Mon, 11 Aug 2008 10:23:10 +0200
> > From: Olivier FAURAX <ofaurax at neotion.com>
> > Subject: [splint-discuss] where to find yylex ?
> > To: splint-discuss at cs.virginia.edu
> > Message-ID: <489FF6EE.50609 at neotion.com>
> > Content-Type: text/plain; charset=ISO-8859-1; format=flowed
> >
> > Hello,
> >
> > I think this is really a newbie question, but I can't manage to compile
> > splint from source code because of missing yy* errors :
> > cgrammar.o: In function `yyparse':
> > /home/ofaurax/cvs/splint/src/cgrammar.c:4194: undefined reference to
> > `yylex'
> >
> > I've flex and bison installed, correctly found by the ./configure.
> >
> > Perhaps the ./configure could have an additional check for the needed
> > lib.
> >
> > Thanks for your work.
> > Olivier
> 
> I believe the issue is that you need to first run bison and flex to generate 
> the header files that contain those definitions. Splint, just like the 
> compiler, can only deal with what it already knows about -- and those 
> declarations, the yy* ones, are created by bison and flex.

Jack,

Olivier gets these errors while _compiling_ splint, not _using_
it. The question is, why the build system doesn't succeed in calling
flex, but nevertheless tries to link.

(Olivier didn't mention if the message is generated by the compiler or
the linker, but it 'looks to me' as a linker message.)

I suppose something went wrong with the flex output post-processing
(using sed), which rendered cscanner.c being empty (or
incomplete). Maybe deleting cscanner.c and re-building helps ...

Ludolf

-- 

---------------------------------------------------------------
Ludolf Holzheid             Tel:    +49 621 339960
Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080811/50ad1aa9/attachment-0001.bin