waf: added --ekf-double configure option

Tools/ardupilotwaf/boards.py

@@ -341,6 +341,12 @@ class Board:
                 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:

wscript

@@ -252,6 +252,16 @@ configuration in order to save typing.
         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',
         default=False,