...

...

...

...

"PX" == PX seawolf.peng@gmail.com writes:

PX> Hi, all I posted this question yesterday, and get no answer. Let PX> me to be more specific this time.

Have you installed Haskell stack as per https://wiki.sel4.systems/CAmkES

curl -sSL https://get.haskellstack.org/ | sh

Peter C

thanks. Andrew, the old problem is solved...

Peng

On Wed, Jan 11, 2017 at 4:52 PM, Andrew Gacek andrew.gacek@gmail.com 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 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