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

[Gerd Zellweger]

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