Implementing additional SPECS in genode-world

Norman Feske norman.feske at ...1...
Tue May 3 19:37:00 CEST 2016

Hi Johannes,

> The point where I got stuck, however, is that I need to include the less-specific configuration files within base-hw, which I achieve by the following line:
> 	include $(call select_from_repositories,lib/mk/spec/zynq/
> Now, the issue is that including makefiles from other repositories won't work properly. This is due to the fact that $REP_DIR (used e.g. in will evaluate to `[...]/repos/world` and not `[...]/repos/base-hw`.
> Do you have any idea on how to work around this or even on how to improve the build system in order to support this use case?

Hosting files outside the base-hw repository is a new pattern
for us, but I see the appeal.

REP_DIR always points to the repository where the target resides - in
your case, this is the library. The simplest solution would be
to replace the occurrences of REP_DIR in by a new variable
BASE_HW_DIR, which has to be defined by the one to includes
The files within the base-hw repository would simply define to
as $(REP_DIR) but your "foreign" file could set the variable
explicitly to the location of the base-hw repository.

Would that solve your problem?


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list