From 0949ce92a07ee76ad15907b0021addd8a9b053e5 Mon Sep 17 00:00:00 2001
From: Tim Newsome <tim@sifive.com>
Date: Wed, 7 Dec 2016 19:52:00 -0800
Subject: [PATCH] We *do* need the FPU to compile 64-bit code.

---
 debug/targets.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debug/targets.py b/debug/targets.py
index 538caaf..d1ba964 100644
--- 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)
-- 
2.30.2