From 32281da46b561a89b805940cc426563b1b7e6a97 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 12 Mar 2001 08:30:46 +0000
Subject: Commentaires. Verification des assert false. Probleme des types ML
 arity. Correction des dependances pour bin/coq-extraction dans le Makefile

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1448 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index ed8faaec45..b6fbb62bff 100644
--- a/Makefile
+++ b/Makefile
@@ -211,7 +211,7 @@ toplevel: $(TOPLEVEL)
 
 EXTRACTIONCMO=contrib/extraction/ocaml.cmo contrib/extraction/extraction.cmo 
 
-bin/coq-extraction: $(COQMKTOP) $(CMO) $(USERTACCMO)
+bin/coq-extraction: $(COQMKTOP) $(CMO) $(USERTACCMO) $(EXTRACTIONCMO)
 	$(COQMKTOP) -top $(INCLUDES) $(CAMLDEBUG) -o $@ $(EXTRACTIONCMO)
 
 ###########################################################################
-- 
cgit v1.2.3