PLUGIN_NAME=Flatac
#PLUGIN_CMO=self sem_and_logic_front_end trivalue_logic_front_end ecfg flatac_ep 
#PLUGIN_CMO=self sem_and_logic_front_end ssl_types ssl union_find ssl_pprinters ssl_substitution ssl_normalization ssl_decision ssl_entailement ssl_biabduction global_mem c_upon_ssl_domain flatac_ssl_front_end ecfg flatac_ep 

PLUGIN_CMO=self ssl_types ssl ast_goodies \
sem_and_logic_front_end extended_cfg_types global_mem \
ssl_pprinters union_find ssl_substitution  ssl_normalization ssl_decision \
ssl_entailement ssl_biabduction \
composite_type_types composite_types nts_types \
nts validity_types intermediate_language validity cnt_interpret \
var_validity_types var_validity \
types_2_pvars composite_type_visitors \
typename_of_cil_types new_composite_type_upon_ssl \
ssl_valid_abs_dom_types ssl_valid_abs_dom \
compile_2_nts guard_of_mem_acces \
c_upon_ssl_domain var_registration \
extended_cfg flatac_ssl_front_end \
flatac_function_visitor flatac_plugin

#cautomata c2cautomatanalys flata_language flatac_debug_visitor \

include Makefile.conf
include $(FRAMAC_SHARE)/Makefile.dynamic
