?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 <[email protected]> on behalf of hedi delpazir 
<[email protected]>
Sent: Tuesday, October 23, 2018 12:36 AM
To: [email protected]
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?

_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to