diff options
Diffstat (limited to 'BUILD')
-rwxr-xr-x | BUILD/SETUP.sh | 1 | ||||
-rwxr-xr-x | BUILD/compile-amd64-gprof-no-ndb | 7 | ||||
-rwxr-xr-x | BUILD/compile-dist | 1 |
3 files changed, 9 insertions, 0 deletions
diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index 3655d3eae67..7e561e85f58 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -147,6 +147,7 @@ base_configs="--prefix=$prefix --enable-assembler " base_configs="$base_configs --with-extra-charsets=complex " base_configs="$base_configs --enable-thread-safe-client " base_configs="$base_configs --with-big-tables" +base_configs="$base_configs --with-plugin-maria --with-maria-tmp-tables" if test -d "$path/../cmd-line-utils/readline" then diff --git a/BUILD/compile-amd64-gprof-no-ndb b/BUILD/compile-amd64-gprof-no-ndb new file mode 100755 index 00000000000..9fd4c67155c --- /dev/null +++ b/BUILD/compile-amd64-gprof-no-ndb @@ -0,0 +1,7 @@ +#! /bin/sh +path=`dirname $0` +. "$path/SETUP.sh" +extra_flags="$amd64_cflags -pg -g" +extra_configs="$amd64_configs $max_no_ndb_configs --disable-shared $static_link" + +. "$path/FINISH.sh" diff --git a/BUILD/compile-dist b/BUILD/compile-dist index caee172f196..bc907ed2bd0 100755 --- a/BUILD/compile-dist +++ b/BUILD/compile-dist @@ -57,6 +57,7 @@ export CC CXX MAKE # Make sure to enable all features that affect "make dist" # Remember that configure restricts the man pages to the configured features ! ./configure \ + --with-maria-storage-engine \ --with-embedded-server \ --with-ndbcluster $MAKE |