kkourt at inf.ethz.ch
Tue Jan 31 11:05:21 CET 2012
On Tue, Jan 31, 2012 at 09:46:42AM +0000, Georgios Varisteas wrote:
> First of all congrats on the update. AHCI support is an important
> milestone. However, is it possible that something went wrong with the
> update? I get the following error:
> ../src/include/ahci/ahci_util.h:15:31: fatal error:
> dev/ahci_port_dev.h: No such file or directory compilation terminated.
> make: ***
> Error 1
> I can see ahci_port.dev in devices/ and the Hakefile is correct, so the
> missing header should have been generated but it doesn't. I have
> cleaned my build directory and started from scratch with no result. Any
It could be that the make dependencies are not set correctly.
If you do:
Is the file generated? Can you complete the build after that?
More information about the Barrelfish-users