From 8bd7161251dc0b8e27e4d117ad0e73edf60bbb67 Mon Sep 17 00:00:00 2001
From: delahaye
Date: Thu, 19 Apr 2001 05:00:21 +0000
Subject: Ajout de Field

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 7e7d0b1b2c..c0b42ced10 100644
--- a/Makefile
+++ b/Makefile
@@ -196,10 +196,10 @@ PARSERREQUIRES=lib/pp_control.cmo lib/pp.cmo \
 	parsing/g_natsyntax.cmo parsing/g_zsyntax.cmo parsing/g_rsyntax.cmo \
 	toplevel/errors.cmo
 
-ML4FILES += contrib/correctness/psyntax.ml4
+ML4FILES += contrib/correctness/psyntax.ml4 contrib/field/field.ml4
 
 CONTRIB=contrib/omega/omega.cmo contrib/omega/coq_omega.cmo \
-        contrib/ring/quote.cmo contrib/ring/ring.cmo \
+        contrib/ring/quote.cmo contrib/ring/ring.cmo contrib/field/field.cmo \
 	contrib/xml/xml.cmo \
 	contrib/xml/xmlcommand.cmo contrib/xml/xmlentries.cmo \
 	$(EXTRACTIONCMO) $(CORRECTNESSCMO)
@@ -459,6 +459,9 @@ RINGVO = contrib/ring/ArithRing.vo      contrib/ring/Ring_normalize.vo \
          contrib/ring/ZArithRing.vo     contrib/ring/Ring_abstract.vo \
          contrib/ring/Quote.vo
 
+FIELDVO = contrib/field/Field_Compl.vo     contrib/field/Field_Theory.vo \
+          contrib/field/Field_Tactic.vo    contrib/field/Field.vo
+
 XMLVO = contrib/xml/Xml.vo
 
 INTERFACEV0 = contrib/interface/Centaur.vo
@@ -469,7 +472,8 @@ contrib/interface/Centaur.vo: contrib/interface/Centaur.v $(INTERFACE)
 contrib/interface/AddDad.vo: contrib/interface/AddDad.v $(INTERFACE)
 	$(COQC) -q -byte -bindir bin $(COQINCLUDES) $<
 
-CONTRIBVO = $(OMEGAVO) $(RINGVO) $(XMLVO) $(CORRECTNESSVO) $(INTERFACEV0)
+CONTRIBVO = $(OMEGAVO) $(RINGVO) $(FIELDVO) $(XMLVO) $(CORRECTNESSVO)\
+            $(INTERFACEV0)
 
 $(CONTRIBVO): states/initial.coq
 
-- 
cgit v1.2.3