From 05117cef2423ddc5deedf5dd51df28806065d0c8 Mon Sep 17 00:00:00 2001
From: LLLL Colonq <llll@colonq>
Date: Tue, 9 Jun 2026 20:12:45 -0400
Subject: Make floating-point optional

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index 1a57d6f..d886d37 100644
--- a/flake.nix
+++ b/flake.nix
@@ -40,7 +40,7 @@
             src = ./.;
             hardeningDisable = ["all"];
             buildPhase = ''
-              make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar libcolonq-pit.a
+              make CPPFLAGS=-DPIT_NO_DOUBLE CC=arm-none-eabi-gcc AR=arm-none-eabi-ar libcolonq-pit.a
             '';
             installPhase = ''
               make CC=arm-none-eabi-gcc AR=arm-none-eabi-ar prefix=$out install-core install-headers
-- 
cgit v1.2.3