From b66f8bf69668b503eba9b815a588b722f8aeadc5 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 12 Feb 2010 18:20:18 +0000
Subject: 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
---
 myocamlbuild.ml | 4 ++--
 1 file 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
 
-- 
cgit v1.2.3