mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 13:32:33 +01:00
e3b33f856a
Fixed branding problem. Many files: Fixed branding problem changelog: Upgraded to 5.0.42 defs.mk.in: Fixed branding and variable persiting problem.
14 lines
776 B
Makefile
14 lines
776 B
Makefile
MYSQL_BUILD_OPTS=--with-comment='MySQL Server (custom)' --with-server-suffix='-custom'
|
|
MYSQL_BUILD_CXXFLAGS=-DBIG_JOINS=1 -felide-constructors -fno-rtti -O2
|
|
MYSQL_BUILD_CFLAGS=-DBIG_JOINS=1 -O2
|
|
MYSQL_BUILD_CC=gcc
|
|
MYSQL_BUILD_CXX=gcc
|
|
# we re-write state into this file. MYSQL_BASE_VERSION might get a suffix added
|
|
# by debian/rules which could result in a nasty loop. VER is there to hold the
|
|
# original unadorned version from autoconf
|
|
MYSQL_BASE_VERSION=@MYSQL_BASE_VERSION@
|
|
MYSQL_PREVIOUS_BASE_VERSION=@MYSQL_PREVIOUS_BASE_VERSION@
|
|
MYSQL_BRANDED_BASE_VERSION=@MYSQL_BRANDED_BASE_VERSION@
|
|
MYSQL_BRANDED_PREVIOUS_BASE_VERSION=@MYSQL_BRANDED_PREVIOUS_BASE_VERSION@
|
|
SHARED_LIB_MAJOR_VERSION=@SHARED_LIB_MAJOR_VERSION@
|
|
NDB_SHARED_LIB_MAJOR_VERSION=@NDB_SHARED_LIB_MAJOR_VERSION@
|