hi, 

I am trying to port a library to genode. 

after execute ./configuration I got config.h file which i copied  it  to libports/src/lib/mylib/

my problem that in the make file of the library they generated file using  bison. 

the only library use some thing similar is libc so i tried to do same but i could not generate the required file 

here the part of code in my library.port file.

generated_file  += src/lib/mylib/f.c 

src/lib/mylib/f.c :

        bison -y -d -p src/lib/mylib/f2.y -o src/lib/mylib/f.c 

best,