I think I find the package that fixes the stack command not found problem.
Installing haskell-stack[1] package solves the issue. Thanks
[1].https://sel4.systems/pipermail/devel/2017-January/001217.html
> -------- Original Message --------
> Subject: make: stack: Command not found
> Local Time: July 3, 2017 9:42 PM
> UTC Time: July 3, 2017 7:42 PM
> From: [email protected]
> To: [email protected] <[email protected]>
> A newbie question. I follow the link [1] trying to build sel4 with qemu. But
> when `make`ing the binary, it throws error message `make: stack: Command not
> found`. I `apt-get install stacks` but it still fails with the same error.
> What packages should I install for making sel4 with Ubuntu 16.04 LTS, GNU
> Make 4.1, and gcc version 5.4.0 20160609?
> Thanks
> [Error Message]
> -- Build files have been written to: /path/to/sel4/stage/x86/pc99/accelerator
> ninja: no work to do.
> [apps/vm] building...
> [HEADERS]
> [STAGE] autoconf.h
> [apps/vm] done.
> [parse-capDL] building...
> make: Entering directory '/path/to/sel4/projects/capdl/capDL-tool'
> stack setup
> make: stack: Command not found
> Makefile:39: recipe for target 'sandbox' failed
> make: *** [sandbox] Error 127
> make: Leaving directory '/path/to/sel4/projects/capdl/capDL-tool'
> Makefile:53: recipe for target
> '/path/to/sel4/stage/x86/pc99/parse-capDL/parse-capDL' failed
> make: *** [/path/to/sel4/stage/x86/pc99/parse-capDL/parse-capDL] Error 2
> [1] https://wiki.sel4.systems/Hardware/Qemu
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
