Skip to content

Commit

Permalink
Build Dialyzer PLT for Makefile dialyzer target
Browse files Browse the repository at this point in the history
  • Loading branch information
avtobiff committed Jan 22, 2014
1 parent 698c664 commit 711f34c
Showing 1 changed file with 7 additions and 3 deletions.
10 changes: 7 additions & 3 deletions Makefile
Expand Up @@ -10,6 +10,7 @@ LIBDIR := /lib
DISTDIR := uuid-$(VERSION)

BEAMFILES := $(wildcard ebin/*.beam) $(wildcard test/*.beam)
DIALYZER_PLT := erlang-uuid.plt

all: build

Expand All @@ -20,10 +21,13 @@ ebin/$(APPFILE): src/$(APPFILE).src
cp $< $@

clean:
-rm -rf ebin/$(APPFILE) $(BEAMFILES)
-rm -rf ebin/$(APPFILE) $(BEAMFILES) $(DIALYZER_PLT)

dialyzer:
dialyzer -c $(BEAMFILES)
$(DIALYZER_PLT): build
dialyzer --add_to_plt -r ebin --output_plt $(DIALYZER_PLT)

dialyzer: $(DIALYZER_PLT)
dialyzer --plt $(DIALYZER_PLT) ebin/uuid.beam

test: build
erlc -W +debug_info +compressed +strip -o test/ test/*.erl
Expand Down

0 comments on commit 711f34c

Please sign in to comment.