<div dir="ltr">Hi,<div><br></div><div>upgrading the GHC version to 7.6.3 and installing other libs which Simon had listed worked,</div><div>I am able to build and run the code on qemu,</div><div><br></div><div>The issue of git not downloading also resolved with setting up a proxy on the network for git,</div><div class="gmail_extra">Thanks for your help</div><div class="gmail_extra"><br></div><div class="gmail_extra">Regards</div><div class="gmail_extra">Vinay</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Dec 3, 2014 at 4:30 PM, <span dir="ltr"><<a href="mailto:barrelfish-users-request@lists.inf.ethz.ch" target="_blank">barrelfish-users-request@lists.inf.ethz.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Send Barrelfish-users mailing list submissions to<br>
<a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
or, via email, send a message with subject or body 'help' to<br>
<a href="mailto:barrelfish-users-request@lists.inf.ethz.ch">barrelfish-users-request@lists.inf.ethz.ch</a><br>
<br>
You can reach the person managing the list at<br>
<a href="mailto:barrelfish-users-owner@lists.inf.ethz.ch">barrelfish-users-owner@lists.inf.ethz.ch</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of Barrelfish-users digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
1. Re: Fwd: Barrelfish-users Digest, Vol 58, Issue 1<br>
(Kornilios Kourtis)<br>
2. Re: Fwd: Barrelfish-users Digest, Vol 58, Issue 1 (Simon Gerber)<br>
3. Re: Fwd: Barrelfish-users Digest, Vol 58, Issue 1 (Stefan Kaestle)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Wed, 3 Dec 2014 11:30:32 +0100<br>
From: Kornilios Kourtis <<a href="mailto:kornilios.kourtis@inf.ethz.ch">kornilios.kourtis@inf.ethz.ch</a>><br>
Subject: Re: [Barrelfish-users] Fwd: Barrelfish-users Digest, Vol 58,<br>
Issue 1<br>
Cc: <<a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a>><br>
Message-ID: <<a href="mailto:20141203103032.GA9098@sgd-dalcoi5-20.ethz.ch">20141203103032.GA9098@sgd-dalcoi5-20.ethz.ch</a>><br>
Content-Type: text/plain; charset="us-ascii"<br>
<br>
Hi,<br>
<br>
On Wed, Dec 03, 2014 at 02:58:52PM +0530, Vinay Kumar wrote:<br>
> Hi,<br>
><br>
> Recently there was a new release of Barrelfish code which includes some<br>
> enhancements to core management (with reference to below mail),<br>
><br>
> I was planning to try to run this release on our systems,<br>
><br>
> I tried to clone and download the code from git repository, but somehow<br>
> its failing to connect to <a href="http://git.barrelfish.org" target="_blank">git.barrelfish.org</a> when I run the git command<br>
> below:<br>
><br>
> #git clone git://<a href="http://git.barrelfish.org/git/barrelfish" target="_blank">git.barrelfish.org/git/barrelfish</a><br>
><br>
> Cloning into 'barrelfish'...<br>
><br>
> fatal: unable to connect to <a href="http://git.barrelfish.org" target="_blank">git.barrelfish.org</a>:<br>
><br>
> <a href="http://git.barrelfish.org" target="_blank">git.barrelfish.org</a>[0: 129.132.186.81]: errno=Connection timed out<br>
<br>
<br>
For what is worth, I tried to clone the repo in a non-ETH machine and it<br>
seems to work. So maybe this is a network issue on your side?<br>
<br>
cheers,<br>
Korniios.<br>
<br>
<br>
--<br>
Kornilios Kourtis<br>
<br>
<br>
<br>
------------------------------<br>
<br>
Message: 2<br>
Date: Wed, 3 Dec 2014 11:31:56 +0100<br>
From: Simon Gerber <<a href="mailto:simon.gerber@inf.ethz.ch">simon.gerber@inf.ethz.ch</a>><br>
Subject: Re: [Barrelfish-users] Fwd: Barrelfish-users Digest, Vol 58,<br>
Issue 1<br>
To: Vinay Kumar <<a href="mailto:ms.vinay.k@gmail.com">ms.vinay.k@gmail.com</a>>, Gerd Zellweger<br>
<<a href="mailto:gerd.zellweger@inf.ethz.ch">gerd.zellweger@inf.ethz.ch</a>><br>
Cc: <a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a><br>
Message-ID: <<a href="mailto:547EE69C.8020103@inf.ethz.ch">547EE69C.8020103@inf.ethz.ch</a>><br>
Content-Type: text/plain; charset="windows-1252"; format=flowed<br>
<br>
Hi Vinay,<br>
<br>
You should uninstall GHC 7.4.1 and run the following command<br>
<br>
<br>
sudo apt-get install build-essential bison flex cmake gcc-multilib<br>
qemu-system-x86 qemu-system-arm ghc libghc-ghc-paths-dev<br>
libghc-parsec3-dev libghc-random-dev gcc-arm-linux-gnueabi<br>
g++-arm-linux-gnueabi<br>
<br>
to get an up-to-date build environment on your Ubuntu 14.04 LTS as we<br>
recently (release2014-11-19) switched the compiler versions we support<br>
(c.f.<br>
<a href="https://lists.inf.ethz.ch/pipermail/barrelfish-users/2014-November/001286.html" target="_blank">https://lists.inf.ethz.ch/pipermail/barrelfish-users/2014-November/001286.html</a>).<br>
<br>
Hope this helps,<br>
-- Simon<br>
<br>
On 03.12.2014 11:23, Vinay Kumar wrote:<br>
> Hi,<br>
><br>
> the system is running on Ubuntu 14.04 lts, installed GHC version 7.4.1,<br>
> I cant find the Parsec version, but it shows the library that is installed<br>
> libghc-parsec2-dev<br>
><br>
> Please let me know if need more info<br>
><br>
> Thanks<br>
> Vinay<br>
><br>
><br>
> On Wed, Dec 3, 2014 at 3:26 PM, Gerd Zellweger<br>
> <<a href="mailto:gerd.zellweger@inf.ethz.ch">gerd.zellweger@inf.ethz.ch</a> <mailto:<a href="mailto:gerd.zellweger@inf.ethz.ch">gerd.zellweger@inf.ethz.ch</a>>> wrote:<br>
><br>
> Hi,<br>
><br>
> What version of GHC are you running on?<br>
> We are currently compiling hake using GHC v7.4 and Parsec 3.1<br>
> (i.e., the versions that are shipped with the latest LTS version of<br>
> Ubuntu).<br>
><br>
> Thanks,<br>
> Gerd<br>
><br>
><br>
> On 2014-12-03 10:28, Vinay Kumar wrote:<br>
><br>
> Hi,<br>
><br>
><br>
><br>
> Recently there was a new release of Barrelfish code which includes<br>
> some enhancements to core management (with reference to below mail),<br>
><br>
> I was planning to try to run this release on our systems,<br>
><br>
> I tried to clone and download the code from git repository, but<br>
> somehow its failing to connect to <a href="http://git.barrelfish.org" target="_blank">git.barrelfish.org</a><br>
> <<a href="http://git.barrelfish.org" target="_blank">http://git.barrelfish.org</a>> [1] when I run<br>
> the git command below:<br>
><br>
><br>
><br>
> #git clone git://<a href="http://git.barrelfish.org/git/__barrelfish" target="_blank">git.barrelfish.org/git/__barrelfish</a><br>
> <<a href="http://git.barrelfish.org/git/barrelfish" target="_blank">http://git.barrelfish.org/git/barrelfish</a>> [2]<br>
><br>
> Cloning into 'barrelfish'...<br>
><br>
> fatal: unable to connect to <a href="http://git.barrelfish.org" target="_blank">git.barrelfish.org</a><br>
> <<a href="http://git.barrelfish.org" target="_blank">http://git.barrelfish.org</a>> [1]:<br>
><br>
> <a href="http://git.barrelfish.org" target="_blank">git.barrelfish.org</a> <<a href="http://git.barrelfish.org" target="_blank">http://git.barrelfish.org</a>> [1][0:<br>
> 129.132.186.81]: errno=Connection timed out<br>
><br>
><br>
><br>
> However I downloaded the .tar.gz code archive from the link given on<br>
> <a href="http://barrelfish.org" target="_blank">barrelfish.org</a> <<a href="http://barrelfish.org" target="_blank">http://barrelfish.org</a>> [3],<br>
><br>
> It downloaded ?barrelfish-HEAD-70bbea2.tar.__gz?, please confirm is<br>
> this the latest release code?<br>
><br>
><br>
><br>
> I tried to compile this release on our existing setup,<br>
><br>
> When I run the hake script to create the Makefile it fails with<br>
> below<br>
> error,<br>
><br>
><br>
><br>
> # ../hake/hake.sh -s .. -a x86_64<br>
><br>
><br>
><br>
> ../hake/Main.hs:22:19:<br>
><br>
> Module `DynFlags' does not export `defaultFatalMessager'<br>
><br>
><br>
><br>
> ../hake/Main.hs:22:41:<br>
><br>
> Module `DynFlags' does not export `defaultFlushOut'<br>
><br>
><br>
><br>
> Please help to resolve this error,<br>
><br>
> does this require to install a patch for the ghc compiler? Please<br>
> suggest.<br>
><br>
><br>
><br>
> Thanks<br>
><br>
> Vinay<br>
><br>
> ---------- Forwarded message ----------<br>
> From: <barrelfish-users-request@__<a href="http://lists.inf.ethz.ch" target="_blank">lists.inf.ethz.ch</a><br>
> <mailto:<a href="mailto:barrelfish-users-request@lists.inf.ethz.ch">barrelfish-users-request@lists.inf.ethz.ch</a>>><br>
> Date: Tue, Dec 2, 2014 at 4:30 PM<br>
> Subject: Barrelfish-users Digest, Vol 58, Issue 1<br>
> To: barrelfish-users@lists.inf.__<a href="http://ethz.ch" target="_blank">ethz.ch</a><br>
> <mailto:<a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a>><br>
><br>
> Send Barrelfish-users mailing list submissions to<br>
> barrelfish-users@lists.inf.__<a href="http://ethz.ch" target="_blank">ethz.ch</a><br>
> <mailto:<a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a>><br>
><br>
> To subscribe or unsubscribe via the World Wide Web, visit<br>
><br>
> <a href="https://lists.inf.ethz.ch/__mailman/listinfo/barrelfish-__users" target="_blank">https://lists.inf.ethz.ch/__mailman/listinfo/barrelfish-__users</a><br>
> <<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a>> [4]<br>
><br>
> or, via email, send a message with subject or body 'help' to<br>
> barrelfish-users-request@__<a href="http://lists.inf.ethz.ch" target="_blank">lists.inf.ethz.ch</a><br>
> <mailto:<a href="mailto:barrelfish-users-request@lists.inf.ethz.ch">barrelfish-users-request@lists.inf.ethz.ch</a>><br>
><br>
> You can reach the person managing the list at<br>
> barrelfish-users-owner@lists.__<a href="http://inf.ethz.ch" target="_blank">inf.ethz.ch</a><br>
> <mailto:<a href="mailto:barrelfish-users-owner@lists.inf.ethz.ch">barrelfish-users-owner@lists.inf.ethz.ch</a>><br>
><br>
> When replying, please edit your Subject line so it is more<br>
> specific<br>
> than "Re: Contents of Barrelfish-users digest..."<br>
><br>
> Today's Topics:<br>
><br>
> 1. New Barrelfish Release (Gerd Zellweger)<br>
><br>
> ------------------------------__------------------------------__----------<br>
><br>
> Message: 1<br>
> Date: Mon, 1 Dec 2014 16:18:21 +0100<br>
> From: Gerd Zellweger <<a href="mailto:gerd.zellweger@inf.ethz.ch">gerd.zellweger@inf.ethz.ch</a><br>
> <mailto:<a href="mailto:gerd.zellweger@inf.ethz.ch">gerd.zellweger@inf.ethz.ch</a>>><br>
> Subject: [Barrelfish-users] New Barrelfish Release<br>
> To: Barrelfish hackers <<a href="mailto:barrelfish@lists.inf.ethz.ch">barrelfish@lists.inf.ethz.ch</a><br>
> <mailto:<a href="mailto:barrelfish@lists.inf.ethz.ch">barrelfish@lists.inf.ethz.ch</a>>>__,<br>
> <barrelfish-users@lists.inf.__<a href="http://ethz.ch" target="_blank">ethz.ch</a><br>
> <mailto:<a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a>>><br>
> Message-ID:<br>
> <<a href="mailto:b44370b6e47c056296b2780102504__bfe@gerdzellweger.com">b44370b6e47c056296b2780102504__bfe@gerdzellweger.com</a><br>
> <mailto:<a href="mailto:b44370b6e47c056296b2780102504bfe@gerdzellweger.com">b44370b6e47c056296b2780102504bfe@gerdzellweger.com</a>>><br>
> Content-Type: text/plain; charset="US-ASCII"; format=flowed<br>
><br>
> Dear all,<br>
><br>
> We are pleased to announce a new release of the Barrelfish OS.<br>
> Along<br>
> with various bugfixes, this version includes a new core management<br>
> infrastructure that allows to shutdown and reboot cores, update<br>
> kernels<br>
> and move entire per-core state between cores and kernels. For<br>
> a more<br>
> detailed explanation, please have a look at our OSDI paper<br>
> available<br>
> on<br>
> the Barrelfish website [1].<br>
><br>
> As always, you can get the latest version by cloning or<br>
> pulling from<br>
> our<br>
> git repository [2].<br>
><br>
> Cheers,<br>
> Gerd<br>
><br>
> [1]:<br>
> <a href="http://www.barrelfish.org/__zellweger-decoupling-cores.pdf" target="_blank">http://www.barrelfish.org/__zellweger-decoupling-cores.pdf</a><br>
> <<a href="http://www.barrelfish.org/zellweger-decoupling-cores.pdf" target="_blank">http://www.barrelfish.org/zellweger-decoupling-cores.pdf</a>> [5]<br>
> [2]: git://<a href="http://git.barrelfish.org/git/__barrelfish" target="_blank">git.barrelfish.org/git/__barrelfish</a><br>
> <<a href="http://git.barrelfish.org/git/barrelfish" target="_blank">http://git.barrelfish.org/git/barrelfish</a>> [2]<br>
><br>
> ------------------------------<br>
><br>
> _________________________________________________<br>
> Barrelfish-users mailing list<br>
> Barrelfish-users@lists.inf.__<a href="http://ethz.ch" target="_blank">ethz.ch</a><br>
> <mailto:<a href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a>><br>
> <a href="https://lists.inf.ethz.ch/__mailman/listinfo/barrelfish-__users" target="_blank">https://lists.inf.ethz.ch/__mailman/listinfo/barrelfish-__users</a><br>
> <<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a>> [4]<br>
><br>
> End of Barrelfish-users Digest, Vol 58, Issue 1<br>
> ******************************__*****************<br>
><br>
><br>
><br>
> Links:<br>
> ------<br>
> [1] <a href="http://git.barrelfish.org" target="_blank">http://git.barrelfish.org</a><br>
> [2] <a href="http://git.barrelfish.org/git/__barrelfish" target="_blank">http://git.barrelfish.org/git/__barrelfish</a><br>
> <<a href="http://git.barrelfish.org/git/barrelfish" target="_blank">http://git.barrelfish.org/git/barrelfish</a>><br>
> [3] <a href="http://barrelfish.org" target="_blank">http://barrelfish.org</a><br>
> [4]<br>
> <a href="https://lists.inf.ethz.ch/__mailman/listinfo/barrelfish-__users" target="_blank">https://lists.inf.ethz.ch/__mailman/listinfo/barrelfish-__users</a><br>
> <<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a>><br>
> [5] <a href="http://www.barrelfish.org/__zellweger-decoupling-cores.pdf" target="_blank">http://www.barrelfish.org/__zellweger-decoupling-cores.pdf</a><br>
> <<a href="http://www.barrelfish.org/zellweger-decoupling-cores.pdf" target="_blank">http://www.barrelfish.org/zellweger-decoupling-cores.pdf</a>><br>
><br>
> _________________________________________________<br>
> Barrelfish-users mailing list<br>
> Barrelfish-users@lists.inf.__<a href="http://ethz.ch" target="_blank">ethz.ch</a><br>
> <mailto:<a href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a>><br>
> <a href="https://lists.inf.ethz.ch/__mailman/listinfo/barrelfish-__users" target="_blank">https://lists.inf.ethz.ch/__mailman/listinfo/barrelfish-__users</a><br>
> <<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a>><br>
><br>
><br>
><br>
><br>
> _______________________________________________<br>
> Barrelfish-users mailing list<br>
> <a href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a><br>
> <a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
><br>
<br>
<br>
<br>
------------------------------<br>
<br>
Message: 3<br>
Date: Wed, 3 Dec 2014 11:35:40 +0100<br>
From: Stefan Kaestle <<a href="mailto:stefan.kaestle@inf.ethz.ch">stefan.kaestle@inf.ethz.ch</a>><br>
Subject: Re: [Barrelfish-users] Fwd: Barrelfish-users Digest, Vol 58,<br>
Issue 1<br>
To: <<a href="mailto:barrelfish-users@lists.inf.ethz.ch">barrelfish-users@lists.inf.ethz.ch</a>><br>
Message-ID: <<a href="mailto:547EE77C.5030905@inf.ethz.ch">547EE77C.5030905@inf.ethz.ch</a>><br>
Content-Type: text/plain; charset="windows-1252"; format=flowed<br>
<br>
Maybe you need to setup a proxy for GIT?<br>
<br>
A tutorial on how to configure GIT to use a proxy are here:<br>
<a href="http://cms-sw.github.io/tutorial-proxy.html#how-to-connect-to-a-git-repository-using-the-git-protocol" target="_blank">http://cms-sw.github.io/tutorial-proxy.html#how-to-connect-to-a-git-repository-using-the-git-protocol</a><br>
<br>
We are using the GIT protocol for our public Barrelfish repository.<br>
<br>
Cheers,<br>
Stefan<br>
<br>
On 12/03/2014 11:30 AM, Kornilios Kourtis wrote:<br>
> Hi,<br>
><br>
> On Wed, Dec 03, 2014 at 02:58:52PM +0530, Vinay Kumar wrote:<br>
>> Hi,<br>
>><br>
>> Recently there was a new release of Barrelfish code which includes some<br>
>> enhancements to core management (with reference to below mail),<br>
>><br>
>> I was planning to try to run this release on our systems,<br>
>><br>
>> I tried to clone and download the code from git repository, but somehow<br>
>> its failing to connect to <a href="http://git.barrelfish.org" target="_blank">git.barrelfish.org</a> when I run the git command<br>
>> below:<br>
>><br>
>> #git clone git://<a href="http://git.barrelfish.org/git/barrelfish" target="_blank">git.barrelfish.org/git/barrelfish</a><br>
>><br>
>> Cloning into 'barrelfish'...<br>
>><br>
>> fatal: unable to connect to <a href="http://git.barrelfish.org" target="_blank">git.barrelfish.org</a>:<br>
>><br>
>> <a href="http://git.barrelfish.org" target="_blank">git.barrelfish.org</a>[0: 129.132.186.81]: errno=Connection timed out<br>
><br>
> For what is worth, I tried to clone the repo in a non-ETH machine and it<br>
> seems to work. So maybe this is a network issue on your side?<br>
><br>
> cheers,<br>
> Korniios.<br>
><br>
><br>
<br>
--<br>
Stefan<br>
<a href="http://people.inf.ethz.ch/skaestle/" target="_blank">http://people.inf.ethz.ch/skaestle/</a><br>
<br>
<br>
<br>
<br>
------------------------------<br>
<br>
_______________________________________________<br>
Barrelfish-users mailing list<br>
<a href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a><br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a><br>
<br>
<br>
End of Barrelfish-users Digest, Vol 58, Issue 3<br>
***********************************************<br>
</blockquote></div><br></div></div>