From 5bccdf5e5ad67fd725875bec96e539ff789fbfa5 Mon Sep 17 00:00:00 2001
From: Andrew Tridgell <andrew@tridgell.net>
Date: Tue, 4 May 2021 21:12:52 +1000
Subject: [PATCH] waf: added --ekf-double configure option

---
 Tools/ardupilotwaf/boards.py |  8 +++++++-
 wscript                      | 10 ++++++++++
 2 files changed, 17 insertions(+), 1 deletion(-)

diff --git a/Tools/ardupilotwaf/boards.py b/Tools/ardupilotwaf/boards.py
index ec378b65da..c9ba9a534a 100644
--- a/Tools/ardupilotwaf/boards.py
+++ b/Tools/ardupilotwaf/boards.py
@@ -340,7 +340,13 @@ class Board:
             for f in os.listdir('libraries/AP_OSD/fonts'):
                 if fnmatch.fnmatch(f, "font*bin"):
                     env.ROMFS_FILES += [(f,'libraries/AP_OSD/fonts/'+f)]
-            
+
+        if cfg.options.ekf_double:
+            env.CXXFLAGS += ['-DHAL_EKF_DOUBLE=1']
+
+        if cfg.options.ekf_single:
+            env.CXXFLAGS += ['-DHAL_EKF_DOUBLE=0']
+
     def pre_build(self, bld):
         '''pre-build hook that gets called before dynamic sources'''
         if bld.env.ROMFS_FILES:
diff --git a/wscript b/wscript
index 98560fbbf0..2effc8117d 100644
--- a/wscript
+++ b/wscript
@@ -251,6 +251,16 @@ configuration in order to save typing.
         action='store_true',
         default=False,
         help='Configure without EKF3.')
+
+    g.add_option('--ekf-double',
+        action='store_true',
+        default=False,
+        help='Configure EKF as double precision.')
+
+    g.add_option('--ekf-single',
+        action='store_true',
+        default=False,
+        help='Configure EKF as single precision.')
     
     g.add_option('--static',
         action='store_true',