From f314c2a91775739f581ab8bacbeb58f57e2d4871 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 13 Jun 2003 12:12:08 +0000
Subject: FSets, mais pas compile' par make world

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 600b3546cb..6b1409a9b9 100644
--- a/Makefile
+++ b/Makefile
@@ -594,6 +594,10 @@ SETSVO=theories/Sets/Classical_sets.vo     theories/Sets/Permut.vo \
  theories/Sets/Multiset.vo          theories/Sets/Relations_3_facts.vo \
  theories/Sets/Partial_Order.vo     theories/Sets/Uniset.vo
 
+FSETSVO=theories/FSets/FSet.vo            theories/FSets/FSetList.vo \
+	theories/FSets/FSetBridge.vo      theories/FSets/FSetProperties.vo \
+	theories/FSets/FSetInterface.vo   theories/FSets/FSetRBT.vo 
+
 INTMAPVO=theories/IntMap/Adalloc.vo    theories/IntMap/Mapcanon.vo \
 theories/IntMap/Addec.vo      theories/IntMap/Mapcard.vo \
 theories/IntMap/Addr.vo       theories/IntMap/Mapc.vo \
@@ -678,6 +682,7 @@ bool: $(BOOLVO)
 zarith: $(ZARITHVO)
 lists: $(LISTSVO)
 sets: $(SETSVO)
+fsets: $(FSETSVO)
 intmap: $(INTMAPVO)
 relations: $(RELATIONSVO)
 wellfounded: $(WELLFOUNDEDVO)
-- 
cgit v1.2.3