Browse files

dialyzer work

  • Loading branch information...
1 parent 6f0ab17 commit ff2fc18c49fd46234488e439d232f216ba544eea @klacke committed Feb 20, 2010
Showing with 7 additions and 4 deletions.
  1. +6 −4 Makefile
  2. +1 −0 test/Makefile
View
10 Makefile
@@ -81,13 +81,15 @@ foo:
@echo
@echo "--------------------------------"
-yaws.plt: clean debug
- dialyzer --build_plt -c ebin --output_plt yaws.plt \
+yaws.plt:
+ dialyzer --build_plt -r . --output_plt yaws.plt \
-r $(ERLDIR)/lib/sasl-$(SASL_VSN) \
-r $(ERLDIR)/lib/kernel-$(KERNEL_VSN) \
- -r $(ERLDIR)/lib/stdlib-$(STDLIB_VSN)
+ -r $(ERLDIR)/lib/stdlib-$(STDLIB_VSN) \
+ -r $(ERLDIR)/lib/erts-$(ERTS_VSN)
+# Not debug compiled, let's just ignore it
# -r $(ERLDIR)/lib/ssl-$(SSL_VSN)
dialyzer: yaws.plt
- dialyzer --plt yaws.plt -c ebin
+ dialyzer --plt yaws.plt -r .
View
1 test/Makefile
@@ -17,6 +17,7 @@ all: conf
clean:
@cd src; $(MAKE) clean
+ @cd ibrowse/src; $(MAKE) clean
@set -e ; \
for d in $(SUBDIRS) ; do \
if [ -f $$d/Makefile ]; then \

0 comments on commit ff2fc18

Please sign in to comment.