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
"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
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
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
-
Andrew Gacek -
Peter.Chubb＠data61.csiro.au -
PX