blob: 1ad6ccf39fea5904eaeaf3272cbd883c9a2adee0 (
plain) (
blame)
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
#
# %CopyrightBegin%
#
# Copyright Ericsson AB 1996-2011. All Rights Reserved.
#
# The contents of this file are subject to the Erlang Public License,
# Version 1.1, (the "License"); you may not use this file except in
# compliance with the License. You should have received a copy of the
# Erlang Public License along with this software. If not, it can be
# retrieved online at http://www.erlang.org/.
#
# Software distributed under the License is distributed on an "AS IS"
# basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
# the License for the specific language governing rights and limitations
# under the License.
#
# %CopyrightEnd%
#
#
include $(ERL_TOP)/make/target.mk
include $(ERL_TOP)/make/$(TARGET)/otp.mk
# ----------------------------------------------------
# Macros
# ----------------------------------------------------
SUB_DIRECTORIES = src examples priv doc/src
include vsn.mk
VSN = $(INETS_VSN)
SPECIAL_TARGETS =
INETS_DIA_PLT = ./priv/inets.plt
INETS_DIA_PLT_LOG = $(basename $(INETS_DIA_PLT)).dialyzer_plt_log
INETS_DIA_LOG = $(basename $(INETS_DIA_PLT)).dialyzer_log
# ----------------------------------------------------
# Default Subdir Targets
# ----------------------------------------------------
include $(ERL_TOP)/make/otp_subdir.mk
.PHONY: info gclean dialyzer dialyzer_plt dclean
info:
@echo "OS: $(OS)"
@echo "DOCB: $(DOCB)"
@echo ""
@echo "INETS_VSN: $(INETS_VSN)"
@echo "APP_VSN: $(APP_VSN)"
@echo ""
@echo "INETS_DIA_PLT: $(INETS_DIA_PLT)"
@echo "INETS_DIA_LOG: $(INETS_DIA_LOG)"
@echo ""
gclean:
git clean -fXd
dclean:
rm -f $(INETS_DIA_PLT)
rm -f $(INETS_DIA_PLT_LOG)
rm -f $(INETS_DIA_LOG)
dialyzer_plt: $(INETS_DIA_PLT)
$(INETS_DIA_PLT):
@echo "Building inets plt file"
@dialyzer --build_plt \
--output_plt $@ \
-r ../inets/ebin \
-o $(INETS_DIA_PLT_LOG) \
--verbose
dialyzer: $(INETS_DIA_PLT)
@echo "Running dialyzer on inets"
@dialyzer --plt $< \
../inets/ebin \
--verbose
|
