blob: 2cf19ebcb21d598b1c718f1b6df3d142c307ec8f (
plain)
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
#!/bin/bash
set -e
filter () {
FILTER_RESULT=""
for app in $1; do
if echo " $2 " | grep -v " $app " > /dev/null; then
FILTER_RESULT="$FILTER_RESULT $app"
fi
done
}
EXCLUDED_APPLICATIONS=""
if [ "X$ERL_TOP" != "X" -a -d $ERL_TOP/lib ]; then
LIB_DIR=$ERL_TOP/lib
else
LIB_DIR=$(erl -noshell -eval 'io:format("~ts~n",[code:lib_dir()])' -s init stop)
fi
ALL_APPLICATIONS=$(ls -d -1 $LIB_DIR/*/ | sed "s:^$LIB_DIR/\\([^/\-]\+\\).*$:\1:g")
echo "All applications: $ALL_APPLICATIONS" |tr '\n' ' ' && echo ""
BASE_PLT="compiler crypto erts kernel stdlib syntax_tools"
APP_PLT="asn1 edoc et ftp inets mnesia observer public_key sasl runtime_tools snmp ssl tftp wx xmerl tools"
NO_UNMATCHED="common_test debugger edoc eunit ftp inets megaco mnesia observer reltool ssh ssl syntax_tools tftp wx xmerl"
WARNINGS="diameter snmp"
TRAVIS_SKIP=""
if [ "X$TRAVIS" = "Xtrue" ]; then
TRAVIS_SKIP="common_test eldap erl_docgen odbc eunit reltool os_mon diameter megaco snmp"
fi
filter "$ALL_APPLICATIONS" "$EXCLUDED_APPLICATIONS"
ALL_APPLICATIONS=$FILTER_RESULT
filter "$ALL_APPLICATIONS" "$NO_UNMATCHED $WARNINGS $TRAVIS_SKIP"
UNMATCHED=$FILTER_RESULT
filter "$APP_PLT" "$TRAVIS_SKIP"
APP_PLT=$FILTER_RESULT
filter "$NO_UNMATCHED" "$TRAVIS_SKIP"
NO_UNMATCHED=$FILTER_RESULT
filter "$WARNINGS" "$TRAVIS_SKIP"
WARNINGS=$FILTER_RESULT
echo "UNMATCHED = $UNMATCHED"
echo "NO_UNMATCHED = $NO_UNMATCHED"
echo "WARNINGS = $WARNINGS"
DIALYZER=dialyzer
if [ -f $ERL_TOP/bin/dialyzer ]; then
DIALYZER=$ERL_TOP/bin/dialyzer
fi
PLT=$(mktemp --suffix=.plt)
set -x
$DIALYZER --build_plt --output_plt $PLT -Wunknown --apps $BASE_PLT $APP_PLT --statistics
$DIALYZER -n --plt $PLT -Wunknown -Wunmatched_returns --apps $UNMATCHED --statistics
$DIALYZER -n --plt $PLT -Wunknown --apps $NO_UNMATCHED --statistics
if [ "X$WARNINGS" != "X" ]; then
$DIALYZER -n --plt $PLT --apps $WARNINGS --statistics || true
fi
|