--- Makefile	2009-03-02 12:14:34.000000000 -0500
+++ Makefile	2009-03-02 12:16:02.000000000 -0500
@@ -1274,7 +1274,11 @@
 
 OBJECTCMI=$(OBJSCMO:.cmo=.cmi)
 
-OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
+ifeq ($(BEST),opt)
+  OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
+else
+  OBJECTCMXA=
+endif
 
 install-library:
 	$(MKDIR) $(FULLCOQLIB)