Permalink
Browse files

Clean up Makefile, built the PLT before dialyzing

  • Loading branch information...
1 parent 43bcfb9 commit 57f43e70f6030ee607391069d8c6519312b52a50 @devinus committed Apr 4, 2013
Showing with 6 additions and 5 deletions.
  1. 0 .dialyzer-ignore-warnings
  2. +6 −5 Makefile
  3. BIN rebar
No changes.
View
@@ -1,4 +1,4 @@
-REBAR = ./rebar
+REBAR = rebar
DIALYZER = dialyzer
DIALYZER_WARNINGS = -Wunmatched_returns -Werror_handling \
@@ -23,10 +23,11 @@ clean:
get-deps:
@$(REBAR) get-deps
-build-plt:
+.dialyzer_plt:
@$(DIALYZER) --build_plt --output_plt .dialyzer_plt \
--apps kernel stdlib
-dialyze: compile
- @$(DIALYZER) --src src --plt .dialyzer_plt $(DIALYZER_WARNINGS) | \
- fgrep -vf .dialyzer-ignore-warnings
+build-plt: .dialyzer_plt
+
+dialyze: build-plt
+ @$(DIALYZER) --src src --plt .dialyzer_plt $(DIALYZER_WARNINGS)
View
Binary file not shown.

0 comments on commit 57f43e7

Please sign in to comment.