From 506743114ca8b0bc5d1957230a1ee1cf5a58c624 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Sat, 18 Mar 2000 01:28:55 +0000
Subject: ZArith

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c1c29f9cc4..4d79a6baa6 100644
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,7 @@ OCAMLOPT_P4O=$(OCAMLOPT) -pp camlp4o $(OPTFLAGS)
 CAMLP4IFDEF=camlp4o pa_ifdef.cmo -D$(OSTYPE)
 
 COQINCLUDES=-I theories/Init -I theories/Logic -I theories/Arith \
-            -I theories/Bool
+            -I theories/Bool -I theories/Zarith
 
 ###########################################################################
 # Objects files 
@@ -229,12 +229,18 @@ ARITHVO=theories/Arith/Arith.vo         theories/Arith/Gt.vo          \
 BOOLVO=theories/Bool/Bool.vo  theories/Bool/IfProp.vo \
        theories/Bool/Zerob.vo theories/Bool/DecBool.vo theories/Bool/Sumbool.vo
 
-theories: $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO)
+ZARITHVO=theories/Zarith/Wf_Z.vo        theories/Zarith/Zsyntax.vo \
+	 theories/Zarith/ZArith.vo      theories/Zarith/auxiliary.vo \
+	 theories/Zarith/ZArith_dec.vo  theories/Zarith/fast_integer.vo \
+	 theories/Zarith/Zmisc.vo       theories/Zarith/zarith_aux.vo
+
+theories: $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(ZARITHVO)
 
 init: $(INITVO)
 logic: $(LOGICVO)
 arith: $(ARITHVO)
 bool: $(BOOLVO)
+zarith: $(ZARITHVO)
 
 clean::
 	rm -f theories/*/*.vo theories/*/*~
-- 
cgit v1.2.3