Respected,
I have tried building the file inside genode-13.08 but was not able to build it.
I have installed all necessary files.
I am getting this error-
/usr/local/genode-gcc/bin/genode-x86-ar: error while loading shared libraries: libz.so.1: cannot open shared object file: No such file or directory
make[2]: *** [platform.lib.a] Error 127
make[1]: *** [platform.lib] Error 2
make: *** [gen_deps_and_build_targets] Error 2