From 541cd34b7a51386af0402198bb600469ffaf74a6 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Fri, 8 May 2020 18:02:25 +0530
Subject: [PATCH] genodeLibcCross: build a libm stub

---
 overlay/libc/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/overlay/libc/default.nix b/overlay/libc/default.nix
index 423ff9c..7457064 100644
--- a/overlay/libc/default.nix
+++ b/overlay/libc/default.nix
@@ -6,12 +6,16 @@ genodeSources.buildDepot {
   name = "posix";
   propagatedBuildInputs = [ genodeBase ];
   portInputs = [ genodeSources.ports.libc ];
+  preConfigure = ''
+    echo "LIBS += libm" >> repos/libports/lib/mk/posix.mk
+  '';
   preInstall =
     # Take the libc ABI stubs rather than the actual libc.
     # The libc needs a lot of work and we can't afford to
     # rebuild the toolchain for every fix.
     ''
       find depot -name libc.abi.so -exec install -D {} "''${!outputLib}/libc.so" \;
+      find depot -name libm.abi.so -exec install -D {} "''${!outputLib}/libm.so" \;
     '';
   postInstall = ''
     local headerDir="''${!outputDev}/include"