Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

executable file 31 lines (28 sloc) 0.849 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
#!/bin/bash
ERL_TOP=/home/majek/.erlang-R13B03/lib/erlang;
DIALYZER=$ERL_TOP/../../bin/dialyzer

if [ 0 == 1 ]; then
    time $DIALYZER \
            --build_plt \
            --output_plt /home/majek/.dialyzer_plt_R13B03 \
            -r \
            $ERL_TOP/lib/kernel*/ebin
fi

foo(){
    time $DIALYZER \
        --add_to_plt \
        --plt /home/majek/.dialyzer_plt_R13B03 \
        --output_plt /home/majek/.dialyzer_plt_R13B03 \
        -r $1
}

foo $ERL_TOP/lib/stdlib*/ebin
foo $ERL_TOP/lib/mnesia*/ebin
foo $ERL_TOP/lib/erts*/ebin
foo $ERL_TOP/lib/crypto*/ebin
foo $ERL_TOP/lib/sasl*/ebin
foo $ERL_TOP/lib/dialyzer-*/ebin
foo $ERL_TOP/lib/os_mon*/ebin
foo $ERL_TOP/lib/inets*/ebin
foo $ERL_TOP/lib/ssl*/ebin
foo $ERL_TOP/lib/hipe*/ebin
foo $ERL_TOP/lib/tool*/ebin
Something went wrong with that request. Please try again.