thanks. Andrew, the old problem is solved... Peng
On Wed, Jan 11, 2017 at 4:52 PM, Andrew Gacek <[email protected]> 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 <[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
