From 99b02d9ecdd4da2c8ec7659e2e6dccf6e7bfc144 Mon Sep 17 00:00:00 2001
From: Manu Evans <turkeyman@gmail.com>
Date: Wed, 1 Apr 2015 01:45:28 +1000
Subject: [PATCH] Added an 'fpu' option, to select software/hardware FPU (used
 by arm, mips, etc)

---
 src/_premake_init.lua | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/_premake_init.lua b/src/_premake_init.lua
index e6e97cf318..7f0f498d7c 100644
--- a/src/_premake_init.lua
+++ b/src/_premake_init.lua
@@ -447,6 +447,17 @@
 		tokens = true,
 	}
 
+	api.register {
+		name = "fpu",
+		scope = "config",
+		kind = "string",
+		allowed = {
+			"Software",
+			"Hardware",
+		}
+	}
+
+
 	api.register {
 		name = "framework",
 		scope = "config",