[Barrelfish-users] Fwd: Barrelfish-users Digest, Vol 58, Issue 1

[Gerd Zellweger]

Hi,

I'm sorry meant to say GHC 7.6.3. GHC 7.4 is what we used before 
release2014-11-19.

Gerd

On 2014-12-03 10:56, Gerd Zellweger wrote:
> Hi,
> 
> What version of GHC are you running on?
> We are currently compiling hake using  GHC v7.4 and Parsec 3.1 (i.e.,
> the versions that are shipped with the latest LTS version of Ubuntu).
> 
> Thanks,
> Gerd
> 
> 
> On 2014-12-03 10:28, Vinay Kumar wrote:
>> Hi,
>> 
>>  
>> 
>> Recently there was a new release of Barrelfish code which includes
>> some enhancements to core management (with reference to below mail),
>> 
>> I was planning to try to run this release on our systems,
>> 
>> I tried to clone and download the code from git repository, but
>> somehow its failing to connect to git.barrelfish.org [1] when I run
>> the git command below:
>> 
>>  
>> 
>> #git clone git://git.barrelfish.org/git/barrelfish [2]
>> 
>> Cloning into 'barrelfish'...
>> 
>> fatal: unable to connect to git.barrelfish.org [1]:
>> 
>> git.barrelfish.org [1][0: 129.132.186.81]: errno=Connection timed out
>> 
>>  
>> 
>> However I downloaded the .tar.gz code archive from the link given on
>> barrelfish.org [3],
>> 
>> It downloaded ‘barrelfish-HEAD-70bbea2.tar.gz’, please confirm is
>> this the latest release code?
>> 
>>  
>> 
>> I tried to compile this release on our existing setup,
>> 
>> When I run the hake script to create the Makefile it fails with below
>> error,
>> 
>>  
>> 
>> # ../hake/hake.sh -s .. -a x86_64
>> 
>>  
>> 
>> ../hake/Main.hs:22:19:
>> 
>>     Module `DynFlags' does not export `defaultFatalMessager'
>> 
>>  
>> 
>> ../hake/Main.hs:22:41:
>> 
>>     Module `DynFlags' does not export `defaultFlushOut'
>> 
>>  
>> 
>> Please help to resolve this error,
>> 
>> does this require to install a patch for the ghc compiler? Please
>> suggest.
>> 
>>  
>> 
>> Thanks
>> 
>> Vinay
>> 
>> ---------- Forwarded message ----------
>> From: <barrelfish-users-request at lists.inf.ethz.ch>
>> Date: Tue, Dec 2, 2014 at 4:30 PM
>> Subject: Barrelfish-users Digest, Vol 58, Issue 1
>> To: barrelfish-users at lists.inf.ethz.ch
>> 
>> Send Barrelfish-users mailing list submissions to
>>          barrelfish-users at lists.inf.ethz.ch
>> 
>>  To subscribe or unsubscribe via the World Wide Web, visit
>>         
>> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users [4]
>>  or, via email, send a message with subject or body 'help' to
>>          barrelfish-users-request at lists.inf.ethz.ch
>> 
>>  You can reach the person managing the list at
>>          barrelfish-users-owner at lists.inf.ethz.ch
>> 
>>  When replying, please edit your Subject line so it is more specific
>>  than "Re: Contents of Barrelfish-users digest..."
>> 
>>  Today's Topics:
>> 
>>     1. New Barrelfish Release (Gerd Zellweger)
>> 
>>  
>> ----------------------------------------------------------------------
>> 
>>  Message: 1
>>  Date: Mon, 1 Dec 2014 16:18:21 +0100
>>  From: Gerd Zellweger <gerd.zellweger at inf.ethz.ch>
>>  Subject: [Barrelfish-users] New Barrelfish Release
>>  To: Barrelfish hackers <barrelfish at lists.inf.ethz.ch>,
>>          <barrelfish-users at lists.inf.ethz.ch>
>>  Message-ID: <b44370b6e47c056296b2780102504bfe at gerdzellweger.com>
>>  Content-Type: text/plain; charset="US-ASCII"; format=flowed
>> 
>>  Dear all,
>> 
>>  We are pleased to announce a new release of the Barrelfish OS. Along
>>  with various bugfixes, this version includes a new core management
>>  infrastructure that allows to shutdown and reboot cores, update
>> kernels
>>  and move entire per-core state between cores and kernels. For a more
>>  detailed explanation, please have a look at our OSDI paper available
>> on
>>  the Barrelfish website [1].
>> 
>>  As always, you can get the latest version by cloning or pulling from
>> our
>>  git repository [2].
>> 
>>  Cheers,
>>  Gerd
>> 
>>  [1]: http://www.barrelfish.org/zellweger-decoupling-cores.pdf [5]
>>  [2]: git://git.barrelfish.org/git/barrelfish [2]
>> 
>>  ------------------------------
>> 
>>  _______________________________________________
>>  Barrelfish-users mailing list
>>  Barrelfish-users at lists.inf.ethz.ch
>>  https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users [4]
>> 
>>  End of Barrelfish-users Digest, Vol 58, Issue 1
>>  ***********************************************
>> 
>> 
>> 
>> Links:
>> ------
>> [1] http://git.barrelfish.org
>> [2] http://git.barrelfish.org/git/barrelfish
>> [3] http://barrelfish.org
>> [4] https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>> [5] http://www.barrelfish.org/zellweger-decoupling-cores.pdf
>> 
>> _______________________________________________
>> Barrelfish-users mailing list
>> Barrelfish-users at lists.inf.ethz.ch
>> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> 
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users