1 files changed, 5 insertions, 0 deletions
diff --git a/pk/pk.ac b/pk/pk.ac
index 94fb63a..c53c2c2 100644
--- a/pk/pk.ac
+++ b/pk/pk.ac
@@ -15,3 +15,8 @@ AC_ARG_ENABLE([user-64bit], AS_HELP_STRING([--disable-user-64bit], [Disable 64-b
 AS_IF([test "x$enable_user_64bit" != "xno"], [
   AC_DEFINE([PK_ENABLE_USER_64BIT],,[Define if the user runs in 64-bit mode])
 ])
+
+AC_ARG_ENABLE([fp-emulation], AS_HELP_STRING([--disable-fp-emulation], [Disable floating-point emulation]))
+AS_IF([test "x$enable_fp_emulation" != "xno"], [
+  AC_DEFINE([PK_ENABLE_FP_EMULATION],,[Define if floating-point emulation is enabled])
+])