diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/Makefile.common b/Makefile.common index bf466da7ae..47102d69fc 100644 --- a/Makefile.common +++ b/Makefile.common @@ -509,12 +509,10 @@ ZARITHVO:=\ theories/ZArith/Zwf.vo theories/ZArith/ZArith_base.vo \ theories/ZArith/Zbool.vo theories/ZArith/Zbinary.vo \ theories/ZArith/Znumtheory.vo theories/ZArith/Int.vo \ - theories/ZArith/Zpow_def.vo + theories/ZArith/Zpow_def.vo theories/ZArith/Zpow_facts.vo INTSVO:=\ - theories/Ints/Z/IntsZmisc.vo theories/Ints/Z/Pmod.vo \ - theories/Ints/Tactic.vo theories/Ints/Z/ZAux.vo \ - theories/Ints/Z/ZPowerAux.vo theories/Ints/Z/ZDivModAux.vo \ + theories/Ints/Z/ZAux.vo \ theories/Ints/Basic_type.vo theories/Ints/Int31.vo \ theories/Ints/num/GenBase.vo theories/Ints/num/ZnZ.vo \ theories/Ints/num/GenAdd.vo theories/Ints/num/GenSub.vo \ @@ -524,10 +522,6 @@ INTSVO:=\ theories/Ints/num/Nbasic.vo theories/Ints/num/NMake.vo \ theories/Ints/BigN.vo theories/Ints/num/ZMake.vo \ theories/Ints/BigZ.vo theories/Ints/num/BigQ.vo -# theories/Ints/List/ListAux.vo -# theories/Ints/List/LPermutation.vo theories/Ints/List/Iterator.vo \ -# theories/Ints/List/ZProgression.vo -# theories/Ints/Z/ZSum.vo theories/Ints/Z/Ppow.vo \ # spiwack : should use the genN.ml to create NMake eventually # arnaud : see above |