![](https://secure.gravatar.com/avatar/180cb4a1d441c672f78117414c3429e2.jpg?s=120&d=mm&r=g)
Hi,
So using repo did the trick. When I'm trying to build it, I'm getting an
error involving libboost. Here is the error:
make: *** No rule to make target `libboost', needed by `vm'. Stop.
I tried using the command, sudo apt-get install libboost-all-dev, to
install all the boost packages. Does anyone have any ideas what's wrong?
Thanks,
Bryan
On Thu, Nov 12, 2015 at 2:14 PM, Peter Chubb
"Bryan" == Bryan Ching
writes: Bryan> I was just wondering for the CAmkES-vm, where is the Makefile Bryan> to build it? Also, to clone the github repository, do I use Bryan> "repo" or can I use "git clone"?
Use repo; it should set up the Makefile for you from a different repository (camkes-tool.git). The starting point for the X86 VMM is the camkes-vm manifest repository, https://github.com/seL4/camkes-vm-manifest
Peter C
-- Dr Peter Chubb http://www.data61.csiro.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA/Data61