[Buildroot] [PATCH v4 1/3] package/mono: enable mono library compilation

[Thomas Petazzoni]

Dear Angelo Compagnucci,

On Thu, 12 Feb 2015 14:49:30 +0100, Angelo Compagnucci wrote:

> diff --git a/package/mono/mono.mk b/package/mono/mono.mk
> index 0bbf338..9ec3c24 100644
> --- a/package/mono/mono.mk
> +++ b/package/mono/mono.mk
> @@ -21,7 +21,6 @@ MONO_AUTORECONF = YES
>  MONO_CONF_OPTS = --disable-gtk-doc \
>  	--with-mcs-docs=no \
>  	--with-moonlight=no \
> -	--disable-libraries \
>  	--with-ikvm-native=no \
>  	--enable-minimal=aot,profiler,debug \
>  	--disable-mcs-build \

Apparently, Mono was working fine with --disable-libraries, as long as
no third party libraries are used. So should we make this optional
instead? What is the size impact of this (i.e a Mono build with
--disable-libraries, and a Mono build without --disable-libraries), in
terms of installed size? If the size difference is small compared to
the overall size of Mono, then I'm fine for doing it unconditionally.

Could you comment on this?

Thanks,

Thomas
-- 
Thomas Petazzoni, CTO, Free Electrons
Embedded Linux, Kernel and Android engineering
http://free-electrons.com