ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 00:41:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
0eef45e63f
genode/ports/lib/mk
History
Christian Helmuth f02e9001e8 vbox: fix dependencies of generated files 
Express that the target binary files depend on the generated files not
the source files. The old expression seems to confuse Make, which then
logs a bogus error like the following

      COMPILE  Runtime/common/err/errmsg.o
  genode-x86-g++: error: Runtime/common/err/errmsg.cpp: No such file or directory
  genode-x86-g++: fatal error: no input files
  compilation terminated.
  make[2]: *** [Runtime/common/err/errmsg.o] Error 1
  make[1]: *** [virtualbox-runtime.lib] Error 2
2014-03-06 14:53:33 +01:00
..
fiasco_x86 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
foc ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
foc_arm Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
foc_x86_32 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
linux ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
linux_x86_32 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
nova ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
nova_x86_32 Enable gdb_monitor for NOVA 2012-08-30 10:40:00 +02:00
okl4 ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
okl4_x86 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
pistachio ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
pistachio_x86 Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
x86_32 ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
x86_64 ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
gdbserver_libc_support.mk Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
gdbserver_platform.inc Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
libc_noux.mk base: setup thread object for main thread in CRT0 2014-02-25 14:58:05 +01:00
seoul_libc_support.mk Add 'seoul_libc_support' library 2013-03-18 13:09:16 +01:00
virtualbox_libc_support.inc ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
virtualbox-bios.mk ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
virtualbox-common.inc ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
virtualbox-devices.mk vbox: fix dependencies of generated files 2014-03-06 14:53:33 +01:00
virtualbox-dis.mk ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
virtualbox-drivers.mk ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
virtualbox-liblzf.mk ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
virtualbox-recompiler.mk ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
virtualbox-runtime.mk vbox: fix dependencies of generated files 2014-03-06 14:53:33 +01:00
virtualbox-storage.mk ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
virtualbox-vmm.mk ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00
virtualbox-zlib.mk ports: add VirtualBox as VMM for Genode 2014-02-28 10:11:12 +01:00