1 files changed, 8 insertions, 0 deletions
diff --git a/configure b/configure
index 1dcb41871f4..2b9f6690454 100755
--- a/configure
+++ b/configure
@@ -4742,6 +4742,14 @@ fi
 
 fi
 
+# Supply a numeric version string for use by 3rd party add-ons
+PG_VERSION_NUM="`echo "$PACKAGE_VERSION" | sed 's/A-Za-z.*$//' |
+$AWK -F'\.' '{printf \"%d%02d%02d\", $1, $2, (NF >= 3) ? $3 : 0}'`"
+
+cat >>confdefs.h <<_ACEOF
+#define PG_VERSION_NUM $PG_VERSION_NUM
+_ACEOF
+
 
 ##
 ## Libraries