gen_bin_vocabulary.sh

#!/usr/bin/env bash

. config.sh  # source configuration file 

# ====================================================

print_blue '================================================'
print_blue "Building Vocabulary"
print_blue '================================================'

set -e

START_DIR=`pwd`

cd Vocabulary

if [ ! -f ORBvoc.txt ]; then
	echo "Uncompress vocabulary ..."
	tar -xf ORBvoc.txt.tar.gz
fi	

if [ ! -f ORBvoc.bin ] && [ -f bin_vocabulary ]; then
	echo "Converting vocabulary to binary version"
	./bin_vocabulary
fi

cd $START_DIR

echo "done"