first pass at a shell script to make building dialysis plts easier to use.

dialysis

#!/bin/sh

OTP_VERSION=$(erl -noinput \
                  -noshell \
                  -eval 'io:fwrite(erlang:system_info(otp_release)).' \
                  -s init stop)

PLT_DIR="$HOME/.dialyzer/${OTP_VERSION}"

CURRENT_APP=$(basename $(pwd));

OTP="${PLT_DIR}/otp"
APP="${PLT_DIR}/${CURRENT_APP}_deps"

mkdir -p "${PLT_DIR}"

echo "Using plt directory: ${PLT_DIR}..."

otp_plt() {
    ERL=$(type -Pf erl);
    ERL_BASE=$(dirname $(dirname $ERL));
    ERL_LIB="${ERL_BASE}/lib/erlang/lib";

    DEFAULT_APPS=$(find $ERL_LIB -depth 2 -name ebin -exec dirname {} \; | \
        xargs basename | \
        sed -e "s/-.*//");

    echo "Generating comprehensive PLT: ${OTP}..."
    dialyzer --output_plt $OTP --build_plt --apps ${DEFAULT_APPS};
}

app_plt() {
    echo "Generating application dep PLT: ${APP}..."
    cp $OTP $APP;
    dialyzer --add_to_plt --plt $APP deps/*/ebin;
}

analyze() {
    dialyzer --plt $APP ebin $@
}


CMD=$1; shift;

case $CMD in
    app-plt*)
        app_plt
        ;;
    otp-plt*)
        otp_plt
        ;;
    plts*)
        otp_plt
        app_plt
        ;;
    *)
        analyze
esac