From ed5578ecabad14a772c64f53265d168a51777045 Mon Sep 17 00:00:00 2001
From: aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 21 May 2007 16:38:45 +0000
Subject: Added Z and Q implementations with int31.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 06e562f20..2de542be2 100644
--- a/Makefile
+++ b/Makefile
@@ -918,7 +918,8 @@ INTSVO=\
  theories/Ints/num/GenDiv.vo theories/Ints/num/GenSqrt.vo \
  theories/Ints/num/GenLift.vo theories/Ints/num/Zn2Z.vo\
  theories/Ints/num/Nbasic.vo theories/Ints/num/NMake.vo \
- theories/Ints/BigN.vo
+ theories/Ints/BigN.vo theories/Ints/num/ZMake.vo \
+ theories/Ints/BigZ.vo theories/Ints/num/QMake.vo
 # theories/Ints/List/ListAux.vo
 # theories/Ints/List/LPermutation.vo theories/Ints/List/Iterator.vo \
 # theories/Ints/List/ZProgression.vo
-- 
cgit v1.2.3