From 95021d34fd00540b2205f6475a359bdf93a197cb Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 29 Mar 2001 06:38:40 +0000
Subject: fichiers extraction

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

diff --git a/Makefile b/Makefile
index cec5b86273..e0c9df0849 100644
--- a/Makefile
+++ b/Makefile
@@ -217,7 +217,9 @@ toplevel: $(TOPLEVEL)
 
 # special binaries for debugging
 
-EXTRACTIONCMO=contrib/extraction/ocaml.cmo contrib/extraction/extraction.cmo 
+EXTRACTIONCMO=contrib/extraction/mlutil.cmo contrib/extraction/ocaml.cmo \
+	      contrib/extraction/extraction.cmo \
+	      contrib/extraction/extract_env.cmo
 
 bin/coq-extraction: $(COQMKTOP) $(CMO) $(USERTACCMO) $(EXTRACTIONCMO)
 	$(COQMKTOP) -top $(INCLUDES) $(CAMLDEBUG) -o $@ $(EXTRACTIONCMO)
-- 
cgit v1.2.3