diff options
| author | filliatr | 2003-11-11 00:02:42 +0000 |
|---|---|---|
| committer | filliatr | 2003-11-11 00:02:42 +0000 |
| commit | 77eb1f985db4fdad114d02d05496a3a29792159f (patch) | |
| tree | aa10d617144b05d84bd788273108c46681a5ca53 | |
| parent | d719ba896e985ce1683018157a4dd88e0927a72b (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4855 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -2589,17 +2589,19 @@ contrib/extraction/common.cmo: kernel/declarations.cmi \ contrib/extraction/haskell.cmi library/libnames.cmi \ contrib/extraction/miniml.cmi kernel/modops.cmi \ contrib/extraction/modutil.cmi library/nameops.cmi kernel/names.cmi \ - contrib/extraction/ocaml.cmi lib/pp.cmi lib/pp_control.cmi \ - contrib/extraction/scheme.cmi contrib/extraction/table.cmi \ - kernel/term.cmi lib/util.cmi contrib/extraction/common.cmi + contrib/extraction/ocaml.cmi lib/options.cmi lib/pp.cmi \ + lib/pp_control.cmi contrib/extraction/scheme.cmi \ + contrib/extraction/table.cmi kernel/term.cmi lib/util.cmi \ + contrib/extraction/common.cmi contrib/extraction/common.cmx: kernel/declarations.cmx \ contrib/extraction/extraction.cmx library/global.cmx lib/gset.cmx \ contrib/extraction/haskell.cmx library/libnames.cmx \ contrib/extraction/miniml.cmi kernel/modops.cmx \ contrib/extraction/modutil.cmx library/nameops.cmx kernel/names.cmx \ - contrib/extraction/ocaml.cmx lib/pp.cmx lib/pp_control.cmx \ - contrib/extraction/scheme.cmx contrib/extraction/table.cmx \ - kernel/term.cmx lib/util.cmx contrib/extraction/common.cmi + contrib/extraction/ocaml.cmx lib/options.cmx lib/pp.cmx \ + lib/pp_control.cmx contrib/extraction/scheme.cmx \ + contrib/extraction/table.cmx kernel/term.cmx lib/util.cmx \ + contrib/extraction/common.cmi contrib/extraction/extract_env.cmo: contrib/extraction/common.cmi \ kernel/declarations.cmi contrib/extraction/extraction.cmi \ library/global.cmi library/lib.cmi library/libnames.cmi \ |