Makefile.in

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

PLUGIN_DIR ?= .
PLUGIN_ENABLE := @ENABLE_CONC2SEQ@
PLUGIN_DISTRIBUTED:=$(PLUGIN_ENABLE)

PLUGIN_NAME := Conc2Seq

PLUGIN_CMO := \
	errors\
	options\
	query\
	specified_atomic\
	atomic_header\
	thread_local\
	single_load\
	vars\
	functions\
	code_transformer\
	statements\
	interleavings\
	program_counter\
	simulation_invariant\
	vars_spec\
	simulation_axioms\
	logic_transformer\
	user_invariant\
	simfuncs_spec\
	lemmas\
	simulation\
	register

PLUGIN_DISTRIB_EXTERNAL:= Makefile.in configure.in configure

PLUGIN_TESTS_DIRS:= \
	variables

include $(FRAMAC_SHARE)/Makefile.dynamic

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

ifeq ("$(FRAMAC_INTERNAL)","yes")
CONFIG_STATUS_DIR=$(FRAMAC_SRC)
else
CONFIG_STATUS_DIR=.
endif

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