Porting applications strategy

Martin Stein martin.stein at ...1...
Tue Feb 16 14:01:36 CET 2016

Hi Tomasz,

Am 15.02.2016 um 22:59 schrieb Tomasz Gajewski:
> I would like to be able to do:
> ./configure --host=genode-x86 && make

As far as I know, we currently do not issue 'configure' through the
ports mechanism. Instead the customized config.* files of the ports are
provided. An example for this is libav:


Then the Genode sided directory is added to the include paths, so the
config header applies when building the port and the config makefile is
included and applied in the Genode config:

INC_DIR += $(REP_DIR)/src/lib/libav
include $(REP_DIR)/src/lib/libav/config.mak
SRC_C += $(OBJS:.o=.c)
SRC_C += $(OBJS-yes:.o=.c)


More information about the users mailing list