diff options
| author | herbelin | 2003-09-12 14:41:46 +0000 |
|---|---|---|
| committer | herbelin | 2003-09-12 14:41:46 +0000 |
| commit | 47f84ce90f0a0e0f78108f994ad23cad26699feb (patch) | |
| tree | c85461fbd066a18da1ea8004b2b59bda26c1f286 | |
| parent | 53d23f52cd28c1373e784c278c8455cf9fa4eb67 (diff) | |
Déplacement de Declare et Impargs à la fin de interp pour que Declare accède à tout interp
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4366 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | Makefile | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -99,11 +99,9 @@ KERNEL=\ LIBRARY=\ library/nameops.cmo library/libnames.cmo library/libobject.cmo \ - library/summary.cmo \ - library/nametab.cmo library/global.cmo library/lib.cmo \ + library/summary.cmo library/nametab.cmo library/global.cmo library/lib.cmo \ library/declaremods.cmo library/library.cmo library/states.cmo \ - library/impargs.cmo library/decl_kinds.cmo \ - library/dischargedhypsmap.cmo library/declare.cmo library/goptions.cmo + library/decl_kinds.cmo library/dischargedhypsmap.cmo library/goptions.cmo PRETYPING=\ pretyping/termops.cmo pretyping/evd.cmo pretyping/instantiate.cmo \ @@ -120,8 +118,9 @@ PRETYPING=\ INTERP=\ interp/topconstr.cmo interp/ppextend.cmo interp/symbols.cmo \ interp/genarg.cmo interp/syntax_def.cmo interp/reserve.cmo \ - interp/constrintern.cmo \ - interp/modintern.cmo interp/constrextern.cmo interp/coqlib.cmo + library/impargs.cmo interp/constrintern.cmo \ + interp/modintern.cmo interp/constrextern.cmo interp/coqlib.cmo \ + library/declare.cmo PARSING=\ parsing/lexer.cmo parsing/coqast.cmo parsing/ast.cmo \ |