From: Mehdi Dogguy Date: Wed, 21 Dec 2016 14:14:24 +0100 Subject: gui.byte needs TARGETS_GUI_BYTE only --- share/Makefile.dynamic | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/share/Makefile.dynamic b/share/Makefile.dynamic index 9655220..0b60162 100644 --- a/share/Makefile.dynamic +++ b/share/Makefile.dynamic @@ -197,8 +197,8 @@ $(eval $(call include_generic_plugin_Makefile,$(PLUGIN_NAME))) TARGETS := $(TARGET_META) $(TARGET_CMI) TARGETS_TOP := $(TARGET_TOP_CMO) $(TARGET_TOP_CMX) \ $(TARGET_TOP_CMA) $(TARGET_TOP_CMXS) -TARGETS_GUI := $(TARGET_GUI_CMI) $(TARGET_GUI_CMO) \ - $(TARGET_GUI_CMX) $(TARGET_GUI_CMXS) +TARGETS_GUI_BYTE := $(TARGET_GUI_CMI) $(TARGET_GUI_CMO) +TARGET_GUI := $(TARGETS_GUI_BYTE) $(TARGET_GUI_CMX) $(TARGET_GUI_CMXS) TARGETS_BYTE:= $(TARGET_META) $(TARGET_CMI) $(TARGET_TOP_CMO) $(TARGET_TOP_CMA) TARGETS_OPT:= $(TARGET_META) $(TARGET_CMI) $(TARGET_TOP_CMX) $(TARGET_TOP_CMXS) @@ -206,7 +206,11 @@ include $(MAKECONFIG_DIR)/Makefile.kernel byte:: $(TARGETS_BYTE) opt:: $(TARGETS_OPT) +ifeq ($(OCAMLBEST),byte) +gui:: $(TARGETS_GUI_BYTE) +else gui:: $(TARGETS_GUI) +endif # do not define additional targets if you come from the Frama-C Makefile ifneq ($(FRAMAC_INTERNAL),yes)