Hi Chris, > I have recently messed up my ubuntu host seL4 building machine > and I had to > recreate it from scratch. But I have missed something on the > way. So I have > a problem building anything that involves Camkes components. It > appears > that a tool generating ADL or linking capDL or something along > is missing > and results in a hang during building. For example when building > ipc > tutorial (for x85 platform): > > root@ubuntu:/home/chris/sel4_tutorials/ipc_build# ninja > [0/8] Generating capDL-tool/parse-capDL^C > ninja: build stopped: interrupted by user. > > Or mcs tutorial: > > root@ubuntu:/home/chris/sel4_tutorials/mcs_build# ninja > [0/8] Generating capDL-tool/parse-capDL^C > ninja: build stopped: interrupted by user.
This build step builds the capDL-tools which is written in Haskell. 'stack' is the toolchain used to build the capDL-tools and we've seen examples of it taking a *very* long time on specific distributions like Ubuntu. To verify this, perhaps try `ps aux | grep stack` or similar to see if 'stack' is being run. We do cache the build after the first time it's being run, so subsequent builds shouldn't take too long. If this build step doesn't finish even after waiting for a long time (30 minutes or so), let us know and we'll be happy to help. Regards, Damon _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
