[Barrelfish-users] Building X86_64 problem
Borislav Nikolic
borni at isep.ipp.pt
Fri Sep 2 15:13:27 CEST 2011
Hi Simon!
Thanks for the patch, you were right! I confirm that applying the patch on
usr/fish/Hakefile (extending flounderExtraBindings) solved the problem and I
assume that I booted the Barrelfish correctly. It produced the following
output:
No bootscript
fish v0.2 -- pleased to meet you!
I also assume that I managed to successfully boot the Barrelfish on gem5
X86_FS with "opt" build. However, the output produced was slightly different
and I couldn't use the shell commands, like I was in aforementioned boot
(qemu). Produced output is:
No bootscript
hellotest.1: Hello world (debug_printf)
Hello world (normal printf)
Kind regards,
Borislav Nikolic
-----Original Message-----
From: Simon Peter
Sent: Friday, September 02, 2011 9:57 AM
To: borni at isep.ipp.pt
Cc: Barrelfish users
Subject: Re: [Barrelfish-users] Building X86_64 problem
I think you've hit a dependency bug. I attached a patch that will
hopefully fix it for you. Please tell me if it doesn't.
Simon
On 01.09.2011 17:24, borni at isep.ipp.pt wrote:
> Hi everybody!
>
> My name is Borislav and I am a PhD student. I am trying to run the
> Barrelfish on the following setup:
>
> Ubuntu 11.4 64-bit
>
> gcc 4.5.2
>
> gnu binutils 2.21
>
> ghc 6.12.3
>
> Hake command completes regularly, but when I do "make", I get the
> following error:
>
> Generating x86_64/usr/fish/_for_app_fish/fish.o.depend
> ../usr/fish/fish.c:35:35: fatal error: if/mem_rpcclient_defs.h: No such
> file or directory
> compilation terminated.
> make: *** [x86_64/usr/fish/_for_app_fish/fish.o.depend] Error 1
>
> As I have seen while browsing the archive, the problems with building
> fish are related to ghc 6.12.1, so I double checked my version but it
> is, as written 6.12.3.
>
> Any ideas what might be wrong?
>
> Thanks in advance,
>
> Borislav Nikolic
>
>
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
More information about the Barrelfish-users
mailing list