1#
2# Check if server has support for loading plugins
3#
4if (`SELECT @@have_dynamic_loading != 'YES'`) {
5  --skip RocksDB requires dynamic loading
6}
7
8if (!$ROCKSDB) {
9  --skip RocksDB requires the environment variable \$ROCKSDB to be set (normally done by mtr)
10}
11
12#
13# Check if --plugin-dir was setup for ROCKSDB
14#
15if (`SELECT CONCAT('--plugin-dir=', REPLACE(@@plugin_dir, '\\\\', '/')) != '$ROCKSDB_OPT/'`) {
16  --skip RocksDB requires that --plugin-dir is set to the RocksDB plugin dir (either the .opt file does not contain \$ROCKSDB_OPT or another plugin is in use)
17}
18