Re: Unikraft makefile - how to copy files in Makefile.uk

[Felipe Huici <Felipe.Huici@xxxxxxxxx>]

Hi Felix, not sure if this is a re-send, but just in case: Sharan wrote back to 
you yesterday.

Thanks,

-- Felipe

On 08.07.20, 13:17, "Minios-devel on behalf of felix nasch" 
<minios-devel-bounces@xxxxxxxxxxxxxxxxxxxx on behalf of felix.nasch@xxxxxxxxx> 
wrote:

    Hi,
    
    I was hanging out in the IRC channel, but it seems inactive, so I am
    asking here, hope that's ok. :)
    I am trying to port a library to Unikraft, and as part of the build process 
I
    want to copy around a few files after extracting the source files.
    This is to solve these two problems:
    
    1. Some source files have the same name (in different dirs), but the
    unikraft build
        system places all .obj files into the root directory, thus
    colliding object files
        overwrite each other. I want to rename conflicting files prior to
    compilation.
    
    2. Include paths - when extracting the source package, the include path is 
not
        how consumers of the library expect it. I would want to create an
    appropriately
        named subdir and move the header files into it.
    
    However, I can't figure out how to execute a simple "cp <src> <dest>"
    in Makefile.uk,
    since new targets cannot be defined.
    
    How can I do that?
    
    Thanks,
    f.