From d913e1be8978c916739e1bf1a96aa645a8477b6c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Wed, 15 Sep 2010 09:43:28 +0200
Subject: [PATCH] Move options doc to the correct file

---
 compiler/utilities/global/compiler_options.ml | 22 +++++++++++++++++++
 compiler/utilities/global/compiler_utils.ml   | 22 -------------------
 2 files changed, 22 insertions(+), 22 deletions(-)

diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml
index 2f9b535..e2dbcc2 100644
--- a/compiler/utilities/global/compiler_options.ml
+++ b/compiler/utilities/global/compiler_options.ml
@@ -81,3 +81,25 @@ let add_inlined_node s = inline := s :: !inline
 let flatten = ref false
 
 let nodes_to_inline : string list ref = ref []
+
+
+let doc_verbose = "\t\t\tSet verbose mode"
+and doc_version = "\t\tThe version of the compiler"
+and doc_print_types = "\t\t\tPrint types"
+and doc_include = "<dir>\t\tAdd <dir> to the list of include directories"
+and doc_stdlib = "<dir>\t\tDirectory for the standard library"
+and doc_object_file = "\t\tOnly generate a .epo object file"
+and doc_sim = "<node>\t\tCreate simulation for node <node>"
+and doc_locate_stdlib = "\t\tLocate standard libray"
+and doc_no_pervasives = "\tDo not load the pervasives module"
+and doc_flatten = "\t\tInline everything."
+and doc_target =
+  "<lang>\tGenerate code in language <lang>\n\t\t\t(with <lang>=c,"
+  ^ " java or z3z)"
+and doc_full_type_info = "\t\t\tPrint full type information"
+and doc_target_path =
+  "<path>\tGenerated files will be placed in <path>\n\t\t\t(the directory is"
+  ^ " cleaned)"
+and doc_noinit = "\t\tDisable initialization analysis"
+and doc_assert = "<node>\t\tInsert run-time assertions for boolean node <node>"
+and doc_inline = "<node>\t\tInline node <node>"
diff --git a/compiler/utilities/global/compiler_utils.ml b/compiler/utilities/global/compiler_utils.ml
index 352fd9b..fc0f567 100644
--- a/compiler/utilities/global/compiler_utils.ml
+++ b/compiler/utilities/global/compiler_utils.ml
@@ -109,27 +109,5 @@ let print_header_info ff cbeg cend =
     Sys.argv
     cend
 
-
-let doc_verbose = "\t\t\tSet verbose mode"
-and doc_version = "\t\tThe version of the compiler"
-and doc_print_types = "\t\t\tPrint types"
-and doc_include = "<dir>\t\tAdd <dir> to the list of include directories"
-and doc_stdlib = "<dir>\t\tDirectory for the standard library"
-and doc_object_file = "\t\tOnly generate a .epo object file"
-and doc_sim = "<node>\t\tCreate simulation for node <node>"
-and doc_locate_stdlib = "\t\tLocate standard libray"
-and doc_no_pervasives = "\tDo not load the pervasives module"
-and doc_flatten = "\t\tInline everything."
-and doc_target =
-  "<lang>\tGenerate code in language <lang>\n\t\t\t(with <lang>=c,"
-  ^ " java or z3z)"
-and doc_full_type_info = "\t\t\tPrint full type information"
-and doc_target_path =
-  "<path>\tGenerated files will be placed in <path>\n\t\t\t(the directory is"
-  ^ " cleaned)"
-and doc_noinit = "\t\tDisable initialization analysis"
-and doc_assert = "<node>\t\tInsert run-time assertions for boolean node <node>"
-and doc_inline = "<node>\t\tInline node <node>"
-
 let errmsg = "Options are:"