Re: [seL4] question about SEL4PROJ /camkes-arm-vm-manifest

thanks. Andrew, the old problem is solved... Peng On Wed, Jan 11, 2017 at 4:52 PM, Andrew Gacek wrote:

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 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