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