view build.properties @ 669:ec767930da50

Removed 2 non-JDBC-API methods. Some searching showed they are probably copied over from https://javadoc.io/static/org.postgresql/postgresql/9.4.1212.jre6/org/postgresql/jdbc/PgDatabaseMetaData.html#rowChangesAreDetected(int) when the first JDBC driver code was created in 2008.
author Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
date Thu, 27 Oct 2022 21:41:54 +0200 (2022-10-27)
parents 3c40f672174c
children 843f7d03540a
line wrap: on
line source
# Default build parameters.  These may be overridden by local configuration
# settings in build.local.properties.


##
## JDBC (and client)
##

# major release number
JDBC_MAJOR=3
# minor release number
JDBC_MINOR=2
# an additional identifying string
JDBC_VER_SUFFIX=Liberica
# the default port to connect on, if no port given when using SQL
JDBC_DEF_PORT=50000


##
## General
##

# should we compile with debugging symbols? Not for public releases
enable_debug=false

# should we optimize the build, preferably not for debugging. Yes for public releases
enable_optimize=true