Thanks Althaf, for opening an issue for this topic:

https://github.com/genodelabs/genode/issues/135

Cheers Norman

On 03/04/2012 01:12 PM, Althaf wrote:

cd ./build

cat ./etc/build.conf

GENODE_DIR = /home/dlevel/staging/genode-12.02 BASE_DIR = $(GENODE_DIR)/base REPOSITORIES = $(GENODE_DIR)/base-linux REPOSITORIES += $(GENODE_DIR)/base REPOSITORIES += $(GENODE_DIR)/os REPOSITORIES += $(GENODE_DIR)/demo REPOSITORIES += $(GENODE_DIR)/libports

checking library dependencies for ....

(!) ***Library-description file gmp-mpn.mk is missing

(!) make[1]: *** No rule to make target `gmp-mpn.lib', needed by `gmp.lib'. Stop. make: *** [gen_deps_and_build_targets] Error 2