diff options
| author | letouzey | 2010-02-12 18:20:18 +0000 |
|---|---|---|
| committer | letouzey | 2010-02-12 18:20:18 +0000 |
| commit | b66f8bf69668b503eba9b815a588b722f8aeadc5 (patch) | |
| tree | 4a4495ced9e3f5d257e4300c862f9dfee99968fb | |
| parent | 6ba69eb95dfbf199d4929d6ee3054e26102b1f95 (diff) | |
Mycamlbuild: change name of autogenerated file : NMake -> Nmake_gen
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12759 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | myocamlbuild.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/myocamlbuild.ml b/myocamlbuild.ml index 18e73cc2ed..825b8b3b52 100644 --- a/myocamlbuild.ml +++ b/myocamlbuild.ml @@ -117,7 +117,7 @@ let initialcoq = "states/initial.coq" let init_vo = ["theories/Init/Prelude.vo";"theories/Init/Logic_Type.vo"] let makeinitial = "states/MakeInitial.v" -let nmake = "theories/Numbers/Natural/BigN/NMake.v" +let nmake = "theories/Numbers/Natural/BigN/NMake_gen.v" let nmakegen = "theories/Numbers/Natural/BigN/NMake_gen.ml" let adapt_name (pref,oldsuf,newsuf) f = @@ -138,7 +138,7 @@ let pluginsv = get_vo_itargets "plugins/pluginsvo.itarget" let pluginsmllib = get_names (".cma",".mllib") "plugins/pluginsbyte.itarget" (** for correct execution of coqdep_boot, source files should have - been imported in _build (and NMake.v should have been created). *) + been imported in _build (and NMake_gen.v should have been created). *) let coqdepdeps = theoriesv @ pluginsv @ pluginsmllib |