frama-c-base 20151002+magnesium+dfsg-1build1 / usr / share / frama-c / Makefile.plugin

##########################################################################
#                                                                        #
#  This file is part of Frama-C.                                         #
#                                                                        #
#  Copyright (C) 2007-2015                                               #
#    CEA (Commissariat à l'énergie atomique et aux énergies              #
#         alternatives)                                                  #
#                                                                        #
#  you can redistribute it and/or modify it under the terms of the GNU   #
#  Lesser General Public License as published by the Free Software       #
#  Foundation, version 2.1.                                              #
#                                                                        #
#  It is distributed in the hope that it will be useful,                 #
#  but WITHOUT ANY WARRANTY; without even the implied warranty of        #
#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         #
#  GNU Lesser General Public License for more details.                   #
#                                                                        #
#  See the GNU Lesser General Public License version 2.1                 #
#  for more details (enclosed in the file licenses/LGPLv2.1).            #
#                                                                        #
##########################################################################

###############################################################################
#
# Generic makefile used to build plug-ins.
# Setup the following required variables before including this makefile:
#
# Usual information
# -----------------
# PLUGIN_NAME	The ML module name of the plugin
# PLUGIN_DIR	The directory containing the source files
# PLUGIN_ENABLE Whether the plugin is enabled
# PLUGIN_DEPENDS Deprecated (static plug-in dependencies, Frama-C only)
# PLUGIN_DYNAMIC Set it to yes if the plugin is only
#                dynamically linked with Frama-C.
# 
# META file
# ---------
# The META for the plug-in is automatically generated, unless variable
# PLUGIN_HAS_META is set to "yes". The following optional variables can
# be set accordingly:
#
# PLUGIN_HAS_META     defaults to empty
# PLUGIN_DESCRIPTION  if empty then defaults to "Frama-C NAME plug-in"
# PLUGIN_VERSION      if empty then defaults to current Frama-C version
# PLUGIN_REQUIRES     package(s) the plug-in depends on (defaults to empty)
# PLUGIN_DEPENDENCIES plugins(s) the plug-in depends on (defaults to empty)
#
# When setting PLUGIN_HAS_META to "yes", those variables are not taken into
# account. Instead, your are responsible for providing a full featured META
# file in the PLUGIN_DIR source directory, which will be copied and installed
# with the plug-in object files.
#
# Remarks:
# - the package name for "MyPlugin" is defined to be "frama-c-myplugin"
# - PLUGIN_DEPENDENCIES <pkg> is a shortcut for PLUGIN_REQUIRES <frama-c-pkg>
# - the makefile adds a proper "directory" directive to both provided or
#   generated META files
#
# Source files
# ------------
# PLUGIN_CMO	The .cmo files (do not add the plugin path and the extension)
# PLUGIN_CMI    The .cmi files (only if there is no corresponding .cmo)
# PLUGIN_TYPES_CMO The .cmo files containing the types definitions
# PLUGIN_GUI_CMI The .cmi files for the GUI
#                (only if there is no corresponding .cmi)
# PLUGIN_GUI_CMO The .cmo files to be linked with the graphical interface
#
# Compilation flags
# -----------------
# PLUGIN_BFLAGS Additional options for the bytecode compiler
# PLUGIN_OFLAGS Additional options for the native compiler
# PLUGIN_EXTRA_BYTE Additional bytecode files to link against
# PLUGIN_EXTRA_OPT Additional native files to link against
# PLUGIN_LINK_BFLAGS Additional options for the bytecode linker
# PLUGIN_LINK_OFLAGS Additional options for the native linker
# PLUGIN_LINK_GUI_BFLAGS Additional options for the bytecode gui linker
# PLUGIN_LINK_GUI_OFLAGS Additional options for the native gui linker
#
# Dependencies
# ------------
# PLUGIN_DEPFLAGS Additional options for ocamldep
#
# Documentation
# -------------
# PLUGIN_DOCFLAGS Additional options for ocamldoc
# PLUGIN_UNDOC  Do not document this source files (do not add the plugin path)
# PLUGIN_TYPES_TODOC  Do document this source files containing the types
#	definition
# PLUGIN_INTRO  Add this text file to the introduction of the documentation
# PLUGIN_HAS_EXT_DOC (yes/no) Plugin has a pdf manual
#
# Testing
# -------
# PLUGIN_NO_TEST Set it to a non-empty value if there is no specific
#       test directory for this plugin
# PLUGIN_TESTS_DIRS Test directories of the plugin.
#	Default is tests/$(PLUGIN_DIR)
# PLUGIN_TESTS_DIRS_DEFAULTS Tests directories that should be run by default
#	Defaults to $(PLUGIN_TESTS_DIRS)
# PLUGIN_TESTS_LIB Additional .cmo files used by tests.
#	Should be part of one of the $(PLUGIN_TESTS_DIRS)
#	Do not write the file extension
# PLUGIN_NO_DEFAULT_TEST Set it to a non-empty value if you don't want the
# 	tests of your plugin to be executed systematically by make tests
#
# PLUGIN_INTERNAL_TEST Set it to a non-empty value if the tests of the plugin
# are in Frama-C's tests directory and not a tests subdirectory of the plugin
# (internal use only, obsolete and not recommanded way to handle tests)
#
# Distribution
# ------------
# PLUGIN_DISTRIBUTED should the plugin be included in the distribution (yes/no)
# PLUGIN_DISTRIB_BIN should the plugin be included in binary distributions
#       (defaults to ${PLUGIN_DISTRIBUTED})
# PLUGIN_DISTRIB_EXTERNAL list of files that should be distributed within the
# 	source distribution for this plug-in. They will be put at their proper
#       place in the frama-c-$(VERSION) directory for a release.
#
# Kernel developers only
# ----------------------
# PLUGIN_RESET Set it to no in order to NOT reset plug-in variable.
#	Default to yes
#
# Except for their initialisation, these variables should not be used outside of
# Makefile.plugin.
# Instead, you can safely use the corresponding following variables
# in which $(PLUGIN_NAME) is the name of your plugin:
#
# $(PLUGIN_NAME)_DIR
# $(PLUGIN_NAME)_CMO
# $(PLUGIN_NAME)_CMX
# $(PLUGIN_NAME)_CMI
# $(PLUGIN_NAME)_TYPES_CMO
# $(PLUGIN_NAME)_TYPES_CMX
# $(PLUGIN_NAME)_TYPES_TODOC
# $(PLUGIN_NAME)_BFLAGS
# $(PLUGIN_NAME)_OFLAGS
# $(PLUGIN_NAME)_DEPFLAGS
# $(PLUGIN_NAME)_DOCFLAGS
# $(PLUGIN_NAME)_GENERATED
# $(PLUGIN_NAME)_TESTS_DIRS
# $(PLUGIN_NAME)_TESTS_LIB
#
###############################################################################
#
# Note for the Makefile.plugin developers:
# If you add a new option to communicate with the main Makefile,
# don't forget to reset it at the end of this file.
#
###############################################################################

# Where the other plug-ins to load are already installed
ifeq ($(FRAMAC_MAKE),yes)
INSTALLED_PLUGIN_DIR:=$(FRAMAC_TOP_SRCDIR)/lib/plugins
else
INSTALLED_PLUGIN_DIR:=$(PLUGIN_INSTALL_DIR)
endif

# The plugin types .cm* files
PLUGIN_TYPES_CMO:=$(addsuffix .cmo, $(PLUGIN_TYPES_CMO))
PLUGIN_TYPES_CMX:=$(PLUGIN_TYPES_CMO:.cmo=.cmx)
$(PLUGIN_NAME)_TYPES_CMO:=$(PLUGIN_TYPES_CMO)
$(PLUGIN_NAME)_TYPES_CMX:=$(PLUGIN_TYPES_CMX)
$(PLUGIN_NAME)_TYPES_TODOC:=$(PLUGIN_TYPES_TODOC)

PLUGIN_TYPES_CMO_LIST += $(PLUGIN_TYPES_CMO)
PLUGIN_TYPES_CMX_LIST += $(PLUGIN_TYPES_CMX)

# [VP] don't exactly know why, but make has a tendency to add a
# spurious space at the beginning of PLUGIN_BASE. Fortunately, $(strip )
# is behaving correctly.
PLUGIN_BASE:=$(strip $(if $(notdir $(PLUGIN_DIR)),$(notdir $(PLUGIN_DIR)),\
$(notdir $(patsubst %/,%,$(PLUGIN_DIR)))))

PLUGIN_DEPENDS:=$(PLUGIN_DEPENDS) $(PLUGIN_DEPENDENCIES)

################
# ml sources   #
################

PLUGIN_SRC:= $(PLUGIN_DIR)/$(PLUGIN_NAME).mli \
	     $(patsubst %,$(PLUGIN_DIR)/%.ml*, $(PLUGIN_CMO)) \
             $(patsubst %,$(PLUGIN_DIR)/%.mli, $(PLUGIN_CMI)) \
             $(patsubst %.cmo,%.ml*, $(PLUGIN_TYPES_CMO))
ifneq ($(ENABLE_GUI),no)
PLUGIN_SRC:= $(PLUGIN_SRC) $(patsubst %,$(PLUGIN_DIR)/%.ml*, $(PLUGIN_GUI_CMO))
endif

$(PLUGIN_NAME)_SRC:=$(PLUGIN_SRC)

PLUGIN_ML_SRC:=$(patsubst %.ml*,%.ml,$(PLUGIN_SRC)) \
               $(patsubst %.ml*,%.mli,$(filter %.ml*,$(PLUGIN_SRC)))
$(PLUGIN_NAME)_ML_SRC:=$(PLUGIN_ML_SRC)

################
# distribution #
################

ifneq ($(PLUGIN_ENABLE),no)

# check the mandatory presence of a .mli
$(PLUGIN_DIR)/$(PLUGIN_NAME).mli:
	if test ! -f $@; then  \
          $(error "The file '$@' must be provided. \
The simplest workaround is 'touch $@'."); \
	fi

ifneq ($(PLUGIN_DISTRIBUTED),no)
PLUGIN_DISTRIBUTED_LIST += $(PLUGIN_SRC)

# VP: this needs to be adapted for external plugins.
ifeq ($(PLUGIN_HAS_EXT_DOC),yes)
PLUGIN_EXT_DOC_DIR:=doc/$(PLUGIN_BASE)
PLUGIN_DIST_DOC_LIST += doc/plugins/$(PLUGIN_BASE).pdf
$(PLUGIN_EXT_DOC_DIR)/$(PLUGIN_BASE).pdf:
	$(PRINT_MAKING) $@
	$(MAKE) -C $(dir $@)

doc/plugins/$(PLUGIN_BASE).pdf: \
   $(PLUGIN_EXT_DOC_DIR)/$(PLUGIN_BASE).pdf
	$(PRINT_CP) $<
	$(MKDIR) doc/plugins
	$(CP) $< $@
endif
ifneq ("$(strip $(PLUGIN_DISTRIB_EXTERNAL))","")
PLUGIN_DIST_EXTERNAL_LIST += \
       $(addprefix $(PLUGIN_DIR)/,$(PLUGIN_DISTRIB_EXTERNAL))
endif
endif #PLUGIN_DISTRIBUTED
endif #PLUGIN_ENABLE
ifndef ($(PLUGIN_DISTRIB_BIN))
PLUGIN_DISTRIB_BIN:=$(PLUGIN_DISTRIBUTED)
endif

PLUGIN_OPT:=`echo "$(PLUGIN_NAME)" | tr 'A-Z' 'a-z' `

ifneq ("$(PLUGIN_DISTRIB_BIN)","no")
CONFIG_DISTRIB_BIN += "--enable-$(PLUGIN_OPT)"
ifeq ("$(PLUGIN_HAS_EXT_DOC)","yes")
PLUGIN_BIN_DOC_LIST+=doc/plugins/$(PLUGIN_BASE).pdf
endif
else
CONFIG_DISTRIB_BIN += "--disable-$(PLUGIN_OPT)"
endif

# Export some variables which can be safely used outside/inside Makefile.plugin
# even if the plug-in is not enabled
$(PLUGIN_NAME)_DIR:=$(PLUGIN_DIR)

ifneq ("$(PLUGIN_ENABLE)","no")

# The .cm* files list
PLUGIN_CMO:= $(patsubst %, $(PLUGIN_DIR)/%.cmo, $(PLUGIN_CMO))
PLUGIN_CMX:= $(PLUGIN_CMO:.cmo=.cmx)
PLUGIN_CMI_ONLY:=$(patsubst %, $(PLUGIN_DIR)/%.cmi, $(PLUGIN_CMI))
PLUGIN_CMI:= $(PLUGIN_CMI_ONLY) $(PLUGIN_CMO:.cmo=.cmi)
PLUGIN_INFERRED_MLI:= $(PLUGIN_CMO:.cmo=.inferred.mli)

$(PLUGIN_NAME)_CMO:=$(PLUGIN_CMO)
$(PLUGIN_NAME)_CMX:=$(PLUGIN_CMX)
$(PLUGIN_NAME)_CMI_ONLY:=$(PLUGIN_CMI_ONLY)
$(PLUGIN_NAME)_CMI:=$(PLUGIN_CMI)
$(PLUGIN_NAME)_INFERRED_MLI:=$(PLUGIN_INFERRED_MLI)

HAS_GUI:=no
ifneq  ($(ENABLE_GUI),no)
ifneq ("$(PLUGIN_GUI_CMO)","")
# The .cm* gui files list
PLUGIN_GUI_CMO:= $(PLUGIN_CMO) \
	$(patsubst %, $(PLUGIN_DIR)/%.cmo, $(PLUGIN_GUI_CMO))
PLUGIN_GUI_CMX:= $(PLUGIN_GUI_CMO:.cmo=.cmx)
PLUGIN_GUI_CMI_ONLY:=$(PLUGIN_CMI_ONLY) $(PLUGIN_GUI_CMI)
PLUGIN_GUI_CMI:= $(PLUGIN_CMI_ONLY) $(PLUGIN_GUI_CMO:.cmo=.cmi)
HAS_GUI:=yes
endif
endif

$(PLUGIN_NAME)_GUI_CMO:=$(PLUGIN_GUI_CMO)
$(PLUGIN_NAME)_GUI_CMX:=$(PLUGIN_GUI_CMX)
$(PLUGIN_NAME)_GUI_CMI:=$(PLUGIN_GUI_CMI)

# The packing files
TARGET_CMO:= $(PLUGIN_LIB_DIR)/$(PLUGIN_NAME).cmo
ifdef PLUGIN_EXTRA_BYTE
TARGET_CMA:= $(TARGET_CMO:.cmo=.cma)
endif

TARGET_CMX:= $(TARGET_CMO:.cmo=.cmx)
ifdef PLUGIN_EXTRA_OPT
TARGET_CMXA:= $(TARGET_CMO:.cmo=.cmxa)
endif

ifeq ("$(USABLE_NATIVE_DYNLINK) $(PLUGIN_DYNAMIC)","yes yes")
TARGET_CMXS:= $(TARGET_CMX:.cmx=.cmxs)
else
TARGET_CMXS:=
endif

# The packing gui files
ifeq ($(HAS_GUI),yes)
TARGET_GUI_CMO:= $(PLUGIN_LIB_DIR)/gui/$(PLUGIN_NAME).cmo
TARGET_GUI_CMX:= $(TARGET_GUI_CMO:.cmo=.cmx)
TARGET_GUI_CMA:= $(TARGET_GUI_CMO:.cmo=.cma)
TARGET_GUI_CMXA:= $(TARGET_GUI_CMX:.cmx=.cmxa)
ifeq ("$(USABLE_NATIVE_DYNLINK) $(PLUGIN_DYNAMIC)","yes yes")
TARGET_GUI_CMXS:= $(TARGET_GUI_CMO:.cmo=.cmxs)
else
TARGET_GUI_CMXS:=
endif
else
TARGET_GUI_CMO:=
TARGET_GUI_CMX:=
TARGET_GUI_CMA:=
TARGET_GUI_CMXA:=
endif

# Some meta-variables for compilation flags
NAME_BFLAGS :=$(PLUGIN_NAME)_BFLAGS
NAME_OFLAGS :=$(PLUGIN_NAME)_OFLAGS
TARGET_OFLAGS :=$(PLUGIN_NAME)_TARGET_OFLAGS
TARGET_BFLAGS :=$(PLUGIN_NAME)_TARGET_BFLAGS
ifeq ($(HAS_GUI),yes)
NAME_GUI_BFLAGS :=$(PLUGIN_NAME)_GUI_BFLAGS
NAME_GUI_OFLAGS :=$(PLUGIN_NAME)_GUI_OFLAGS
TARGET_GUI_OFLAGS:=$(PLUGIN_NAME)_GUI_TARGET_OFLAGS
TARGET_GUI_BFLAGS:=$(PLUGIN_NAME)_GUI_TARGET_BFLAGS
endif
NAME_DEPFLAGS :=$(PLUGIN_NAME)_DEPFLAGS
NAME_DOCFLAGS :=$(PLUGIN_NAME)_DOCFLAGS

# Export some variables which can be safely used outside/inside Makefile.plugin
$(PLUGIN_NAME)_CMO:=$(PLUGIN_CMO)
$(PLUGIN_NAME)_CMX:=$(PLUGIN_CMX)
$(PLUGIN_NAME)_CMI:=$(PLUGIN_CMI)
$(PLUGIN_NAME)_GENERATED:=$(PLUGIN_GENERATED)
$(PLUGIN_NAME)_TARGET_BFLAGS:=$(PLUGIN_LINK_BFLAGS)
$(PLUGIN_NAME)_TARGET_OFLAGS:=$(PLUGIN_LINK_OFLAGS)
$(PLUGIN_NAME)_EXTRA_BYTE:=$(PLUGIN_EXTRA_BYTE)
$(PLUGIN_NAME)_EXTRA_OPT:=$(PLUGIN_EXTRA_OPT)

ifeq ($(HAS_GUI),yes)
# gui variable
$(PLUGIN_NAME)_GUI_CMO:=$(PLUGIN_GUI_CMO)
$(PLUGIN_NAME)_GUI_CMX:=$(PLUGIN_GUI_CMX)
$(PLUGIN_NAME)_GUI_CMI:=$(PLUGIN_GUI_CMI)
$(PLUGIN_NAME)_GUI_CMI_ONLY:=$(PLUGIN_GUI_CMI_ONLY)
$(PLUGIN_NAME)_GUI_TARGET_BFLAGS:=$(PLUGIN_LINK_GUI_BFLAGS)
$(PLUGIN_NAME)_GUI_TARGET_OFLAGS:=$(PLUGIN_LINK_GUI_OFLAGS)
endif

# Set the compilation flags for the plugin
INCLUDE_FLAGS:=-I $(PLUGIN_DIR) -I $(INSTALLED_PLUGIN_DIR)

$(NAME_BFLAGS):=$(BFLAGS) $(INCLUDE_FLAGS) $(PLUGIN_BFLAGS)
$(NAME_OFLAGS):=$(OFLAGS) $(INCLUDE_FLAGS) $(PLUGIN_OFLAGS)

$(TARGET_BFLAGS):= $(PLUGIN_LINK_BFLAGS)
$(TARGET_OFLAGS):= $(PLUGIN_LINK_OFLAGS)
$(NAME_DOCFLAGS):= $(DOC_FLAGS) $(PLUGIN_DOCFLAGS) \
                   -I $($(PLUGIN_NAME)_DIR) -I . $(OCAMLGRAPH_INCLUDE)
ifeq ($(HAS_GUI),yes)
$(NAME_GUI_BFLAGS):=$($(NAME_BFLAGS)) \
			-I $(PLUGIN_LIB_DIR)/gui -I $(LABLGTK_PATH)
$(NAME_GUI_OFLAGS):=$($(NAME_OFLAGS)) \
			-I $(PLUGIN_LIB_DIR)/gui -I $(LABLGTK_PATH)
$(TARGET_GUI_BFLAGS):= $(PLUGIN_LINK_GUI_BFLAGS)
$(TARGET_GUI_OFLAGS):= $(PLUGIN_LINK_GUI_OFLAGS)
$(NAME_DOCFLAGS) := $($(NAME_DOCFLAGS)) -I $(LABLGTK_PATH)
endif
$(NAME_DEPFLAGS):= -I $(PLUGIN_DIR) $(PLUGIN_DEPFLAGS)

# Add dependencies wrt other plugins for cmx.
$(PLUGIN_CMX): $(PLUGIN_DEPENDS:%=$(INSTALLED_PLUGIN_DIR)/%.cmx)

# Add the flags to the compilation line of the plugin source files
$(PLUGIN_CMO) $(PLUGIN_CMI) $(PLUGIN_INFERRED_MLI): BFLAGS:=$($(NAME_BFLAGS))
$(PLUGIN_CMX): OFLAGS:=$($(NAME_OFLAGS)) -for-pack $(PLUGIN_NAME)

ifeq ($(HAS_GUI),yes)
$(PLUGIN_GUI_CMO) $(PLUGIN_GUI_CMI): BFLAGS:=$($(NAME_GUI_BFLAGS))
$(PLUGIN_GUI_CMX): OFLAGS:=$($(NAME_GUI_OFLAGS)) -for-pack $(PLUGIN_NAME)
endif

# META file
PLUGIN_PKG  :=$(shell echo frama-c-$(PLUGIN_NAME) | tr [:upper:] [:lower:])
DEPEND_PKG  :=$(shell echo $(PLUGIN_DEPENDENCIES) | tr [:upper:] [:lower:])
PLUGIN_REQUIRES += $(addprefix frama-c-,$(DEPEND_PKG))
TARGET_META :=$(PLUGIN_LIB_DIR)/META.$(PLUGIN_PKG)

ifneq ($(PLUGIN_HAS_META),yes)
# generated META
ifeq ($(PLUGIN_DESCRIPTION),)
PLUGIN_DESCRIPTION :="Frama-C $(PLUGIN_NAME) plug-in"
endif
ifeq ($(PLUGIN_VERSION),)
ifeq ($(FRAMAC_MAKE),yes)
PLUGIN_VERSION :=$(shell cat VERSION)
else
PLUGIN_VERSION :=$(shell frama-c -print-version)
endif
endif
# registering package description for later use
META.$(PLUGIN_PKG).DESCRIPTION :=$(PLUGIN_DESCRIPTION)
META.$(PLUGIN_PKG).VERSION     :=$(PLUGIN_VERSION)
META.$(PLUGIN_PKG).REQUIRES    :=$(PLUGIN_REQUIRES)
ifdef PLUGIN_EXTRA_BYTE
META.$(PLUGIN_PKG).BYTE :=$(PLUGIN_NAME).cma
else
META.$(PLUGIN_PKG).BYTE :=$(PLUGIN_NAME).cmo
endif
ifdef PLUGIN_EXTRA_OPT
META.$(PLUGIN_PKG).NATIVE :=$(PLUGIN_NAME).cmxa
else
META.$(PLUGIN_PKG).NATIVE :=$(PLUGIN_NAME).cmx
endif
ifeq ("$(USABLE_NATIVE_DYNLINK) $(PLUGIN_DYNAMIC)","yes yes")
META.$(PLUGIN_PKG).PLUGIN :=$(PLUGIN_NAME).cmxs
endif

ifeq ($(FRAMAC_MAKE),yes)
$(TARGET_META): Makefile
else
$(TARGET_META): $(PLUGIN_DIR)/Makefile
endif

$(TARGET_META):
	$(PRINT_MAKING) $(notdir $@)
	$(RM) $@
	$(ECHO) "description = \"$($(notdir $@).DESCRIPTION)\"" >> $@
	$(ECHO) "version = \"$($(notdir $@).VERSION)\""         >> $@
	$(ECHO) "requires = \"$($(notdir $@).REQUIRES)\""       >> $@
	$(ECHO) "archive(byte) = \"$($(notdir $@).BYTE)\""      >> $@
	$(ECHO) "archive(native) = \"$($(notdir $@).NATIVE)\""  >> $@
	$(ECHO) "archive(plugin) = \"$($(notdir $@).PLUGIN)\""  >> $@
ifeq ($(HAS_GUI),yes)
	$(ECHO) "archive(byte,gui) = \"gui/$($(notdir $@).BYTE)\""      >> $@
	$(ECHO) "archive(native,gui) = \"gui/$($(notdir $@).NATIVE)\""  >> $@
	$(ECHO) "archive(plugin,gui) = \"gui/$($(notdir $@).PLUGIN)\""  >> $@
endif
	$(ECHO) "directory = \"\"" >> $@

else # PLUGIN_HAS_META
# user-defined META
$(TARGET_META): $(PLUGIN_DIR)/META
	$(PRINT_CP) $(notdir $@)
	$(CP) $< $@
	$(ECHO) "directory = \"\"" >> $@
endif # PLUGIN_HAS_META

# Now build the targets
#######################

PLUGIN_MLI:= $(PLUGIN_DIR)/$(PLUGIN_NAME).mli
TARGET_MLI:= $(PLUGIN_LIB_DIR)/$(PLUGIN_NAME).mli
TARGET_CMI:= $(TARGET_MLI:.mli=.cmi)
$(TARGET_CMI): BFLAGS:=$($(NAME_BFLAGS))

ifneq ($(TARGET_MLI),$(PLUGIN_MLI))
# Copy the plugin interface in the plugins directory
$(TARGET_MLI): $(PLUGIN_MLI)
	$(PRINT_MAKING) $@
	$(MKDIR) $(PLUGIN_LIB_DIR)
	$(RM) $@
	$(ECHO) "(* This module was generated automatically by code in Makefile and $< *)" > $@
	$(ECHO) "#1 \"$<\"" >> $@
	$(CAT) $< >> $@
	$(CHMOD_RO) $@

PLUGIN_GENERATED+= $(TARGET_MLI)
endif

$(PLUGIN_NAME)_MLI:=$(TARGET_MLI)

$(TARGET_CMI): $(EXTRA_CMO_DEP) $(PLUGIN_CMO)

$(TARGET_CMO): $(EXTRA_CMO_DEP) $(PLUGIN_CMO) $(TARGET_CMI) \
               $(PLUGIN_DEPENDS:%=$(INSTALLED_PLUGIN_DIR)/%.cmi)
	$(PRINT_PACKING) $@
	$(OCAMLC) -o $(call winpath,$@) $($(basename $(notdir $@))_BFLAGS) -pack \
	  $($(basename $(notdir $@))_TARGET_BFLAGS) \
	  $($(basename $(notdir $@))_CMI_ONLY) $($(basename $(notdir $@))_CMO)

$(TARGET_CMX): $(EXTRA_CMX_DEP) $(PLUGIN_CMX) $(TARGET_CMI) \
               $(PLUGIN_DEPENDS:%=$(INSTALLED_PLUGIN_DIR)/%.cmi) \
               $(PLUGIN_DEPENDS:%=$(INSTALLED_PLUGIN_DIR)/%.cmx)
	$(PRINT_PACKING) $@
	$(OCAMLOPT) -o $(call winpath,$@) $($(basename $(notdir $@))_OFLAGS) -pack \
	  $($(basename $(notdir $@))_TARGET_OFLAGS) \
	  $($(basename $(notdir $@))_CMI_ONLY) $($(basename $(notdir $@))_CMX)

ifeq ("$(USABLE_NATIVE_DYNLINK) $(PLUGIN_DYNAMIC)","yes yes")
$(TARGET_CMXS): $(TARGET_CMX) $(PLUGIN_EXTRA_OPT)
	$(PRINT_PACKING) $@
	$(OCAMLOPT) -o $(call winpath,$@) -shared \
	  $($(basename $(notdir $@))_OFLAGS) \
	  $($(basename $(notdir $@))_EXTRA_OPT) \
          $(@:.cmxs=.cmx)
endif

ifdef PLUGIN_EXTRA_BYTE
$(TARGET_CMA): $(PLUGIN_EXTRA_BYTE) $(TARGET_CMO)
	$(PRINT_PACKING) $@
	$(OCAMLC) -o $(call winpath,$@) $($(basename $(notdir $@))_BFLAGS) \
	  $($(basename $(notdir $@))_TARGET_BFLAGS) \
	  -a $($(basename $(notdir $@))_EXTRA_BYTE) $(@:.cma=.cmo)
endif

ifdef PLUGIN_EXTRA_OPT
$(TARGET_CMXA): $(PLUGIN_EXTRA_OPT) $(TARGET_CMX)
	$(PRINT_PACKING) $@
	$(OCAMLOPT) -o $(call winpath,$@) -a $($(basename $(notdir $@))_EXTRA_OPT) \
	  $(@:.cmxa=.cmx)
endif

ifeq ($(HAS_GUI),yes)
# packing gui files
###################

TARGET_GUI_MLI:=$(PLUGIN_LIB_DIR)/gui/$(PLUGIN_NAME).mli
TARGET_GUI_CMI:=$(TARGET_GUI_MLI:.mli=.cmi)
$(TARGET_GUI_CMI): BFLAGS:=$($(NAME_GUI_BFLAGS))

PLUGIN_GENERATED+= $(TARGET_GUI_MLI)

$(TARGET_GUI_MLI): $(PLUGIN_MLI)
	$(PRINT_MAKING) $@
	$(MKDIR) $(PLUGIN_LIB_DIR)/gui
	$(RM) $@
	$(ECHO) "(* This module was generated automatically by code in Makefile and $< *)" > $@
	$(ECHO) "#1 \"$<\"" >> $@
	$(CAT) $< >> $@
	$(CHMOD_RO) $@

$(PLUGIN_NAME)_GUI_MLI:=$(TARGET_GUI_MLI)

$(TARGET_GUI_CMO): $(PLUGIN_GUI_CMO) $(TARGET_GUI_CMI) \
               $(PLUGIN_DEPENDS:%=$(INSTALLED_PLUGIN_DIR)/%.cmi)
	$(PRINT_PACKING) $@
	$(MKDIR) $(PLUGIN_LIB_DIR)/gui
	$(OCAMLC) -o $(call winpath,$@) $($(basename $(notdir $@))_GUI_BFLAGS) -pack \
	  $($(basename $(notdir $@))_GUI_TARGET_BFLAGS) \
	  $($(basename $(notdir $@))_GUI_CMI_ONLY) \
	  $($(basename $(notdir $@))_GUI_CMO)

$(TARGET_GUI_CMX): $(PLUGIN_GUI_CMX) $(TARGET_GUI_CMI) \
               $(PLUGIN_DEPENDS:%=$(INSTALLED_PLUGIN_DIR)/%.cmi) \
	       $(PLUGIN_DEPENDS:%=$(INSTALLED_PLUGIN_DIR)/%.cmx)
	$(PRINT_PACKING) $@
	$(MKDIR) $(PLUGIN_LIB_DIR)/gui
	$(OCAMLOPT) -o $(call winpath,$@) $($(basename $(notdir $@))_GUI_OFLAGS) -pack \
	  $($(basename $(notdir $@))_GUI_TARGET_OFLAGS) \
	  $($(basename $(notdir $@))_GUI_CMI_ONLY) \
	  $($(basename $(notdir $@))_GUI_CMX)

ifeq ("$(USABLE_NATIVE_DYNLINK) $(PLUGIN_DYNAMIC)","yes yes")
$(TARGET_GUI_CMXS): $(TARGET_GUI_CMX)
	$(PRINT_PACKING) $@
	$(MKDIR) $(PLUGIN_LIB_DIR)/gui
	$(OCAMLOPT) -o $(call winpath,$@) -shared \
	  $($(basename $(notdir $@))_GUI_OFLAGS) \
          $($(basename $(notdir $@))_GUI_TARGET_OFLAGS) \
          $($(basename $(notdir $@))_EXTRA_OPT) \
	  $^
endif

ifdef PLUGIN_EXTRA_BYTE
$(TARGET_GUI_CMA): $(PLUGIN_EXTRA_BYTE) $(TARGET_GUI_CMO)
	$(PRINT_PACKING) $@
	$(OCAMLC) -o $(call winpath,$@) $($(basename $(notdir $@))_GUI_BFLAGS) \
	  $($(basename $(notdir $@))_GUI_TARGET_BFLAGS) \
	  -a $($(basename $(notdir $@))_EXTRA_BYTE) $(@:.cma=.cmo)
endif

ifdef PLUGIN_EXTRA_OPT
$(TARGET_GUI_CMXA): $(PLUGIN_EXTRA_OPT) $(TARGET_GUI_CMX)
	$(PRINT_PACKING) $@
	$(OCAMLOPT) -o $(call winpath,$@) -a $($(basename $(notdir $@))_EXTRA_OPT) \
	  $(@:.cmxa=.cmx)
endif
else
# No specific gui items
TARGET_GUI_MLI:=
TARGET_GUI_CMI:=
endif # HAS_GUI

#########

# The following rules used some plugin info (name and path) in their names
# in order to used them in the command:
# it is not possible to use $(PLUGIN_*) in commands due to the evaluation rules
# of make

##########################
# Internal documentation #
##########################

MODULES_TODOC+= $(PLUGIN_TYPES_TODOC)

PLUGIN_UNDOC := $(addprefix $(PLUGIN_DIR)/, $(PLUGIN_UNDOC))

PLUGIN_DOC_SRC:=$(filter-out $(PLUGIN_UNDOC), $(PLUGIN_ML_SRC))
$(PLUGIN_NAME)_DOC_SRC:=$(PLUGIN_DOC_SRC)

ifndef PLUGIN_DOC_DIR
PLUGIN_DOC_DIR := $(DOC_DIR)/$(PLUGIN_BASE)
endif

$(PLUGIN_NAME)_DOC_DIR:= $(PLUGIN_DOC_DIR)

$(PLUGIN_NAME)_INTRO:=$(PLUGIN_INTRO)
ifdef PLUGIN_INTRO
$(PLUGIN_NAME)_CAT_INTRO:= $(SED) -e "/^@ignore/d" $(PLUGIN_INTRO) >> $(PLUGIN_DOC_DIR)/$(PLUGIN_NAME).txt
else
$(PLUGIN_NAME)_CAT_INTRO:=
endif

ifeq ($(FRAMAC_MAKE),yes)
DOC_INTRO:= $(DOC_DIR)/intro_kernel_plugin.txt \
            $(DOC_DIR)/intro_plugin.txt \
	    $(DOC_DIR)/intro_plugin_D_and_S.txt \
	    $(DOC_DIR)/intro_plugin_default.txt
else
DOC_INTRO:=
endif

$(PLUGIN_DOC_DIR)/$(PLUGIN_NAME).txt: $(DOC_INTRO) $(PLUGIN_INTRO)
	$(PRINT_MAKING) "$@"
	$(MKDIR) $(dir $@)
	if [ -f "$(DOC_DIR)/html/Db.$(basename $(notdir $@)).html" ] ; then \
	  if [ -f "$(DOC_DIR)/dynamic_plugins/Dynamic_plugins.$(basename $(notdir $@)).html" ] ; then \
	    cp -f $(DOC_DIR)/intro_plugin_D_and_S.txt $@ ; \
	  else \
	    cp -f $(DOC_DIR)/intro_kernel_plugin.txt $@ ; \
	  fi ; \
	elif [ -f "$(DOC_DIR)/dynamic_plugins/Dynamic_plugins.$(basename $(notdir $@)).html" ] ; then \
	  cp -f $(DOC_DIR)/intro_plugin.txt $@ ; \
	else \
	  cp -f $(DOC_DIR)/intro_plugin_default.txt $@ ; \
	fi
	$(ISED) -e "s/_PluginName_/$(basename $(notdir $@))/g" \
                -e "/^@ignore/d" $@
	$($(basename $(notdir $@))_CAT_INTRO)

ifeq ($(FRAMAC_INTERNAL),yes)
OCAMLDOC_GEN:=$(DOC_PLUGIN)
ifneq ($(FRAMAC_MAKE),yes)
# not doing kernel documentation if just compiling plugin's one

$(DOC_DIR)/docgen.cmo: $(DOC_DIR)/docgen.ml
	$(PRINT_OCAMLC) $@
	$(OCAMLC) -c -I +ocamldoc $(call winpath,$(DOC_DIR))/docgen.ml

$(DOC_DIR)/docgen.cmxs: $(DOC_DIR)/docgen.ml
	$(PRINT_PACKING) $@
	$(OCAMLOPT) -o $(call winpath,$@) -shared -I +ocamldoc \
	  $(call winpath,$(DOC_DIR))/docgen.ml
else
OCAMLDOC_GEN+=$(DOC_DIR)/kernel-doc.ocamldoc
endif
else
OCAMLDOC_GEN:=
endif

OCAMLDOC_DEPEND:= $(PLUGIN_CMO)
ifneq ($(ENABLE_GUI),no)
OCAMLDOC_DEPEND:= $(OCAMLDOC_DEPEND) $(PLUGIN_GUI_CMO)
endif

.PHONY: $(PLUGIN_NAME)_DOC
$(PLUGIN_NAME)_DOC: $(OCAMLDOC_DEPEND) \
		    $(OCAMLDOC_GEN) \
		    $(PLUGIN_DOC_DIR)/$(PLUGIN_NAME).txt \
		    $(PLUGIN_DOC_DIR)/modules.svg \
		    $(DOC_PLUGIN)
	$(PRINT_DOC) $(patsubst %_DOC,%,$@)
	$(MKDIR) $($@_DIR)
	$(RM) $($@_DIR)/*.html
# Only generate toc for kernel's documentation if we are in Frama-C's main
# Makefile
ifeq ($(FRAMAC_MAKE), yes)
	$(ECHO) '<li><a href="$(subst $(DOC_DIR)/,,$($@_DIR))/index.html">$(subst _, ,$(patsubst %_DOC,%,$@))</a></li>' > $(DOC_DIR)/$(patsubst %_DOC,%,$@).toc
endif
	$(OCAMLDOC) $($@FLAGS) \
	  -t "$(patsubst %_DOC,%,$@) plugin" \
	  -intro $($@_DIR)/$(patsubst %_DOC,%,$@).txt \
	  -css-style ../style.css \
	  -d $($@_DIR) -g $(DOC_PLUGIN) -docpath $(DOC_DIR)/html \
	  $(addprefix -load , $(wildcard $(DOC_DIR)/kernel-doc.ocamldoc)) \
	  $(wildcard $($@_SRC))
# [rb+js] 20090619
# pwd is required to avoid "bad directory" message on OpenBSD
# don't know why
	cd `pwd`/$($(patsubst %_DOC,%_DOC_DIR,$@)); \
	for f in $(foreach f,$($(patsubst %_DOC,%_TYPES_TODOC,$@)),\
	                     $(basename $(notdir $f))); do \
	  for g in \
	    $(wildcard ../html/$(shell $(ECHO) $(f) | $(SED) 's/^./\u&/')); \
          do \
	    ln -sf $$g; \
	  done; \
	done; \
        for f in *.html; do \
	  $(ISED) -e 's|\(doc/code/html\)|../../../\1|g' $$f ; \
	done


# removed dependencies:
#		    $(PLUGIN_DOC_DIR)/modules.ps \
#		    $(PLUGIN_DOC_DIR)/modules-all.ps \
#		    $(PLUGIN_DOC_DIR)/types.ps
$(PLUGIN_DOC_DIR)/modules.dot: DOC_FLAGS:=$($(NAME_DOCFLAGS))
$(PLUGIN_DOC_DIR)/modules.dot: $(wildcard $(PLUGIN_DOC_SRC))
	$(PRINT_DOC) $@
	$(MKDIR) $(dir $@)
	$(OCAMLDOC) $(DOC_FLAGS) -o $@ -dot $^ \
        || { $(RM) $@; exit 2; } # in case of error, ocamldoc still generates
	                         # something
	$(ISED) -e "s/rotate=90;//" \
		-e 's/digraph G/digraph "Plugin architecture ($(subst /,,$(subst doc/code,,$(dir $@))))"/' \
		$@

$(PLUGIN_DOC_DIR)/modules-all.dot: DOC_FLAGS:=$($(NAME_DOCFLAGS))
$(PLUGIN_DOC_DIR)/modules-all.dot: $(wildcard $(PLUGIN_DOC_SRC))
	$(PRINT_DOC) $@
	$(MKDIR) $(dir $@)
	$(OCAMLDOC) $(DOC_FLAGS) $($(dir $@)FLAGS) -o $@ -dot \
	  -dot-include-all $^
	$(ISED) -e "s/rotate=90;//" $@

$(PLUGIN_DOC_DIR)/types.dot: DOC_FLAGS:=$($(NAME_DOCFLAGS))
$(PLUGIN_DOC_DIR)/types.dot: $(wildcard $(PLUGIN_DOC_SRC))
	$(PRINT_DOC) $@
	$(MKDIR) $(dir $@)
	$(OCAMLDOC) $(DOC_FLAGS) $($(dir $@)FLAGS) -o $@ -dot -dot-types $^
	$(ISED) -e "s/rotate=90;//" $@

.PHONY: $(PLUGIN_NAME)_metrics
$(PLUGIN_NAME)_metrics : $(PLUGIN_DOC_DIR)/metrics.html
$(PLUGIN_DOC_DIR)/metrics.html : $(wildcard $(PLUGIN_DOC_SRC))
	$(PRINT_DOC) $@
	ocamlmetrics $^ > $@

############
# Tests    #
############

ifneq ("$(PLUGIN_ENABLE)","no")
ifndef PLUGIN_NO_TEST
ifndef PLUGIN_TESTS_DIRS
PLUGIN_TESTS_DIRS:=$(PLUGIN_BASE)
endif
endif

ifndef PLUGIN_TESTS_DIRS_DEFAULT
PLUGIN_TESTS_DIRS_DEFAULT:=$(PLUGIN_TESTS_DIRS)
endif

ifndef PLUGIN_NO_DEFAULT_TEST
ifdef PLUGIN_INTERNAL_TEST
PLUGIN_TESTS_LIST += $(PLUGIN_TESTS_DIRS_DEFAULT)
endif
endif

$(PLUGIN_NAME)_TESTS_DIRS:=$(PLUGIN_TESTS_DIRS)
$(PLUGIN_NAME)_DEPFLAGS_TEST:=$(add_prefix tests/,$(PLUGIN_TESTS_DIRS))

$(PLUGIN_NAME)_TESTS_LIB:=$(PLUGIN_TESTS_LIB:%=%.cmx)
$(PLUGIN_NAME)_TESTS_LIB_BYTE:=$(PLUGIN_TESTS_LIB:%=%.cmo)

# [JS 2009/03/18] both .PRECIOUS are required in order to prevent 'make'
# deletion of intermediate generated files. Such a deletion forces 'make' to
# unnecessarily recompile those files.
.PRECIOUS: $($(PLUGIN_NAME)_TESTS_LIB) $($(PLUGIN_NAME)_TESTS_LIB_BYTE)

$(foreach d,$(PLUGIN_TESTS_DIRS),$(eval $(call COMPILE_TESTS_ML_FILES,$d,$(PLUGIN_NAME),$($(PLUGIN_NAME)_TESTS_LIB))))

endif # PLUGIN_ENABLE

##########
# Depend #
##########

# for reasons known to themselves, ocamldep and make are confused by ./file.ml
# hence (one of) the patsubst below in case PLUGIN_DIR is .

# If you explicitly do "make depend", force the computation of dependencies
.PHONY: $(PLUGIN_DIR)/$(PLUGIN_NAME)_DEP_REDO
$(PLUGIN_DIR)/$(PLUGIN_NAME)_DEP_REDO: $(PLUGIN_GENERATED) \
				       $(TARGET_MLI) \
				       $(TARGET_GUI_MLI)
	$(PRINT_DEP) $(dir $@).depend
	$(RM) $(dir $@).depend
	$(OCAMLDEP) $(INCLUDES_FOR_OCAMLDEP) \
	    $($(patsubst %_DEP_REDO,%_DEPFLAGS,$(basename $(notdir $@)))) \
	      $(patsubst ./%,%, \
                $($(patsubst %_DEP_REDO,%_ML_SRC,$(basename $(notdir $@)))) \
	        $($(patsubst %_DEP_REDO,%_MLI, $(basename $(notdir $@))))\
	        $($(patsubst %_DEP_REDO,%_GUI_MLI, $(basename $(notdir $@))))) \
	    $(foreach d, \
                  $($(patsubst %_DEP_REDO,%_DEPFLAGS_TEST, \
                       $(basename $(notdir $@)))), \
                  -I $d $d/*.ml $d/*.mli) \
              > $(dir $@).depend
	$(CHMOD_RO) $(dir $@).depend

# Otherwise do it only if necessary
$(PLUGIN_DIR)/$(PLUGIN_NAME)_DEP: $(PLUGIN_GENERATED) \
	                          $(TARGET_MLI) \
                                  $(TARGET_GUI_MLI)
	$(PRINT_DEP) $(dir $@).depend
	$(RM) $(dir $@).depend
	$(OCAMLDEP) $(INCLUDES_FOR_OCAMLDEP) \
	    $($(basename $(notdir $@))FLAGS) \
	    $(patsubst ./%,%, \
	       $($(patsubst %_DEP,%_ML_SRC,$(basename $(notdir $@)))) \
	       $($(patsubst %_DEP,%_MLI, $(basename $(notdir $@)))) \
	       $($(patsubst %_DEP,%_GUI_MLI, $(basename $(notdir $@))))) \
	    $(foreach d, $($(basename $(notdir $@))FLAGS_TEST), -I $d \
               $d/*.ml $d/*.mli) \
              > $(dir $@).depend
	$(TOUCH) $@
	$(CHMOD_RO) $(dir $@).depend
# touch above = Do not recompute dependances each times

##########
# Merlin #
##########

ifneq ($(FRAMAC_MAKE),yes)

.PHONY: merlin_plugin

merlin_plugin:
	echo "B $(FRAMAC_LIBDIR)" > .merlin
	echo "B $(FRAMAC_LIBDIR)/plugins" >> .merlin
	echo "B $(FRAMAC_LIBDIR)/plugins/gui" >> .merlin
	echo "PKG ocamlgraph" >> .merlin
	echo "PKG zarith" >> .merlin
	echo "PKG lablgtk2" >> .merlin

endif


############
# Cleaning #
############

.PHONY: $(PLUGIN_DIR)/$(PLUGIN_NAME)_CLEAN
$(PLUGIN_DIR)/$(PLUGIN_NAME)_CLEAN:
	$(PRINT_RM) $(patsubst %_CLEAN, %, $(notdir $@))
	if test "$(FRAMAC_MAKE)" = "yes"; then \
          $(RM) $(dir $@).depend; \
        fi
	$(RM) $(PLUGIN_GENERATED)
	$(RM) $(@:%CLEAN=%DEP) $(@:%CLEAN=%DEP_REDO)
	$(RM) $(patsubst %.cmo,%.cm*,$($(patsubst %_CLEAN,%_CMO,$(notdir $@))))
	$(RM) $(patsubst %.cmi,%.cm*,$($(patsubst %_CLEAN,%_CMI,$(notdir $@))))
	$(RM) $(patsubst %.cmo,%.annot,\
                         $($(patsubst %_CLEAN,%_CMO,$(notdir $@))))
	$(RM) $(patsubst %.cmo,%.o,$($(patsubst %_CLEAN,%_CMO,$(notdir $@))))
	$(RM) $(patsubst %.cmo,%.cm*,\
                 $($(patsubst %_CLEAN,%_GUI_CMO,$(notdir $@))))
	$(RM) $(patsubst %.cmi,%.cm*, \
                 $($(patsubst %_CLEAN,%_GUI_CMI,$(notdir $@))))
	$(RM) $(patsubst %.cmo,%.annot, \
                 $($(patsubst %_CLEAN,%_GUI_CMO,$(notdir $@))))
	$(RM) $(patsubst %.cmo,%.o, \
                 $($(patsubst %_CLEAN,%_GUI_CMO,$(notdir $@))))
	$(RM) $(dir $@)*~ $(dir $@)*.cm* $(dir $@)*.o $(dir $@)*.annot
	$(RM) -r $(dir $@)gui
	$(RM) $(foreach d, $(@:%CLEAN=%TESTS_LIB), \
		$(foreach f, $($(notdir $d)), \
		$f $(f:.cmx=.cmo) $(f:.cmx=.opt) $(f:.cmx=.byte) $(f:.cmx=.o)))

.PHONY: $(PLUGIN_DIR)/$(PLUGIN_NAME)_DIST_CLEAN
$(PLUGIN_DIR)/$(PLUGIN_NAME)_DIST_CLEAN:
	$(RM) $(dir $@)/tests/ptests_config

.PHONY: $(PLUGIN_DIR)/$(PLUGIN_NAME)_CLEAN_DOC $($(PLUGIN_NAME)_DOC_DIR)
$(PLUGIN_DIR)/$(PLUGIN_NAME)_CLEAN_DOC: $($(PLUGIN_NAME)_DOC_DIR)
	$(PRINT_RM) documentation of  $(patsubst %_CLEAN_DOC, %, $(notdir $@))
	$(RM) -r $<
	$(RM) $(DOC_DIR)/$(notdir $(patsubst %_CLEAN_DOC,%,$@).toc)

# Global lists seen in Makefile

PLUGIN_GENERATED_LIST += $(PLUGIN_GENERATED)

ifeq ($(PLUGIN_DYNAMIC),yes)
#dynamic plugin
PLUGIN_META_LIST += $(TARGET_META)
PLUGIN_DYN_EXISTS:=yes
PLUGIN_DYN_LIST += $(PLUGIN_DIR)/$(PLUGIN_NAME)
ifdef PLUGIN_EXTRA_BYTE
.PRECIOUS: $(TARGET_CMO)
PLUGIN_DYN_CMO_LIST += $(TARGET_CMA)
else
PLUGIN_DYN_CMO_LIST += $(TARGET_CMO)
endif
PLUGIN_DYN_DEP_GUI_CMO_LIST += $(PLUGIN_GUI_CMO)
ifeq ($(HAS_GUI),yes)
PLUGIN_DYN_GUI_EXISTS:=yes
ifdef PLUGIN_EXTRA_BYTE
PLUGIN_DYN_GUI_CMO_LIST += $(TARGET_GUI_CMA)
else
PLUGIN_DYN_GUI_CMO_LIST += $(TARGET_GUI_CMO)
endif #EXTRA_BYTE
endif #HAS_GUI

ifeq ($(USABLE_NATIVE_DYNLINK),yes)
PLUGIN_DYN_DEP_GUI_CMX_LIST += $(PLUGIN_GUI_CMX)
PLUGIN_DYN_CMX_LIST	+= $(TARGET_CMXS) $(TARGET_CMX)
      # If P1 depends on P2, then dynamically link P1.cmxs requires to have 
      # compiled P1's sources wrt the P2's .cmx.
ifdef PLUGIN_EXTRA_OPT
PLUGIN_DYN_CMX_LIST	+= $(TARGET_CMXA)
endif #EXTRA_OPT
ifeq ($(HAS_GUI),yes)
PLUGIN_DYN_GUI_CMX_LIST += $(TARGET_GUI_CMXS)
endif
else # No native dynlink: use a static version
PLUGIN_CMX_LIST += $(TARGET_CMX)
ifdef PLUGIN_EXTRA_OPT
EXTRA_OPT_LIBS+= $(PLUGIN_EXTRA_OPT)
endif
PLUGIN_DEP_GUI_CMX_LIST += $(PLUGIN_GUI_CMX)
ifeq ($(HAS_GUI),yes)
PLUGIN_GUI_CMX_LIST += $(TARGET_GUI_CMX)
endif # HAS_GUI
endif # USABLE_NATIVE_DYNLINK

else # Normal plugin
PLUGIN_LIST += $(PLUGIN_DIR)/$(PLUGIN_NAME)
ifdef PLUGIN_EXTRA_BYTE
.PRECIOUS: $(TARGET_CMO) $(TARGET_GUI_CMO)
PLUGIN_CMO_LIST += $(TARGET_CMA)
PLUGIN_GUI_CMO_LIST += $(TARGET_GUI_CMA)
PLUGIN_DEP_GUI_CMO_LIST += $(PLUGIN_GUI_CMA)
else
PLUGIN_CMO_LIST += $(TARGET_CMO)
PLUGIN_GUI_CMO_LIST += $(TARGET_GUI_CMO)
PLUGIN_DEP_GUI_CMO_LIST += $(PLUGIN_GUI_CMO)
endif
#PLUGIN_CMO_LIST	+= $(TARGET_CMO)
ifdef PLUGIN_EXTRA_OPT
.PRECIOUS: $(TARGET_CMX) $(TARGET_GUI_CMX)
PLUGIN_CMX_LIST += $(TARGET_CMXA)
PLUGIN_GUI_CMX_LIST += $(TARGET_GUI_CMXA)
DEP_CMXS=$(TARGET_CMXA)
PLUGIN_DEP_GUI_CMX_LIST += $(PLUGIN_GUI_CMXA)
else
PLUGIN_CMX_LIST += $(TARGET_CMX)
PLUGIN_GUI_CMX_LIST += $(TARGET_GUI_CMX)
DEP_CMXS=$(TARGET_CMX)
PLUGIN_DEP_GUI_CMX_LIST += $(PLUGIN_GUI_CMO)
endif
endif

PLUGIN_INTERNAL_CMO_LIST += $(PLUGIN_CMO)
PLUGIN_INTERNAL_CMX_LIST += $(PLUGIN_CMX)
PLUGIN_DOC_LIST += $(PLUGIN_NAME)_DOC
PLUGIN_DOC_DIRS += $(PLUGIN_BASE)

ifeq ($(PLUGIN_DISTRIBUTED),yes)
PLUGIN_DISTRIBUTED_NAME_LIST += $(PLUGIN_NAME)
endif

else
$(PLUGIN_DIR)/$(PLUGIN_NAME)_DEP_REDO:
$(PLUGIN_DIR)/$(PLUGIN_NAME)_DEP:
$(PLUGIN_DIR)/$(PLUGIN_NAME)_CLEAN:
endif

# Reset each "local" plugin variable

ifneq ($(PLUGIN_RESET),no)
PLUGIN_RESET:=
#PLUGIN_NAME and PLUGIN_DIR must be redefined before any new inclusion.
#PLUGIN_NAME:=
#PLUGIN_DIR:=
PLUGIN_DESCRIPTION:=
PLUGIN_VERSION:=
PLUGIN_REQUIRES:=
PLUGIN_HAS_META:=
PLUGIN_CMI:=
PLUGIN_CMO:=
PLUGIN_BFLAGS:=
PLUGIN_OFLAGS:=
PLUGIN_DEPFLAGS:=
PLUGIN_DOCFLAGS:=
PLUGIN_GENERATED:=
PLUGIN_DYNAMIC:=
PLUGIN_TYPES_CMO:=
PLUGIN_GUI_CMO:=
PLUGIN_GUI_CMX:=
PLUGIN_GUI_CMI:=
PLUGIN_GUI_MLI:=
TARGET_GUI_CMO:=
TARGET_GUI_CMX:=
PLUGIN_UNDOC:=
PLUGIN_TYPES_TODOC:=
PLUGIN_INTRO:=
PLUGIN_ENABLE:=
PLUGIN_NO_TEST:=
PLUGIN_TESTS_LIB:=
PLUGIN_TESTS_DIRS:=
PLUGIN_DEPENDS:=
PLUGIN_DEPENDENCIES:=
PLUGIN_DISTRIBUTED:=
PLUGIN_DISTRIB_BIN:=
PLUGIN_DISTRIB_EXTERNAL:=
PLUGIN_HAS_EXT_DOC:=
PLUGIN_NO_DEFAULT_TEST:=
PLUGIN_TESTS_DIRS_DEFAULT:=
PLUGIN_LINK_GUI_BFLAGS:=
PLUGIN_LINK_GUI_OFLAGS:=
PLUGIN_LINK_BFLAGS:=
PLUGIN_LINK_OFLAGS:=
PLUGIN_EXTRA_BYTE:=
PLUGIN_EXTRA_OPT:=
PLUGIN_INTERNAL_TEST:=
PLUGIN_DOC_DIR:=
endif

###############################################################################
# Local Variables:
# mode: makefile
# End: