Hi Adrian, On 15.06.2017 02:46, [email protected] wrote: > Yes libsel4 assumes it is being built as part of our larger common project > build environment > (https://github.com/seL4/seL4_tools/tree/master/common-tool). > > Again the build system improvements that I said were coming should also solve > this, so if you've managed to find a work around for now I would prefer not > to spend time patching what is definitely a broken system.
we are fine now. In case you need some (external) feedback/testing if you change things in that regard, just send us a note. Alex. -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
