search for: kiffer

....com> wrote: > Hi Chris, > > For the moment you can install VMKit following these instructions: > > http://vmkit2.gforge.inria.fr/start.php > > VMKit's web page and repository will be updated soon. > > Harris Bakiras > > Le 12/02/2013 10:30, chris.gray at kiffer.be a écrit : > >> Hi all, >> >> I hope this is the correct place to post such questions? I am building >> vmkit for the first time, following the instructions on the get_started >> page (with one deviation: in step 4 I ran ./configure in my vmkit >> directory...

...>> For the moment you can install VMKit following these instructions: >> >> http://vmkit2.gforge.inria.fr/start.php >> >> VMKit's web page and repository will be updated soon. >> >> Harris Bakiras >> >> Le 12/02/2013 10:30, chris.gray at kiffer.be a écrit : >> >>> Hi all, >>> >>> I hope this is the correct place to post such questions? I am building >>> vmkit for the first time, following the instructions on the get_started >>> page (with one deviation: in step 4 I ran ./configure in my...

...nstall VMKit following these instructions: >>> >>> http://vmkit2.gforge.inria.fr/start.php >>> >>> VMKit's web page and repository will be updated soon. >>> >>> Harris Bakiras >>> >>> Le 12/02/2013 10:30, chris.gray at kiffer.be a écrit : >>> >>>> Hi all, >>>> >>>> I hope this is the correct place to post such questions? I am building >>>> vmkit for the first time, following the instructions on the get_started >>>> page (with one deviation: in step 4...

Hi Chris, For the moment you can install VMKit following these instructions: http://vmkit2.gforge.inria.fr/start.php VMKit's web page and repository will be updated soon. Harris Bakiras Le 12/02/2013 10:30, chris.gray at kiffer.be a écrit : > Hi all, > > I hope this is the correct place to post such questions? I am building > vmkit for the first time, following the instructions on the get_started > page (with one deviation: in step 4 I ran ./configure in my vmkit > directory and therefore did not need t...

OK, figured out that to cross-compile LLVM for another target I need to ./configure with --build=<build system triple> --host=<target system triple>. This works fine for llvm, clang and even (apparently) classpath but when I try to do the same for vmkit2 it fails with "checking for ../../classpath-0.99/<build-dir>/lib/... configure: error: cannot check for file existence

Hi all, I hope this is the correct place to post such questions? I am building vmkit for the first time, following the instructions on the get_started page (with one deviation: in step 4 I ran ./configure in my vmkit directory and therefore did not need to cd at the start of step 5. Is this correct?). Build platform is 64-bit CrunchBang Linux 11 "Waldorf", based on Debian Wheezy. I

Harris Bakiras wrote: > For the moment you can install VMKit following these instructions: > > http://vmkit2.gforge.inria.fr/start.php > > VMKit's web page and repository will be updated soon. Thanks, that works a lot better! Chris

Dear all, How would I set about compiling j3 for a target such as ARM or MIPS, assuming I have a linux SDK for the target in question? Documentation pointers welcome. KR Chris Gray