1 files changed, 15 insertions, 0 deletions
diff --git a/contrib/tools/python3/src/Python/pyfpe.c b/contrib/tools/python3/src/Python/pyfpe.c
new file mode 100644
index 00000000000..31ef5d73b70
--- /dev/null
+++ b/contrib/tools/python3/src/Python/pyfpe.c
@@ -0,0 +1,15 @@
+/* These variables used to be used when Python was built with --with-fpectl,
+ * but support for that was dropped in 3.7. We continue to define them,
+ * though, because they may be referenced by extensions using the stable ABI.
+ */
+
+#include "setjmp.h"
+
+jmp_buf PyFPE_jbuf;
+int PyFPE_counter;
+
+double
+PyFPE_dummy(void *dummy)
+{
+    return 1.0;
+}