diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2015-07-05 12:01:01 -0400 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2015-07-05 12:01:01 -0400 |
| commit | 9b00885d0fd0a07c7057647f45032428a45a8db8 (patch) | |
| tree | 0ac1114496563e4bd005854218e4c71ef9866cae /src | |
| parent | a61eb1d2ac86ca45beaff99f8f28d4f52d51dfda (diff) | |
| download | postgresql-9b00885d0fd0a07c7057647f45032428a45a8db8.tar.gz postgresql-9b00885d0fd0a07c7057647f45032428a45a8db8.zip | |
Make numeric form of PG version number readily available in Makefiles.
Expose PG_VERSION_NUM (e.g., "90600") as a Make variable; but for
consistency with the other Make variables holding similar info,
call the variable just VERSION_NUM not PG_VERSION_NUM.
There was some discussion of making this value available as a pg_config
value as well. However, that would entail substantially more work than
this two-line patch. Given that there was not exactly universal consensus
that we need this at all, let's just do a minimal amount of work for now.
Back-patch of commit a5d489ccb7e613c7ca3be6141092b8c1d2c13fa7, so that this
variable is actually useful for its intended purpose sometime before 2020.
Michael Paquier, reviewed by Pavel Stehule
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.global.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index 9830b17830e..337bdb0b281 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -34,6 +34,7 @@ all: # PostgreSQL version number VERSION = @PACKAGE_VERSION@ MAJORVERSION = @PG_MAJORVERSION@ +VERSION_NUM = @PG_VERSION_NUM@ # Support for VPATH builds vpath_build = @vpath_build@ |