Thanks Peter and Ben for your help previously. Cloning the libboost repository worked. Can someone explain to me the camkes-gen.mk? I am getting an error saying that it does not exist. Is there another repository that I have to clone to get the file?

After I input "make", I get this error:

/home/bryan/camkes-vm/tools/camkes/camkes.mk:125: /home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk: No such file or directory
 [GEN] camkes-gen.mk
While transforming AST: /home/bryan/camkes-vm/apps/vm/vm.camkes:4: unresolved reference to VM
make[1]: *** [/home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk] Error 255
make[1]: *** Deleting file `/home/bryan/camkes-vm/build/x86/pc99/vm/camkes-gen.mk'
make: *** [vm] Error 2


Thanks,

On Fri, Nov 13, 2015 at 3:44 PM, Ben Karel <eschew@gmail.com> wrote:
Perhaps it's referring to https://github.com/seL4/libboost ?

On Fri, Nov 13, 2015 at 6:26 PM, Bryan Ching <bryanching7373@gmail.com> wrote:
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 <peter.chubb@nicta.com.au> wrote:
>>>>> "Bryan" == Bryan Ching <bryanching7373@gmail.com> 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


_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel