From 6d0629bddcac1fede980ba24a1285ab670bca640 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Fri, 18 Dec 2015 21:07:58 +0000
Subject: esp8266: Enable float support, using 30-bit stuffed floats.

No complex numbers though.
---
 esp8266/esp8266.ld | 1 +
 1 file changed, 1 insertion(+)

(limited to 'esp8266/esp8266.ld')

diff --git a/esp8266/esp8266.ld b/esp8266/esp8266.ld
index e2f1b807e2..15f923239a 100644
--- a/esp8266/esp8266.ld
+++ b/esp8266/esp8266.ld
@@ -81,6 +81,7 @@ SECTIONS
 
         /* we put some specific text in this section */
         *py/*.o*(.literal* .text*)
+        *lib/libm/*.o*(.literal*, .text*)
         *pyexec.o(.literal*, .text*)
         *readline.o(.literal*, .text*)
         *pybstdio.o(.literal*, .text*)
-- 
cgit v1.2.3