From 84adefa331c4159d432d22840663c38f155cd4c1 Mon Sep 17 00:00:00 2001 From: Erlang/OTP Date: Fri, 20 Nov 2009 14:54:40 +0000 Subject: The R13B03 release. --- lib/dialyzer/src/Makefile | 159 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 159 insertions(+) create mode 100644 lib/dialyzer/src/Makefile (limited to 'lib/dialyzer/src/Makefile') diff --git a/lib/dialyzer/src/Makefile b/lib/dialyzer/src/Makefile new file mode 100644 index 0000000000..ffdc0c6dcd --- /dev/null +++ b/lib/dialyzer/src/Makefile @@ -0,0 +1,159 @@ +# +# %CopyrightBegin% +# +# Copyright Ericsson AB 2006-2009. 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% +# +#============================================================================= +# +# File: lib/dialyzer/src/Makefile +# Authors: Kostis Sagonas and Tobias Lindahl +# +#============================================================================= + +include $(ERL_TOP)/make/target.mk +include $(ERL_TOP)/make/$(TARGET)/otp.mk + +# ---------------------------------------------------- +# Application version +# ---------------------------------------------------- +include ../vsn.mk +VSN=$(DIALYZER_VSN) + +# ---------------------------------------------------- +# Release directory specification +# ---------------------------------------------------- +RELSYSDIR = $(RELEASE_PATH)/lib/dialyzer-$(VSN) + +# ---------------------------------------------------- +# Orientation information +# ---------------------------------------------------- +DIALYZER_DIR = $(ERL_TOP)/lib/dialyzer + +# ---------------------------------------------------- +# Target Specs +# ---------------------------------------------------- +MODULES = \ + dialyzer \ + dialyzer_analysis_callgraph \ + dialyzer_callgraph \ + dialyzer_cl \ + dialyzer_cl_parse \ + dialyzer_codeserver \ + dialyzer_contracts \ + dialyzer_dataflow \ + dialyzer_dep \ + dialyzer_explanation \ + dialyzer_gui \ + dialyzer_gui_wx \ + dialyzer_options \ + dialyzer_plt \ + dialyzer_races \ + dialyzer_succ_typings \ + dialyzer_typesig \ + dialyzer_utils + +HRL_FILES= dialyzer.hrl dialyzer_gui_wx.hrl +ERL_FILES= $(MODULES:%=%.erl) +INSTALL_FILES= $(MODULES:%=$(EBIN)/%.$(EMULATOR)) $(APP_TARGET) $(APPUP_TARGET) +TARGET_FILES= $(INSTALL_FILES) + +APP_FILE= dialyzer.app +APP_SRC= $(APP_FILE).src +APP_TARGET= $(EBIN)/$(APP_FILE) + +APPUP_FILE= dialyzer.appup +APPUP_SRC= $(APPUP_FILE).src +APPUP_TARGET= $(EBIN)/$(APPUP_FILE) + +# ---------------------------------------------------- +# FLAGS +# ---------------------------------------------------- + +ifeq ($(NATIVE_LIBS_ENABLED),yes) +ERL_COMPILE_FLAGS += +native +endif +ERL_COMPILE_FLAGS += +warn_exported_vars +warn_unused_import +warn_untyped_record +warn_missing_spec + +# ---------------------------------------------------- +# Targets +# ---------------------------------------------------- + +debug opt: $(TARGET_FILES) + +docs: + +clean: + rm -f $(TARGET_FILES) + rm -f core + +# ---------------------------------------------------- +# Special Build Targets +# ---------------------------------------------------- + +$(EBIN)/dialyzer_cl_parse.$(EMULATOR): dialyzer_cl_parse.erl ../vsn.mk + erlc -W $(ERL_COMPILE_FLAGS) -DVSN="\"v$(VSN)\"" -o$(EBIN) dialyzer_cl_parse.erl + +$(EBIN)/dialyzer_plt.$(EMULATOR): dialyzer_plt.erl ../vsn.mk + erlc -W $(ERL_COMPILE_FLAGS) -DVSN="\"v$(VSN)\"" -o$(EBIN) dialyzer_plt.erl + +$(EBIN)/dialyzer_gui.$(EMULATOR): dialyzer_gui.erl ../vsn.mk + erlc -W $(ERL_COMPILE_FLAGS) -DVSN="\"v$(VSN)\"" -o$(EBIN) dialyzer_gui.erl + +$(EBIN)/dialyzer_gui_wx.$(EMULATOR): dialyzer_gui_wx.erl ../vsn.mk + erlc -W $(ERL_COMPILE_FLAGS) -DVSN="\"v$(VSN)\"" -o$(EBIN) dialyzer_gui_wx.erl + +$(APP_TARGET): $(APP_SRC) ../vsn.mk + sed -e 's;%VSN%;$(VSN);' $< > $@ + +$(APPUP_TARGET): $(APPUP_SRC) ../vsn.mk + sed -e 's;%VSN%;$(VSN);' $< > $@ + +# --------------------------------------------------------------------- +# dependencies -- I wish they were somehow automatically generated +# --------------------------------------------------------------------- + +$(EBIN)/dialyzer.beam: dialyzer.hrl +$(EBIN)/dialyzer_analysis_callgraph.beam: dialyzer.hrl +$(EBIN)/dialyzer_callgraph.beam: dialyzer.hrl +$(EBIN)/dialyzer_cl.beam: dialyzer.hrl ../../kernel/include/file.hrl +$(EBIN)/dialyzer_cl_parse.beam: dialyzer.hrl +$(EBIN)/dialyzer_codeserver.beam: dialyzer.hrl +$(EBIN)/dialyzer_contracts.beam: dialyzer.hrl +$(EBIN)/dialyzer_dataflow.beam: dialyzer.hrl +$(EBIN)/dialyzer_dep.beam: dialyzer.hrl +$(EBIN)/dialyzer_explanation.beam: dialyzer.hrl +$(EBIN)/dialyzer_gui.beam: dialyzer.hrl +$(EBIN)/dialyzer_gui_wx.beam: dialyzer.hrl dialyzer_gui_wx.hrl +$(EBIN)/dialyzer_options.beam: dialyzer.hrl +$(EBIN)/dialyzer_plt.beam: dialyzer.hrl +$(EBIN)/dialyzer_races.beam: dialyzer.hrl +$(EBIN)/dialyzer_succ_typings.beam: dialyzer.hrl +$(EBIN)/dialyzer_typesig.beam: dialyzer.hrl +$(EBIN)/dialyzer_utils.beam: dialyzer.hrl + +# ---------------------------------------------------- +# Release Target +# ---------------------------------------------------- +include $(ERL_TOP)/make/otp_release_targets.mk + +release_spec: opt + $(INSTALL_DIR) $(RELSYSDIR)/src + $(INSTALL_DATA) $(ERL_FILES) $(HRL_FILES) $(EXTRA_FILES) \ + $(RELSYSDIR)/src + $(INSTALL_DIR) $(RELSYSDIR)/ebin + $(INSTALL_DATA) $(INSTALL_FILES) $(RELSYSDIR)/ebin + +release_docs_spec: -- cgit v1.2.3