Corrections d'erreurs rapportées par Frédéric Besson sur le précédent

commit de micromega + cache csdp complet.

Quelques questions résiduelles :
- où mettre l'interface entre coq et csdp (csdpcert) ?
- micromega.ml est un fichier engendré par extraction : vaut-il le
  coup de compiler coq en deux fois, une 1e fois pour compiler et
  extraire micromega.ml, une seconde fois pour inclure micromega.ml ?



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10955 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile.build b/Makefile.build
index 598047dec3..fb78e0cc2e 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -153,7 +153,7 @@ kernel/copcodes.ml: kernel/byterun/coq_instruct.h
 # Main targets (coqmktop, coqtop.opt, coqtop.byte)
 ###########################################################################
 
-coqbinaries:: ${COQBINARIES}
+coqbinaries:: ${COQBINARIES} ${CSDPCERT}
 
 coq: coqlib tools coqbinaries