Re: [Minios-devel] [UNIKRAFT/LIBLUA PATCH 0/5] Add optional main and fix various issues

[Roxana Nicolescu <nicolescu.roxana1996@xxxxxxxxx>]

Hi Felipe,

Thanks a lot for your changes!

Roxana

On 15.10.2019 16:26, Felipe Huici wrote:
> In this series we add the ability for Lua to provide an optional
> main() by default. We also fix various issues such as not selecting
> all necessary dependencies in Config.uk and fixing minor issues in
> Makefile.uk
>
> Felipe Huici (5):
>    Remove exportsyms.uk .
>    Add dependencies to Config.uk
>    Fix typo in Makefile.uk
>    Add optional main()
>    Prevent make from deleting archive headers.
>
>   Config.uk     |  10 +-
>   Makefile.uk   |  33 +++--
>   exportsyms.uk | 338 --------------------------------------------------
>   main.c        |  10 ++
>   4 files changed, 40 insertions(+), 351 deletions(-)
>   delete mode 100644 exportsyms.uk
>   create mode 100644 main.c
_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel