From 9c5db70b891bf6c3e173a31d4e8761e586c7814a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Sat, 14 Feb 2015 15:09:42 +0100
Subject: Makefile: in byte we can always dynlink

---
 Makefile.common | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index d752a5be9..e54861961 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -206,6 +206,14 @@ ifneq ($(HASNATDYNLINK),false)
  INITPLUGINSOPT:=$(INITPLUGINS:.cma=.cmxs)
  PLUGINS:=$(PLUGINSCMA)
  PLUGINSOPT:=$(PLUGINSCMA:.cma=.cmxs)
+else
+ifeq ($(BEST),byte)
+ STATICPLUGINS:=
+ INITPLUGINS:=$(EXTRACTIONCMA) $(FOCMA) $(CCCMA) \
+	$(FUNINDCMA) $(NATSYNTAXCMA)
+ INITPLUGINSOPT:=$(INITPLUGINS:.cma=.cmxs)
+ PLUGINS:=$(PLUGINSCMA)
+ PLUGINSOPT:=$(PLUGINSCMA:.cma=.cmxs)
 else
  STATICPLUGINS:=$(PLUGINSCMA)
  INITPLUGINS:=
@@ -213,6 +221,7 @@ else
  PLUGINS:=
  PLUGINSOPT:=
 endif
+endif
 
 LINKCMO:=$(CORECMA) $(STATICPLUGINS)
 LINKCMX:=$(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa)
-- 
cgit v1.2.3