cmsat_mysql_setup.sh

#!/bin/bash

DROP_USER="DROP USER 'cmsat_solver'@'localhost';"
DROP_USER2="DROP USER 'cmsat_presenter'@'localhost';"

SETUP_DB="
    FLUSH PRIVILEGES;
    drop database if exists cmsat;
    create database cmsat;
    use cmsat;

    create user 'cmsat_solver'@'localhost' identified by '';
    grant insert,update on cmsat.* to 'cmsat_solver'@'localhost';
    create user 'cmsat_presenter'@'localhost' identified by '';
    grant select on cmsat.* to 'cmsat_presenter'@'localhost';"

if [ $1 ]; then
    echo "Using password '$1' for root access to mysql"
  echo "$DROP_USER" | mysql -u root --password="$1" 2> /dev/null
   echo "$DROP_USER2" | mysql -u root --password="$1" 2> /dev/null
    echo "$SETUP_DB" | mysql -u root --password="$1"
    if [ $? -ne 0 ]; then
        echo "ERROR: Cannot create database! Maybe wrong password?";
        exit -1;
    fi
    mysql -u root --password="$1" cmsat < cmsat_tablestructure.sql
    if [ $? -ne 0 ]; then
        echo "ERROR: Cannot add tables to database!";
        exit -1;
    fi
else
    echo "Not using any password for root access to mysql"
    echo "$DROP_USER" | mysql -u root 2> /dev/null
    echo "$DROP_USER2" | mysql -u root 2> /dev/null

    echo "$SETUP_DB" | mysql -u root
    if [ $? -ne 0 ]; then
        echo "ERROR: Cannot create database!";
        exit -1;
    fi
    mysql -u root cmsat < cmsat_tablestructure.sql
    if [ $? -ne 0 ]; then
        echo "ERROR: Cannot add tables to database!";
        exit -1;
    fi
fi

echo "Created DB, set up users cmsat_solver and cmsat_presenter, and added tables"