Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Merge pull request #10 from danikp/master

dialyzer optimizations
  • Loading branch information...
commit 381abaee108637f8df87c556d46ec7a471e8169f 2 parents 8af76e6 + 0f5851e
@danikp danikp authored
Showing with 22 additions and 19 deletions.
  1. +9 −1 .travis.yml
  2. +13 −18 travis-dialyzer.sh
View
10 .travis.yml
@@ -1,14 +1,22 @@
language: erlang
otp_release:
+ - 17.4
+ - 17.3
- 17.1
- 17.0
- R16B03-1
+ - R16B03
- R16B02
- R16B01
+ - R16B
+ - R15B03
+ - R15B02
+ - R15B01
+ - R15B
script:
- make
- mkdir plt
- ./travis-dialyzer.sh
notifications:
- email: false
+ email: false
View
31 travis-dialyzer.sh
@@ -1,42 +1,37 @@
#!/bin/bash
-
PLT=plt/aleppo-$RANDOM.plt
echo "PLT File $PLT"
export PATH=$PATH:/usr/local/bin:/usr/bin
echo "Building PLT, may take a few minutes"
dialyzer --build_plt --apps kernel stdlib\
--output_plt $PLT > /dev/null
-for app in mnesia inets ssl crypto \
- erts public_key runtime_tools compiler asn1 hipe\
- syntax_tools
+
+echo "********************************************************************************"
+for app in erts
do
- echo $app
+ echo $"Adding $app"
dialyzer --add_to_plt --apps $app\
--plt $PLT > /dev/null
done
-rm -f deps/riak_*/ebin/*_pb.beam
+
echo "********************************************************************************"
for app in $(ls deps/)
do
echo "Adding $app"
dialyzer --add_to_plt --apps deps/$app \
--plt $PLT > /dev/null
-
-
done
echo "********************************************************************************"
echo ""
-dialyzer ebin/ \
+dialyzer ebin/ \
-Werror_handling \
- -Wno_undefined_callbacks \
-Wrace_conditions \
- --statistics -n \
- --fullpath \
- -n \
- --plt $PLT # -Wunmatched_returns
-#
-
-
-
+ -Wunderspecs \
+ -Wunmatched_returns \
+ --verbose \
+ --fullpath \
+ -n \
+ --plt $PLT
+#
Please sign in to comment.
Something went wrong with that request. Please try again.