Thanks Marcus,

I think things are better, but now:

jack@uv:~/fiasco/src/l4$ rm -rf mybuild/

jack@uv:~/fiasco/src/l4$ make B=./mybuild

jack@uv:~/fiasco/src/l4$ make O=./mybuild config

[snip]

*** End of the configuration.

*** Execute 'make' to start the build or try 'make help'.

scripts/kconfig/conf --silentoldconfig /home/jack/fiasco/src/l4/mybuild/Kconfig.generated

All build tools checked ok.

make[4]: Nothing to be done for `all'.

<stdin>:1:28: fatal error: bits/c++config.h: No such file or directory

compilation terminated.

ln -snf /home/jack/fiasco/src/l4 /home/jack/fiasco/src/l4/mybuild/source

make[1]: `/home/jack/fiasco/src/l4/mybuild/.config.all' is up to date.

jack@uv:~/fiasco/src/l4$ make

mk/Makeconf:264: *** need to give builddir with O=.../builddir. Stop.

jack@uv:~/fiasco/src/l4$ make O=./mybuild

make[2]: Nothing to be done for `all'.

... Compiling /home/jack/fiasco/src/l4/mybuild/tool/elf-patcher/elf-patcher

Makefile:103: /home/jack/fiasco/src/l4/mybuild/pkg/.Package.deps: No such file or directory

=== Building package "boehm_gc" ===

=== Building package "libstdc++-headers" ===

... Building /home/jack/fiasco/src/l4/mybuild/pkg/libstdc++-headers/include/.general.d

... Updating symlinks

... Building /home/jack/fiasco/src/l4/mybuild/pkg/libstdc++-headers/include-4.7/.general.d

... Updating symlinks

... Building /home/jack/fiasco/src/l4/mybuild/pkg/libstdc++-headers/include-std/.general.d

... Updating symlinks

==> Updating symlinks

=== Building package "libgcc-pure" ===

... Building /home/jack/fiasco/src/l4/mybuild/pkg/libgcc-pure/lib/.general.d

... Building .general.d

... Building Makefile.inc

... Generating libgcc.a

==> Installing libgcc.a to local build-tree

=== Building package "ldscripts" ===

... Building /home/jack/fiasco/src/l4/mybuild/pkg/ldscripts/.general.d

... Building .general.d

... Building Makefile.inc

... Generating main_stat.ld

==> Installing main_stat.ld to local build-tree

... Generating main_rel.ld

==> Installing main_rel.ld to local build-tree

... Generating main_dyn.ld

==> Installing main_dyn.ld to local build-tree

... Compiling crti_s.o

... Compiling kip_addr.o

... Generating crti.o

==> Installing crti.o to local build-tree

... Compiling crtn.o

==> Installing crtn.o to local build-tree

... Compiling crt1.o

==> Installing crt1.o to local build-tree

... Compiling crti.s.o

==> Installing crti.s.o to local build-tree

... Compiling crtn.s.o

==> Installing crtn.s.o to local build-tree

... Compiling crt1.s.o

==> Installing crt1.s.o to local build-tree

=== Building package "l4sys" ===

... Building /home/jack/fiasco/src/l4/mybuild/pkg/l4sys/include/.general.d

... Updating symlinks

... Building /home/jack/fiasco/src/l4/mybuild/pkg/l4sys/lib/src/.general.d

... Building .general.d

... Building Makefile.inc

... Compiling kobject.o

... Compiling utcb.o

... Compiling errtostr.o

==> Archiving into libl4sys.a

==> "libl4sys.a" built

... Compiling kobject.s.o

... Compiling utcb.s.o

... Compiling errtostr.s.o

==> Linking to shared libl4sys.so

ld: i386 architecture of input file `/usr/lib/gcc/i686-linux-gnu/4.7/crtbeginS.o' is incompatible with i386:x86-64 output

ld: i386 architecture of input file `/usr/lib/gcc/i686-linux-gnu/4.7/crtendS.o' is incompatible with i386:x86-64 output

make[5]: *** [libl4sys.so] Error 1

make[4]: *** [/home/jack/fiasco/src/l4/mybuild/pkg/l4sys/lib/src/OBJ-amd64_opteron-l4f] Error 2

make[3]: *** [src] Error 2

make[2]: *** [lib] Error 2

make[1]: *** [l4sys] Error 2

make: *** [pkg] Error 2

TIA!

jack

On 6 April 2014 19:56, Marcus Hähnel <mhaehnel@os.inf.tu-dresden.de> wrote:

Hi Jack,

On 2014-04-06 11:24, Jack Andrews wrote:

Hi,

Sorry if this is not the right forum.

you've come to the right place.

I'm following
https://os.inf.tu-dresden.de/fiasco/build.html [1]

and i could build fiasco just fine.

I made a couple of guesses about how to build L4Re because I couldn't
find much info:

jack@uv:~/fiasco/src/l4$ mkdir mybuild
jack@uv:~/fiasco/src/l4$ make grub2iso E=hello O=mybuild
MODULE_SEARCH_PATH=~/fiasco/src/kernel/fiasco/mybuild/
Processing entry 'hello'

You are nearly there. Just like there is a 'building' page for Fiasco there is one for L4Re. Just follow the explanation at

https://os.inf.tu-dresden.de/L4Re/build.html

and you should get what you want. Your try did not succeed because you first have to configure your L4Re tree.

Happy hacking,

- Marcus Haehnel

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers