Build for libports fail : No rule to make target `gmp-mpn.lib', needed by `gmp.lib

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