From 78d282890b61022f1576524d7daf87f4c65cd9c5 Mon Sep 17 00:00:00 2001
From: Tim Newsome <tim@sifive.com>
Date: Wed, 7 Dec 2016 18:32:15 -0800
Subject: [PATCH] Don't compile with FPU support for now.

It's not Just Working, and none of the tests so far actually care.
---
 debug/targets.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/debug/targets.py b/debug/targets.py
index 7496b48..538caaf 100644
--- a/debug/targets.py
+++ b/debug/targets.py
@@ -11,6 +11,7 @@ class Target(object):
     temporary_files = []
     temporary_binary = None
     openocd_config = []
+    use_fpu = False
 
     def __init__(self, cmd, run, isolate):
         self.cmd = cmd
@@ -38,10 +39,13 @@ class Target(object):
                     prefix=binary_name + "_")
             binary_name = self.temporary_binary.name
             Target.temporary_files.append(self.temporary_binary)
+        march = "RV%dIMA" % self.xlen
+        if self.use_fpu:
+            march += "FD"
         testlib.compile(sources +
                 ("programs/entry.S", "programs/init.c",
                     "-I", "../env",
-                    "-march=RV%dIMAFD" % self.xlen,
+                    "-march=%s" % march,
                     "-T", "targets/%s/link.lds" % (self.directory or self.name),
                     "-nostartfiles",
                     "-mcmodel=medany",
-- 
2.30.2