.souffle-sh

#!/bin/bash

#
# > .souffle_sh
#
#   A quick and dirty bash script for developing souffle.
#

export SOUFFLE=$(pwd)

alias souffle=$SOUFFLE/src/souffle
alias souffle-profile=$SOUFFLE/src/souffle-profile

souffle_help() {
cat << EOF

    > .souffle-sh

        A quick and dirty bash script for developing souffle.

    souffle             Alias for souffle executable.
    souffle-profile     Alias for souffle-profile executable.
    souffle_ubuntu      Install all packages required by souffle for Ubuntu.
    souffle_setup       Fetch branches and tags, if no executable is found, run bootstrap, configure, and make.
    souffle_make        Run souffle_setup and then make.
    souffle_reset       Reset hard to last commit, delete untracked files, run souffle_setup.
    souffle_commit      Format with clang, repair permissions, add everything to git and commit.
    souffle_format      Format codebase with clang, according to .clang-format file.
    souffle_push        Push the current branch to the git remote.
    souffle_pull        Pull the current branch from the git remote.
    souffle_test        Run souffle_make and then the testsuite on the given tests.
    souffle_debug       Run souffle_make and then the test in directory \$SOUFFLE/\$1/\$2.

EOF
}

souffle_ubuntu() {
    sudo apt-get update && \
    sudo apt-get upgrade && \
    sudo apt-get install $(echo $( \
        cat README.md | \
        grep "apt-get install" | \
        sed 's/^.*apt-get install//g'));
}

souffle_setup() {
    cd $SOUFFLE && \
    git fetch origin && \
    git fetch origin --tags && \
    git fetch upstream && \
    git fetch upstream --tags && \
    if [ ! -e src/souffle ]
    then
        chmod 775 bootstrap && \
        ./bootstrap && \
        chmod 775 configure && \
        ./configure
    fi && \
    cd -
}

souffle_make() {
    souffle_setup && \
    cd $SOUFFLE && \
    make -j8 && \
    cd -
}

souffle_reset() {
    cd $SOUFFLE && \
    git reset --hard HEAD && \
    git clean -xdf && \
    souffle_setup && \
    cd -
}

souffle_format() {
    cd $SOUFFLE && \
    clang-format-3.8 -i -style=file \
        $SOUFFLE/src/*.cpp \
        $SOUFFLE/src/*.h \
        $SOUFFLE/src/test/*.cpp \
        $SOUFFLE/src/test/*.h && \
    cd -
}

souffle_commit() {
    cd $SOUFFLE && \
    souffle_format && \
    git checkout upstream/master -- src/mcpp*.[chCH] && \
    chmod 775 bootstrap .travis/* debian/rules osx/preinstall && \
    git add . && \
    git commit -m "$(date)" && \
    cd -
}

souffle_push() {
    souffle_commit && \
    cd $SOUFFLE && \
    git push origin $(git branch | grep \* | sed 's/^\*\s//g') && \
    cd -
}

souffle_pull() {
    cd $SOUFFLE && \
    git pull origin $(git branch | grep \* | sed 's/^\*\s//g') && \
    cd -
}

souffle_test() {
    souffle_make && \
    cd $SOUFFLE/tests && \
    ./testsuite -j8 $@ && \
    cd -
}

souffle_debug() {
    souffle_make && \
    mkdir -p $SOUFFLE/tests/testsuite.dir/$1/$2 && \
    ln -sf $SOUFFLE/tests/$1/$2/$2.dl $SOUFFLE/tests/testsuite.dir/$1/$2/$2.dl && \
    $SOUFFLE/src/souffle $SOUFFLE/tests/$1/$2/$2.dl \
        -F $SOUFFLE/tests/$1/$2/facts \
        -D $SOUFFLE/tests/testsuite.dir/$1/$2 \
        -j8 \
        --debug-report=$SOUFFLE/tests/testsuite.dir/$1/$2/$2.html \
        $3 \
        1> $SOUFFLE/tests/testsuite.dir/$1/$2/$2.out \
        2> $SOUFFLE/tests/testsuite.dir/$1/$2/$2.err
}