Trying to get virtualbox to compile with NOVA

[Lonnie Cumberland]

Hi All,

I am trying to get VirtualBox to compile with NOVA on my Ubuntu 14.04
system.

I have:

1. lonnie at ...355...:~/genode$ tool/ports/prepare_port virtualbox
virtualbox  download
http://download.virtualbox.org/virtualbox/4.3.16/VirtualBox-4.3.16.tar.bz2
virtualbox  extract VirtualBox-4.3.16.tar.bz2 (virtualbox)
virtualbox  download
http://download.virtualbox.org/virtualbox/4.3.16/VirtualBoxSDK-4.3.16-95972.zip
virtualbox  extract VirtualBoxSDK-4.3.16-95972.zip (virtualbox_sdk)

2. lonnie at ...355...:~/genode$ tool/ports/prepare_port libc
libc  download http://svn.freebsd.org/base/release/8.2.0/lib/libc
libc  download http://svn.freebsd.org/base/release/8.2.0/lib/libutil
libc  download http://svn.freebsd.org/base/release/8.2.0/include
libc  download http://svn.freebsd.org/base/release/8.2.0/sys/sys
libc  download http://svn.freebsd.org/base/release/8.2.0/sys/rpc
.
.
.

3. lonnie at ...355...:~/genode/build/nova_x86_64$ make run/virtualbox
including /home/lonnie/genode/tool/run/boot_dir/nova
including /home/lonnie/genode/tool/run/power_on/qemu
including /home/lonnie/genode/tool/run/log/qemu
including /home/lonnie/genode/tool/run/image/iso
including /home/lonnie/genode/repos/ports/run/virtualbox.run
building targets: core init virtualbox drivers/framebuffer drivers/timer
drivers/input drivers/rtc drivers/platform drivers/acpi server/report_rom
drivers/platform/spec/x86/device_pd
spawn make core init virtualbox drivers/framebuffer drivers/timer
drivers/input drivers/rtc drivers/platform drivers/acpi server/report_rom
drivers/platform/spec/x86/device_pd
make[1]: Entering directory `/home/lonnie/genode/build/nova_x86_64'
checking library dependencies...
Skip target drivers/framebuffer/spec/exynos because it requires exynos
Skip target drivers/framebuffer/spec/imx53 because it requires imx53
Skip target drivers/framebuffer/spec/omap4 because it requires omap4
Skip target drivers/framebuffer/spec/pl11x/pbxa9 because it requires pl11x
pbxa9
Skip target drivers/framebuffer/spec/rpi because it requires rpi
Skip target drivers/framebuffer/spec/sdl because it requires linux sdl
Skip target drivers/input/spec/imx53 because it requires imx53
Skip target drivers/input/spec/ps2/pl050 because it requires pl050
Skip target drivers/platform/spec/arndale because it requires arndale
Skip target drivers/platform/spec/imx53 because it requires imx53
Skip target drivers/platform/spec/odroid_x2 because it requires odroid_x2
Skip target drivers/platform/spec/rpi because it requires rpi
/home/lonnie/genode/repos/libports/lib/import/import-stdcxx.mk:8: ***
Error: stdcxx is not prepared or outdated.  Stop.
make[1]: *** [traverse_dependencies] Error 1
make[1]: Leaving directory `/home/lonnie/genode/build/nova_x86_64'
Error: Genode build failed
make: *** [run/virtualbox] Error 252

I am getting an error with the stdcxx and am not sure what I might have
missed.

Can someone please give me an idea as to what may be happening here?

Kind Regards and have a great day,
Lonnie
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20151004/c6ec0919/attachment.html>