From a3e98b9f2e8ed10ea09722dbbd0c97f52e1b9a6d Mon Sep 17 00:00:00 2001 From: Adam Duskett Date: Tue, 2 Jan 2024 16:59:28 -0700 Subject: [PATCH] package/flutter-pi: add an option to enable the charset converter plugin Signed-off-by: Adam Duskett [yann.morin.1998@free.fr: - move plugin description, from commit log, to help text ] Signed-off-by: Yann E. MORIN --- package/flutter-pi/Config.in | 11 +++++++++++ package/flutter-pi/flutter-pi.mk | 7 ++++++- 2 files changed, 17 insertions(+), 1 deletion(-) diff --git a/package/flutter-pi/Config.in b/package/flutter-pi/Config.in index ecebfad89b..4bbdc3cc77 100644 --- a/package/flutter-pi/Config.in +++ b/package/flutter-pi/Config.in @@ -23,6 +23,17 @@ if BR2_PACKAGE_FLUTTER_PI comment "plugins" +config BR2_PACKAGE_FLUTTER_PI_CHARSET_CONVERTER_PLUGIN + bool "charset converter" + help + Adds platform-side implementation of charset_converter plugin. + + Encode and decode charsets using platform built-in converter. + This plugin saves app package size as you don't need external + charset maps or whole libraries like iconv. + + https://pub.dev/packages/charset_converter + config BR2_PACKAGE_FLUTTER_PI_GSTREAMER_AUDIO_PLAYER_PLUGIN bool "gstreamer audio player" depends on BR2_PACKAGE_HAS_LIBGLES diff --git a/package/flutter-pi/flutter-pi.mk b/package/flutter-pi/flutter-pi.mk index 4ec89bdfad..ab640d704a 100644 --- a/package/flutter-pi/flutter-pi.mk +++ b/package/flutter-pi/flutter-pi.mk @@ -27,7 +27,6 @@ FLUTTER_PI_CONF_OPTS = \ -DENABLE_VULKAN=OFF \ -DFILESYSTEM_LAYOUT=meta-flutter \ -DLINT_EGL_HEADERS=OFF \ - -DBUILD_CHARSET_CONVERTER_PLUGIN=OFF \ -DTRY_BUILD_GSTREAMER_AUDIO_PLAYER_PLUGIN=OFF \ -DTRY_BUILD_GSTREAMER_VIDEO_PLAYER_PLUGIN=OFF \ -DTRY_ENABLE_OPENGL=OFF \ @@ -43,6 +42,12 @@ else FLUTTER_PI_CONF_OPTS += -DLTO=OFF endif +ifeq ($(BR2_PACKAGE_FLUTTER_PI_CHARSET_CONVERTER_PLUGIN),y) +FLUTTER_PI_CONF_OPTS += -DBUILD_CHARSET_CONVERTER_PLUGIN=ON +else +FLUTTER_PI_CONF_OPTS += -DBUILD_CHARSET_CONVERTER_PLUGIN=OFF +endif + ifeq ($(BR2_PACKAGE_FLUTTER_PI_GSTREAMER_AUDIO_PLAYER_PLUGIN),y) FLUTTER_PI_DEPENDENCIES += gstreamer1 gst1-plugins-base FLUTTER_PI_CONF_OPTS += -DBUILD_GSTREAMER_AUDIO_PLAYER_PLUGIN=ON