--- Makefile	2007-11-12 10:10:25.000000000 -0500
+++ Makefile	2008-06-16 10:58:38.000000000 -0400
@@ -1271,7 +1271,12 @@
         parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma \
         parsing/highparsing.cma tactics/hightactics.cma contrib/contrib.cma
 
-OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
+ifeq ($(BEST),opt)
+  OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa)
+else
+  OBJECTCMXA=
+endif
+
 
 install-library:
 	$(MKDIR) $(FULLCOQLIB)