diff options
| author | filliatr | 2003-06-13 12:12:08 +0000 |
|---|---|---|
| committer | filliatr | 2003-06-13 12:12:08 +0000 |
| commit | f314c2a91775739f581ab8bacbeb58f57e2d4871 (patch) | |
| tree | 8aaf92ed9e400d27cb4d37abca015eb4cf062e4a /Makefile | |
| parent | fb7e6748d9b02fff8da1335dc3f4dedeb23a8f5d (diff) | |
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
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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) |