Makefile.in

#######################
# Frama-C Environment #
#######################

ifndef FRAMAC_SHARE
FRAMAC_SHARE	:= $(shell frama-c-config -print-share-path)
endif

ifndef FRAMAC_LIBDIR
FRAMAC_LIBDIR	:= $(shell frama-c-config -print-libpath)
endif

#########################
# Plug-in configuration #
#########################

PLUGIN_DIR ?=.
PLUGIN_NAME := Mutation
PLUGIN_CMO := local_config mut_options mut_register
PLUGIN_GUI_CMO 	:= 
PLUGIN_HAS_MLI:= yes
PLUGIN_TESTS_DIRS:= search
PLUGIN_GENERATED:= $(PLUGIN_DIR)/local_config.ml

$(PLUGIN_DIR)/tests/test_config: $(PLUGIN_DIR)/tests/test_config.in
	$(PRINT_MAKING) $@
	$(RM) $@
	$(SED) -e "s|__PLUGIN_PATH__|`frama-c-config -print-plugin-path`|g" $^ > $@
	$(CHMOD_RO) $@

tests:: $(PLUGIN_DIR)/tests/test_config

################
# Generic part #
################

include $(FRAMAC_SHARE)/Makefile.dynamic

distclean: clean
	$(PRINT_RM) "any generated files"
	$(RM) -rf autom4te.cache
	$(RM) configure config.status config.log
	$(RM) -rf .frama-c
	$(RM) .depend

clean::
	$(RM) mutant_*.c

#######################
# Local configuration #
#######################

MUTATION_VERSION:=$(shell $(SED) -e 's/\\(.*\\)/\\1/' $(PLUGIN_DIR)/VERSION)

$(PLUGIN_DIR)/local_config.ml: $(PLUGIN_DIR)/Makefile.in $(PLUGIN_DIR)/VERSION
	$(PRINT_MAKING) $@
	$(RM) $@
	$(ECHO) "(* This file was automatically generated from $<. Don't edit it. *)" >> $@
	$(ECHO) "let version = \""$(MUTATION_VERSION)"\"" >> $@
	$(CHMOD_RO) $@

##########
# Header #
##########

headers::
	@echo "Applying Headers..."
	headache -c licence/headache_config.txt -h licence/CEA_PROPRIETARY \
		*.ml *.mli \
		Makefile.in configure.ac

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

.PHONY:merlin
.merlin merlin: $(FRAMAC_SHARE)/Makefile.config
#create Merlin file
	$(PRINT_MAKING) $@
	echo "FLG -c $(FLAGS) $(FRAMAC_USER_MERLIN_FLAGS)" > .merlin
	for PKG in $(LIBRARY_NAMES); do echo PKG $$PKG >> .merlin; done
	for PKG in $(LIBRARY_NAMES_GUI); do echo PKG $$PKG >> .merlin; done
	for PKG in $(MERLIN_PACKAGES); do echo PKG $$PKG >> .merlin; done
	echo "B $(FRAMAC_LIBDIR)" >> .merlin
	echo "B $(FRAMAC_LIBDIR)/plugins" >> .merlin
	echo "B $(FRAMAC_LIBDIR)/plugins/gui" >> .merlin
	find . \( -name '.*' -o -name tests -o -name doc -o -name '*.cache' \) -prune \
	      -o \( -type d -exec printf "B %s\n" {} \; -exec printf "S %s\n" {} \; \) >> .merlin

#####################################
# Regenerating the Makefile on need #
#####################################

ifeq ("$(FRAMAC_INTERNAL)","yes")
CONFIG_STATUS_DIR:=$(FRAMAC_SRC)
CONFIG_STATUS_DIR_DEP:=
else
CONFIG_STATUS_DIR:=$(Mutation_DIR)
CONFIG_STATUS_DIR_DEP:=$(CONFIG_STATUS_DIR)/config.status
endif

$(Mutation_DIR)/Makefile: $(Mutation_DIR)/Makefile.in $(CONFIG_STATUS_DIR_DEP)
	cd $(CONFIG_STATUS_DIR) && ./config.status --file $@