We *do* need the FPU to compile 64-bit code.

diff --git a/debug/targets.py b/debug/targets.py
index 538caaf41d6dadcc5b4f47770b7b3b33051c79a5..d1ba96430d845bcd2195454da7dce1fa5957d98e 100644 (file)
--- a/debug/targets.py
+++ b/debug/targets.py
@@ -64,6 +64,7 @@ class SpikeTarget(Target):
 class Spike64Target(SpikeTarget):
     name = "spike64"
     xlen = 64
+    use_fpu = True
 
     def server(self):
         return testlib.Spike(self.cmd, halted=True)