?Hi,
The build error is higher up in the output. What you are seeing is output of a parallel job. What happens when you run ninja again? Or capture the full build output and look through the file.
Kent.
________________________________
From: Devel on behalf of hedi delpazir
Sent: Tuesday, October 23, 2018 12:36 AM
To: devel@sel4.systems
Subject: [seL4] MCS tutorial
Hi,
After running ninja in build directory(following https://docs.sel4.systems/Tutorials/mcs.html) following error will occurred:
[15 of 16] Compiling CapDL.Parser ( CapDL/Parser.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/CapDL/Parser.o )
[16 of 16] Compiling Main ( Main.hs, .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL-tmp/Main.o )
Linking .stack-work/dist/x86_64-linux/Cabal-1.24.2.0/build/parse-capDL/parse-capDL ...
capDL-tool-1.0.0.1: copy/register
Installing executable(s) in
/home/hedi/sel4-tutorials-default/ipc_build/ipc/parse_capdl_tool-prefix/src/parse_capdl_tool-build/.stack-work/install/x86_64-linux/lts-9.21/8.0.2/bin
stack install
Copying from /home/hedi/sel4-tutorials-default/ipc_build/ipc/parse_capdl_tool-prefix/src/parse_capdl_tool-build/.stack-work/install/x86_64-linux/lts-9.21/8.0.2/bin/parse-capDL to /home/hedi/sel4-tutorials-default/ipc_build/ipc/parse_capdl_tool-prefix/src/parse_capdl_tool-build/parse-capDL
Copied executables to /home/hedi/sel4-tutorials-default/ipc_build/ipc/parse_capdl_tool-prefix/src/parse_capdl_tool-build:
- parse-capDL
Warning: Installation path
/home/hedi/sel4-tutorials-default/ipc_build/ipc/parse_capdl_tool-prefix/src/parse_capdl_tool-build
not found on the PATH environment variable.
ninja: build stopped: subcommand failed.
Any idea?
