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