--- 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)