From 27b18d2fc70a7788c97f57a02a768214a2548ee0 Mon Sep 17 00:00:00 2001
From: Keith Packard <keithp@keithp.com>
Date: Mon, 11 Jan 2021 22:28:38 -0800
Subject: picolibc: Build libstdc++ against picolibc if requested

This uses the gcc support for building libstdc++ using alternate lib
header files.

Signed-off-by: Keith Packard <keithp@keithp.com>
---
 config/comp_libs/picolibc.in | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'config')

diff --git a/config/comp_libs/picolibc.in b/config/comp_libs/picolibc.in
index 62ab22b4..cb7a1e4f 100644
--- a/config/comp_libs/picolibc.in
+++ b/config/comp_libs/picolibc.in
@@ -10,6 +10,16 @@
 ## help conglomeration of several library parts, all under BSD-compatible software
 ## help licenses that make them easily usable on embedded products.
 
+config LIBC_PICOLIBC_GCC_LIBSTDCXX
+    bool
+    prompt "Compile libstdc++ picolibc variant"
+    default y
+    depends on CC_LANG_CXX
+    help
+      This option compiles an additional target libstdc++ for use with
+      picolibc. This version is linked when "--specs=picolibcpp.specs"
+      is specified.
+
 config LIBC_PICOLIBC_CXA_ATEXIT
     def_bool y
     select LIBC_PROVIDES_CXA_ATEXIT
-- 
cgit v1.2.3