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 <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
