[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: mirage-platform commit on June 26



I can't seem to reproduce Balraj's failure on my Ubuntu laptop.  I'll try
on my Debian box later on this afternoon.

-anil

On 1 Jul 2013, at 12:29, Vincent Bernardoff <vb@xxxxxxxxxxxxxx> wrote:

> On 30/06/2013 17:47, Balraj Singh wrote:
>> Hi Vincent,
>> 
>> I'm still using ocamlbuild.  From the mirage-net/direct directory I simply
>> call "ocamlbuild tests/iperf_self/iperf_self.xen".  But for ocamlbuild to
>> work right I make the following change to myocamlbuild.ml:
>> 
>> --- a/myocamlbuild.ml
>> +++ b/myocamlbuild.ml
>> @@ -63,7 +63,7 @@ module Configure = struct
>>    (* Flags for building and using syntax extensions *)
>>    let ppflags () =
>>      (* Syntax extensions for the libraries being built *)
>> -    flag ["ocaml"; "pp"; "use_syntax"] & S [config_sh "syntax.deps"];
>> +    flag ["ocaml"; "pp"(*; "use_syntax"*)] & S [config_sh "syntax.deps"];
>>      (* Include the camlp4 flags to build an extension *)
>>      flag ["ocaml"; "pp"; "build_syntax"] & S [config_sh "syntax.build"];
>>      flag ["ocaml"; "pp"; "build_syntax_r"] & S [config_sh
>> "syntax.build.r"];
>> 
>> 
>> I then simply use the cfg file in the tests directory.  Apologies if this
>> is unclear and non-standard, I will try to get this working with mirari
>> etc, soon.
>> 
>> Balraj
> 
> Hey Balraj,
> 
> No problem.
> 
> I've ported the test to mirari:
> 
> See git://github.com/vbmithr/mirage-skeleton.git
> 
> In directory tcp
> Just do make
> 
> On my machine, I can correctly build the kernel, but when I am running it, it 
> is immediately crashing. Tell me how it works for you.
> 
> I'm going to try to compile under standard released versions of 
> mirage/mirage-net. Hope we'll fix this! I'm quite happy about my various 
> mirage refactorings, it would be a pity that I've really broken something..
> 
> Cheers,
> 
> Vincent
> 
> 
> PS: I have updated all mirage-skeleton. Now the Makefiles correctly detect 
> the backend, (either mirage-xen or mirage-unix).
> 




 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.