diff options
| author | notin | 2009-01-06 20:35:24 +0000 |
|---|---|---|
| committer | notin | 2009-01-06 20:35:24 +0000 |
| commit | d795621ceb458eca1f878ea0bbd482311a782807 (patch) | |
| tree | 1e3adb145142a157b1ef4690882f22e22a167e11 /Makefile.common | |
| parent | 2c77848eec68bfaf0b29290f4c5e9fd153342d56 (diff) | |
Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans le configure introduit par les révisions 11754 et 11755
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11756 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Makefile.common b/Makefile.common index 5a7f50404a..9c1962af75 100644 --- a/Makefile.common +++ b/Makefile.common @@ -128,6 +128,9 @@ CAMLP4OBJS:=gramlib.cma CONFIG:=\ config/coq_config.cmo +REVISIONML:=config/revision.ml +REVISIONCMO:=$(REVISIONML:.ml=.cmo) + LIBREP:=\ lib/pp_control.cmo lib/pp.cmo lib/compat.cmo lib/flags.cmo \ lib/util.cmo lib/bigint.cmo lib/hashcons.cmo lib/dyn.cmo lib/system.cmo \ @@ -227,7 +230,7 @@ TOPLEVEL:=\ toplevel/vernacinterp.cmo toplevel/mltop.cmo \ toplevel/vernacentries.cmo toplevel/whelp.cmo toplevel/vernac.cmo \ toplevel/line_oriented_parser.cmo toplevel/protectedtoplevel.cmo \ - toplevel/toplevel.cmo toplevel/usage.cmo \ + toplevel/toplevel.cmo $(REVISIONCMO) toplevel/usage.cmo \ toplevel/coqinit.cmo toplevel/coqtop.cmo HIGHTACTICS:=\ @@ -391,7 +394,7 @@ COQENVCMO:=$(CONFIG) lib/pp_control.cmo lib/pp.cmo lib/compat.cmo lib/flags.cmo COQMKTOPCMO:=$(COQENVCMO) scripts/tolink.cmo scripts/coqmktop.cmo COQMKTOPCMX:=$(COQMKTOPCMO:.cmo=.cmx) -COQCCMO:=$(COQENVCMO) toplevel/usage.cmo scripts/coqc.cmo +COQCCMO:=$(COQENVCMO) $(REVISIONCMO) toplevel/usage.cmo scripts/coqc.cmo COQCCMX:=$(COQCCMO:.cmo=.cmx) INTERFACE:=\ @@ -440,7 +443,7 @@ COQDOCCMO:=$(CONFIG) tools/coqdoc/cdglobals.cmo tools/coqdoc/alpha.cmo \ # checker MCHECKER:=\ - config/coq_config.cmo \ + config/coq_config.cmo $(REVISIONCMO) \ lib/pp_control.cmo lib/pp.cmo lib/compat.cmo \ lib/flags.cmo lib/util.cmo lib/option.cmo lib/hashcons.cmo \ lib/system.cmo lib/envars.cmo \ |