diff options
| author | letouzey | 2006-04-25 22:52:18 +0000 |
|---|---|---|
| committer | letouzey | 2006-04-25 22:52:18 +0000 |
| commit | b2e0ec34cdd95017ce9ecec99b3431494b452d6c (patch) | |
| tree | ccbc1c35da20152063cc5d094cc2e1b256fa4cf0 /Makefile | |
| parent | 0274e797162cd62fe9145436a66027a61d727d64 (diff) | |
Un gros coup de lifting pour IntMap:
* le type ad des adresses est maintenant un alias vers
le N de NArith, qui lui est isomorphe.
* toutes les operations sur ces adresses (p.ex. un xor
bit a bit) sont maintenant dans de nouveaux fichiers du
repertoire NArith.
* Intmap utilise maintenant le meme type option que le
reste du monde
* etc etc...
Tout ceci ne preserve pas forcement la compatibilite. Les 4 contribs
utilisant Intmap sont adaptees en consequence. Me demander si besoin
ma moulinette d'adaptation (incomplete).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8733 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -822,7 +822,9 @@ BOOLVO=\ NARITHVO=\ theories/NArith/BinPos.vo theories/NArith/Pnat.vo \ - theories/NArith/BinNat.vo theories/NArith/NArith.vo + theories/NArith/BinNat.vo theories/NArith/NArith.vo \ + theories/NArith/Nnat.vo theories/NArith/Ndigits.vo \ + theories/NArith/Ndec.vo theories/NArith/Ndist.vo ZARITHVO=\ theories/ZArith/BinInt.vo theories/ZArith/Wf_Z.vo \ @@ -876,9 +878,8 @@ FSETSVO=\ 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 \ - theories/IntMap/Adist.vo theories/IntMap/Mapfold.vo \ + theories/IntMap/Mapfold.vo \ + theories/IntMap/Mapcard.vo theories/IntMap/Mapc.vo \ theories/IntMap/Allmaps.vo theories/IntMap/Mapiter.vo \ theories/IntMap/Fset.vo theories/IntMap/Maplists.vo \ theories/IntMap/Lsort.vo theories/IntMap/Mapsubset.vo \ |