← Back to branch summary

~rdoering/ubuntu/intrepid/erlang/fix-535090

« back to all changes in this revision

Viewing changes to lib/dialyzer/src/Makefile

  • Committer: Bazaar Package Importer
  • Author(s): Soren Hansen
  • Date: 2007-05-01 16:57:10 UTC
  • mfrom: (1.1.9 upstream)
  • Revision ID: james.westby@ubuntu.com-20070501165710-2sapk0hp2gf3o0ip
Tags: 1:11.b.4-2ubuntu1
* Merge with Debian Unstable. Remaining changes:
  - Add -fno-stack-protector to fix broken crypto_drv.
* DebianMaintainerField update.

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/src/Makefile
35
35
##
36
36
## 2. Configuration which includes enough stuff for most Dialyzer uses
37
37
## 
38
 
# DIALYZER_DEF_LIBS = "compiler,gs,hipe,kernel,mnesia,stdlib,syntax_tools"
 
38
## DIALYZER_DEF_LIBS = "compiler,gs,hipe,kernel,mnesia,stdlib,syntax_tools"
39
39
##
40
40
## 3. Configuration without any unknown functions when building the PLT.
41
41
##    Gives good results for most uses, but takes really long to
44
44
##    more OTP libraries than those listed below, then by all means add
45
45
##    them to the list.
46
46
##
47
 
# DIALYZER_DEF_LIBS = "asn1,compiler,crypto,dialyzer,debugger,edoc,et,gs,hipe,inets,kernel,observer,mnesia,mnemosyne,parsetools,runtime_tools,snmp,stdlib,ssl,syntax_tools,tools,webtool,xmerl"
 
47
## DIALYZER_DEF_LIBS = "asn1,compiler,crypto,dialyzer,debugger,edoc,et,gs,hipe,inets,kernel,observer,mnesia,mnemosyne,parsetools,runtime_tools,snmp,stdlib,ssl,syntax_tools,tools,webtool,xmerl"
48
48
##---------------------------------------------------------------------
49
49
 
50
50
# ----------------------------------------------------
64
64
        dialyzer_options \
65
65
        dialyzer_plt \
66
66
        dialyzer_succ_typings \
67
 
        dialyzer_typesig
 
67
        dialyzer_typesig \
 
68
        dialyzer_utils
68
69
 
69
70
EXTRA_FILES=  ../plt/dialyzer_init_plt  ## automatically generated
70
71
 
104
105
# Special Build Targets
105
106
# ----------------------------------------------------
106
107
 
107
 
$(DIALYZER_DIR)/plt/dialyzer_init_plt:
 
108
$(DIALYZER_DIR)/plt/dialyzer_init_plt: ../../hipe/ebin/erl_types.beam ../../hipe/ebin/erl_bif_types.beam Makefile
108
109
        @echo "Dialyzer will now build auxiliary information needed for subsequent analyses..."
109
110
        @echo "A PLT for following libs will be built:"
110
111
        @echo "  [$(DIALYZER_DEF_LIBS)]"
115
116
        erlc $(ERL_FLAGS) $(ERL_COMPILE_FLAGS) -DDEFAULT_LIBS="[$(DIALYZER_DEF_LIBS)]" -DVSN="\"v$(VSN)\"" -o$(EBIN) dialyzer_cl_parse.erl
116
117
 
117
118
$(EBIN)/dialyzer_plt.$(EMULATOR): dialyzer_plt.erl Makefile ../vsn.mk
118
 
        erlc $(ERL_FLAGS) $(ERL_COMPILE_FLAGS)  -DVSN="\"v$(VSN)\"" -DDEFAULT_LIBS="[$(DIALYZER_DEF_LIBS)]" -o$(EBIN) dialyzer_plt.erl
 
119
        erlc $(ERL_FLAGS) $(ERL_COMPILE_FLAGS) -DDEFAULT_LIBS="[$(DIALYZER_DEF_LIBS)]" -DVSN="\"v$(VSN)\"" -o$(EBIN) dialyzer_plt.erl
119
120
 
120
121
$(EBIN)/dialyzer_gui.$(EMULATOR): dialyzer_gui.erl ../vsn.mk
121
122
        erlc $(ERL_FLAGS) $(ERL_COMPILE_FLAGS) -DVSN="\"v$(VSN)\"" -o$(EBIN) dialyzer_gui.erl
133
134
$(EBIN)/dialyzer.beam: dialyzer.hrl
134
135
$(EBIN)/dialyzer_analysis.beam: dialyzer.hrl
135
136
$(EBIN)/dialyzer_analysis_callgraph.beam: dialyzer.hrl
136
 
$(EBIN)/dialyzer_cl.beam: dialyzer.hrl $(HIPE_ICODE_DIR)/hipe_icode_type.hrl
 
137
$(EBIN)/dialyzer_cl.beam: dialyzer.hrl
137
138
$(EBIN)/dialyzer_cl_parse.beam: dialyzer.hrl
138
139
$(EBIN)/dialyzer_dataflow.beam: dialyzer.hrl
139
 
$(EBIN)/dialyzer_gui.beam: dialyzer.hrl $(HIPE_ICODE_DIR)/hipe_icode_type.hrl
140
 
$(EBIN)/dialyzer_icode.beam: $(HIPE_ICODE_DIR)/hipe_icode.hrl $(HIPE_ICODE_DIR)/hipe_icode_type.hrl
141
 
$(EBIN)/dialyzer_options.beam: dialyzer.hrl $(HIPE_ICODE_DIR)/hipe_icode_type.hrl
 
140
$(EBIN)/dialyzer_gui.beam: dialyzer.hrl
 
141
$(EBIN)/dialyzer_icode.beam: $(HIPE_ICODE_DIR)/hipe_icode.hrl dialyzer.hrl
 
142
$(EBIN)/dialyzer_options.beam: dialyzer.hrl
142
143
$(EBIN)/dialyzer_plt.beam: dialyzer.hrl
143
 
$(EBIN)/dialyzer_typesig.beam: dialyzer.hrl
 
144
$(EBIN)/dialyzer_typesig.beam: dialyzer.hrl dialyzer_bif_constraints.inc
 
145
$(EBIN)/dialyzer_utils.beam: dialyzer.hrl
144
146
 
145
147
# ----------------------------------------------------
146
148
# Release Target