Re: [PATCH 1/2] tcg: Search includes from the project root source directory

[Philippe Mathieu-Daudé]

On 12/30/19 11:33 AM, Paolo Bonzini wrote:
> Il lun 30 dic 2019, 09:59 Philippe Mathieu-Daudé <address@hidden 
> <mailto:address@hidden>> ha scritto:
>
>      > I'd prefer not changing those files.
>
>     OK, I'll wait to see what Richard/Markus prefer.
>
>
> I think it's best if you keep the include directives as-is for files 
> only needed from tcg/, and move the other headers (those that are needed 
> from other directories only) to include/tcg.

I thought moving headers to include/tcg would diverge too much from 
libtcg, but this project already did it, so why not:
https://github.com/S2E/libtcg/tree/master/include/tcg