Re: [Minios-devel] [UNIKRAFT PATCH 1/2] build: Option to build without GCC debug information

[Costin Lupu <costin.lup@xxxxxxxxx>]

Thanks, Simon!

Reviewed-by: Costin Lupu <costin.lupu@xxxxxxxxx>

On 6/3/19 1:11 PM, Simon Kuenzer wrote:
> Introduces the option to build without GCC debug information (`-g0`
> parameter). This is generally not recommended but it can speed up
> overall building time.
> 
> Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
> ---
>  Config.uk   | 6 ++++++
>  Makefile.uk | 2 ++
>  2 files changed, 8 insertions(+)
> 
> diff --git a/Config.uk b/Config.uk
> index bb791fdb..4c7a0ec2 100644
> --- a/Config.uk
> +++ b/Config.uk
> @@ -92,6 +92,12 @@ choice
>       help
>               Set the level of available debugging information.
>  
> +config DEBUG_SYMBOLS_LVL0
> +     bool "Level 0 (-g0), None"
> +     help
> +             No debugging information. This option is not recommended.
> +             Building time is reduced.
> +
>  config DEBUG_SYMBOLS_LVL1
>       bool "Level 1 (-g1)"
>       help
> diff --git a/Makefile.uk b/Makefile.uk
> index 3716fa64..2047daef 100644
> --- a/Makefile.uk
> +++ b/Makefile.uk
> @@ -40,6 +40,8 @@ CXXFLAGS-$(CONFIG_OPTIMIZE_LTO)           += -flto
>  LIBLDFLAGS-$(CONFIG_OPTIMIZE_LTO)         += $(CFLAGS) $(CFLAGS-y)
>  LDFLAGS-$(CONFIG_OPTIMIZE_LTO)            += $(CFLAGS) $(CFLAGS-y)
>  
> +CFLAGS-$(CONFIG_DEBUG_SYMBOLS_LVL0)       += -g0
> +CXXFLAGS-$(CONFIG_DEBUG_SYMBOLS_LVL0)     += -g0
>  CFLAGS-$(CONFIG_DEBUG_SYMBOLS_LVL1)       += -g1
>  CXXFLAGS-$(CONFIG_DEBUG_SYMBOLS_LVL1)     += -g1
>  CFLAGS-$(CONFIG_DEBUG_SYMBOLS_LVL2)       += -g2
> 

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel