about Bison

Could u tell me where the implement of "extern void add_input_file(const
char* file);" is? (in the input.h)

It's in scan.l. In general, you can track this sort of thing down
by grep'ing through all of the sources.

    Vern