aboutsummaryrefslogtreecommitdiffstats
path: root/lib/inets/Makefile
blob: 1414a89621351867793b3b3f04f1332b536de1d6 (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
#
# %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/plt/inets.plt
INETS_DIA_ANALYSIS = $(basename $(INETS_DIA_PLT)).dialyzer_analysis


# ----------------------------------------------------
# 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_ANALYSIS: $(INETS_DIA_ANALYSIS)"
	@echo ""

gclean: 
	git clean -fXd

dclean:
	rm -f $(INETS_DIA_PLT)
	rm -f $(INETS_DIA_ANALYSIS)

dialyzer_plt: $(INETS_DIA_PLT)

$(INETS_DIA_PLT): 
	@echo "Building inets plt file"
	@dialyzer --build_plt \
                  --output_plt $@ \
                  -r ../inets/ebin \
                  --output $(INETS_DIA_ANALYSIS) \
                  --verbose

dialyzer: $(INETS_DIA_PLT)
	@echo "Running dialyzer on inets"
	@dialyzer --plt $< \
                  ../inets/ebin \
                  --verbose