You need to install the Stack tool:

  https://docs.haskellstack.org/en/stable/README/

-Andrew

On Wed, Jan 11, 2017 at 3:34 PM, PX <seawolf.peng@gmail.com> wrote:
> Hi, all
> I posted this question yesterday, and get no answer. Let me to be more
> specific this time.
>
> I try to  build a TK1 ARM VMM image from the source code
> SEL4PROJ/camkes-vm-manifest in GitHub.  However, I can not compile it. I get
> errors when the compiler tries to parse capDL. The errors are appended as
> follows:
>
> "
> make: Entering directory '/home/dev/Documents/new_vmm/projects/capd
> /capDL-tool'
> stack setup
> make: stack: Command not found
> Makefile:37: recipe for target 'sandbox' failed
> make: *** [sandbox] Error 127
> make: Leaving directory
> '/home/dev/Documents/new_vmm/projects/capdl/capDL-tool'
> Makefile:51: recipe for target
> '/home/dev/Documents/new_vmm/stage/arm/tk1/parse-capDL/parse-capDL' failed "
>
>
> I checked that there is a file called stack.ymal in the directory:
> ~/capdl/capDL-tool. My system is also installed latest ghc and ghc-prof.
>
> Anybody can help me on this problem?
>
> Thanks
>
> Peng
>

> _______________________________________________
> Devel mailing list
> Devel@sel4.systems
> https://sel4.systems/lists/listinfo/devel
>