Добавьте строку:
printf("%d", ++lines);
как первое в главном.Это хак, но эффективный:)
Редактировать: Результат должен выглядеть примерно так:
%{
int lines=0;
%}
LINE \n
%%
{LINE} {ECHO;printf("%d", ++lines);}
%%
main()
{
printf("%d", ++lines);
yylex();
}
Отказ от ответственности: синтаксис из книги, фактически не скомпилированный.Возможно, вам придется немного помассировать.