Perhaps it's referring to https://github.com/seL4/libboost ?
On Fri, Nov 13, 2015 at 6:26 PM, Bryan Ching <[email protected]> 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 <[email protected]> > wrote: > >> >>>>> "Bryan" == Bryan Ching <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
