Make floating-point optional

1 files changed, 1 insertions, 1 deletions

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