diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-06-24 12:22:21 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-06-24 12:22:21 +0000 |
| commit | 2c46b9bc5ef09efffedc451ef386bb4dec89af1b (patch) | |
| tree | eaa74e4c0b7cd7e61964e44ab24166e997a7d0b5 /Makefile | |
| parent | c5241d7f0b9bafb1de8e189a01088951a2c84b46 (diff) | |
suppression de FSets (redevient une contrib)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4205 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 1 insertions, 8 deletions
@@ -595,10 +595,6 @@ 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 \ @@ -683,9 +679,6 @@ bool: $(BOOLVO) zarith: $(ZARITHVO) lists: $(LISTSVO) sets: $(SETSVO) -fsets: $(FSETSVO) -install-fsets: $(FSETSVO) - cp --parents $(FSETSVO) $(FULLCOQLIB)/theories/FSets intmap: $(INTMAPVO) relations: $(RELATIONSVO) wellfounded: $(WELLFOUNDEDVO) @@ -1210,7 +1203,7 @@ alldepend: depend dependcoq dependcoq:: beforedepend $(COQDEP) -R theories Coq -R contrib Coq $(COQINCLUDES) \ - $(FSETSVO:.vo=.v) $(ALLREALS:.vo=.v) $(ALLVO:.vo=.v) > .depend.coq + $(ALLREALS:.vo=.v) $(ALLVO:.vo=.v) > .depend.coq # Build dependencies ignoring failures in building ml files from ml4 files # This is useful to rebuild dependencies when they are strongly corrupted: |