Hi Josef, I've tested your patch and this solves the issue! Thanks.
Whenever we encounter similar behavior we'll report it or sent a fix for the .mk files, and refrain from coming up with INC_DIR-based workarounds in our own project ;-) Cheers, Menno -- Cyber Security Labs B.V. | https://nlcsl.com Gooimeer 6-31 | 1411 DD Naarden | The Netherlands On 22-06-16 11:12, Josef Söntgen wrote: > Hello Menno, > > * Menno Valkema <menno.gen...@gmail.com> [2016-06-22 10:39:38 +0200]: >> Now remove the following line from >> repos/hello_tutorial/src/hello/client/target.mk: >> >> INC_DIR += $(REP_DIR)/../libports/src/lib/curl/spec/64bit/curl/ >> >> Running it again will give you an error about a missing "curlbuild.h". >> Hence our question what are we doing wrong? Is this behavior by design, >> or should we take different steps to include and use the library port? > > The problem here is that the import file contains an incorrect include > path and is therefore not picked up by Genode's build system. Please see > the attached patch [1] for a fix. > > > Regards, > Josef > > > > ------------------------------------------------------------------------------ > Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San > Francisco, CA to explore cutting-edge tech and listen to tech luminaries > present their vision of the future. This family event has something for > everyone, including kids. Get more information and register today. > http://sdm.link/attshape > > > > _______________________________________________ > genode-main mailing list > genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > ------------------------------------------------------------------------------ Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San Francisco, CA to explore cutting-edge tech and listen to tech luminaries present their vision of the future. This family event has something for everyone, including kids. Get more information and register today. http://sdm.link/attshape _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main