Commits

Oliver Gu committed 0f40394

Updated _oasis for optional build of examples

  • Participants
  • Parent commits 1943276

Comments (0)

Files changed (6)

 (* OASIS_START *)
-(* DO NOT EDIT (digest: 51f42b568e97b2db42745a0227011faa) *)
+(* DO NOT EDIT (digest: 77b3136ebee922dfc3bd42db8af8bc38) *)
 This is the INSTALL file for the ibx distribution.
 
 This package uses OASIS to generate its build system. See section OASIS for
 * async for library ibx
 * sexplib for library ibx
 * fieldslib for library ibx
-* core_extended for executable test_runner
+* core_extended for executable buy-market-order, executable demultiplex,
+  executable interactive-quotes, executable plot-hist-bars,
+  executable quote-table, executable test_runner
 
 Installing
 ==========
 ### Examples
 
 To get started please refer to the `examples`-directory of this distribution.
+You can build the examples by typing
+
+    $ ./configure --enable-examples
+    $ make
+
+in the top-level directory of this distribution.
 
 
 Contact Information
 BuildTools:      ocamlbuild, ocamldoc
 PostDistcleanCommand: $rmdir ibx.log
 
+# Flags
+
+Flag examples
+  Description:   Build all examples
+  Default:       false
+
+# Library
+
 Library ibx
   Path:          lib
   FindlibName:   ibx
   Command:          $test_runner
   WorkingDirectory: lib_test
 
+# Examples
+
+Executable "buy-market-order"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           buy_market_order.ml
+  Install:          false
+  BuildDepends:     ibx, core_extended
+  CompiledObject:   best
+
+Executable "demultiplex"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           demultiplex.ml
+  Install:          false
+  BuildDepends:     ibx, core_extended
+  CompiledObject:   best
+
+Executable "interactive-quotes"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           interactive_quotes.ml
+  Install:          false
+  BuildDepends:     ibx, core_extended
+  CompiledObject:   best
+
+Executable "last-price"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           last_price.ml
+  Install:          false
+  BuildDepends:     ibx
+  CompiledObject:   best
+
+Executable "plot-hist-bars"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           plot_hist_bars.ml
+  Install:          false
+  BuildDepends:     ibx, core_extended
+  CompiledObject:   best
+
+Executable "plot-taq-data"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           plot_taq_data.ml
+  Install:          false
+  BuildDepends:     ibx
+  CompiledObject:   best
+
+Executable "print-market-depth"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           print_market_depth.ml
+  Install:          false
+  BuildDepends:     ibx
+  CompiledObject:   best
+
+Executable "print-option-data"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           print_option_data.ml
+  Install:          false
+  BuildDepends:     ibx
+  CompiledObject:   best
+
+Executable "quote-table"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           quote_table.ml
+  Install:          false
+  BuildDepends:     ibx, core_extended
+  CompiledObject:   best
+
+Executable "server-time"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           server_time.ml
+  Install:          false
+  BuildDepends:     ibx
+  CompiledObject:   best
+
+Executable "show-contract-specs"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           show_contract_specs.ml
+  Install:          false
+  BuildDepends:     ibx
+  CompiledObject:   best
+
+Executable "submit-orders"
+  Build$:           flag(examples)
+  Path:             examples
+  MainIs:           submit_orders.ml
+  Install:          false
+  BuildDepends:     ibx
+  CompiledObject:   best
+
 # Documentation
 
 Document API
 # OASIS_START
-# DO NOT EDIT (digest: b636576f42385b72d46109940121f93c)
+# DO NOT EDIT (digest: 56eadf9b1d3af59ebeccbc8273b6f460)
 # Ignore VCS directories, you can use the same kind of rule outside 
 # OASIS_START/STOP if you want to exclude directories that contains 
 # useless stuff for the build process
 <lib_test/*.ml{,i}>: pkg_fieldslib.syntax
 <lib_test/*.ml{,i}>: pkg_threads
 <lib_test/*.ml{,i}>: pkg_str
+# Executable buy-market-order
+<examples/buy_market_order.{native,byte}>: use_ibx
+<examples/buy_market_order.{native,byte}>: pkg_core_extended
+<examples/buy_market_order.{native,byte}>: pkg_core
+<examples/buy_market_order.{native,byte}>: pkg_async
+<examples/buy_market_order.{native,byte}>: pkg_sexplib.syntax
+<examples/buy_market_order.{native,byte}>: pkg_fieldslib.syntax
+<examples/buy_market_order.{native,byte}>: pkg_threads
+<examples/buy_market_order.{native,byte}>: pkg_str
+# Executable demultiplex
+<examples/demultiplex.{native,byte}>: use_ibx
+<examples/demultiplex.{native,byte}>: pkg_core_extended
+<examples/demultiplex.{native,byte}>: pkg_core
+<examples/demultiplex.{native,byte}>: pkg_async
+<examples/demultiplex.{native,byte}>: pkg_sexplib.syntax
+<examples/demultiplex.{native,byte}>: pkg_fieldslib.syntax
+<examples/demultiplex.{native,byte}>: pkg_threads
+<examples/demultiplex.{native,byte}>: pkg_str
+# Executable interactive-quotes
+<examples/interactive_quotes.{native,byte}>: use_ibx
+<examples/interactive_quotes.{native,byte}>: pkg_core_extended
+<examples/interactive_quotes.{native,byte}>: pkg_core
+<examples/interactive_quotes.{native,byte}>: pkg_async
+<examples/interactive_quotes.{native,byte}>: pkg_sexplib.syntax
+<examples/interactive_quotes.{native,byte}>: pkg_fieldslib.syntax
+<examples/interactive_quotes.{native,byte}>: pkg_threads
+<examples/interactive_quotes.{native,byte}>: pkg_str
+# Executable last-price
+<examples/last_price.{native,byte}>: use_ibx
+<examples/last_price.{native,byte}>: pkg_core
+<examples/last_price.{native,byte}>: pkg_async
+<examples/last_price.{native,byte}>: pkg_sexplib.syntax
+<examples/last_price.{native,byte}>: pkg_fieldslib.syntax
+<examples/last_price.{native,byte}>: pkg_threads
+<examples/last_price.{native,byte}>: pkg_str
+# Executable plot-hist-bars
+<examples/plot_hist_bars.{native,byte}>: use_ibx
+<examples/plot_hist_bars.{native,byte}>: pkg_core_extended
+<examples/plot_hist_bars.{native,byte}>: pkg_core
+<examples/plot_hist_bars.{native,byte}>: pkg_async
+<examples/plot_hist_bars.{native,byte}>: pkg_sexplib.syntax
+<examples/plot_hist_bars.{native,byte}>: pkg_fieldslib.syntax
+<examples/plot_hist_bars.{native,byte}>: pkg_threads
+<examples/plot_hist_bars.{native,byte}>: pkg_str
+# Executable plot-taq-data
+<examples/plot_taq_data.{native,byte}>: use_ibx
+<examples/plot_taq_data.{native,byte}>: pkg_core
+<examples/plot_taq_data.{native,byte}>: pkg_async
+<examples/plot_taq_data.{native,byte}>: pkg_sexplib.syntax
+<examples/plot_taq_data.{native,byte}>: pkg_fieldslib.syntax
+<examples/plot_taq_data.{native,byte}>: pkg_threads
+<examples/plot_taq_data.{native,byte}>: pkg_str
+# Executable print-market-depth
+<examples/print_market_depth.{native,byte}>: use_ibx
+<examples/print_market_depth.{native,byte}>: pkg_core
+<examples/print_market_depth.{native,byte}>: pkg_async
+<examples/print_market_depth.{native,byte}>: pkg_sexplib.syntax
+<examples/print_market_depth.{native,byte}>: pkg_fieldslib.syntax
+<examples/print_market_depth.{native,byte}>: pkg_threads
+<examples/print_market_depth.{native,byte}>: pkg_str
+# Executable print-option-data
+<examples/print_option_data.{native,byte}>: use_ibx
+<examples/print_option_data.{native,byte}>: pkg_core
+<examples/print_option_data.{native,byte}>: pkg_async
+<examples/print_option_data.{native,byte}>: pkg_sexplib.syntax
+<examples/print_option_data.{native,byte}>: pkg_fieldslib.syntax
+<examples/print_option_data.{native,byte}>: pkg_threads
+<examples/print_option_data.{native,byte}>: pkg_str
+# Executable quote-table
+<examples/quote_table.{native,byte}>: use_ibx
+<examples/quote_table.{native,byte}>: pkg_core_extended
+<examples/quote_table.{native,byte}>: pkg_core
+<examples/quote_table.{native,byte}>: pkg_async
+<examples/quote_table.{native,byte}>: pkg_sexplib.syntax
+<examples/quote_table.{native,byte}>: pkg_fieldslib.syntax
+<examples/quote_table.{native,byte}>: pkg_threads
+<examples/quote_table.{native,byte}>: pkg_str
+<examples/*.ml{,i}>: pkg_core_extended
+# Executable server-time
+<examples/server_time.{native,byte}>: use_ibx
+<examples/server_time.{native,byte}>: pkg_core
+<examples/server_time.{native,byte}>: pkg_async
+<examples/server_time.{native,byte}>: pkg_sexplib.syntax
+<examples/server_time.{native,byte}>: pkg_fieldslib.syntax
+<examples/server_time.{native,byte}>: pkg_threads
+<examples/server_time.{native,byte}>: pkg_str
+# Executable show-contract-specs
+<examples/show_contract_specs.{native,byte}>: use_ibx
+<examples/show_contract_specs.{native,byte}>: pkg_core
+<examples/show_contract_specs.{native,byte}>: pkg_async
+<examples/show_contract_specs.{native,byte}>: pkg_sexplib.syntax
+<examples/show_contract_specs.{native,byte}>: pkg_fieldslib.syntax
+<examples/show_contract_specs.{native,byte}>: pkg_threads
+<examples/show_contract_specs.{native,byte}>: pkg_str
+# Executable submit-orders
+<examples/submit_orders.{native,byte}>: use_ibx
+<examples/submit_orders.{native,byte}>: pkg_core
+<examples/submit_orders.{native,byte}>: pkg_async
+<examples/submit_orders.{native,byte}>: pkg_sexplib.syntax
+<examples/submit_orders.{native,byte}>: pkg_fieldslib.syntax
+<examples/submit_orders.{native,byte}>: pkg_threads
+<examples/submit_orders.{native,byte}>: pkg_str
+<examples/*.ml{,i}>: use_ibx
+<examples/*.ml{,i}>: pkg_core
+<examples/*.ml{,i}>: pkg_async
+<examples/*.ml{,i}>: pkg_sexplib.syntax
+<examples/*.ml{,i}>: pkg_fieldslib.syntax
+<examples/*.ml{,i}>: pkg_threads
+<examples/*.ml{,i}>: pkg_str
 # OASIS_STOP
 <lib/*.ml{,i}>: syntax_camlp4o
 <lib_test/*.ml{,i}>: syntax_camlp4o
 (* OASIS_START *)
-(* DO NOT EDIT (digest: c2d28281ae674d54e9f346c15bad2a2f) *)
+(* DO NOT EDIT (digest: 52cf91d2948c9875392841d176f3c73b) *)
 module OASISGettext = struct
 (* # 21 "/home/ogu/.opam/4.00.1+short-types/build/oasis.0.3.0/src/oasis/OASISGettext.ml" *)
 
      MyOCamlbuildBase.lib_ocaml = [("ibx", ["lib"])];
      lib_c = [];
      flags = [];
-     includes = [("lib_test", ["lib"])];
+     includes = [("lib_test", ["lib"]); ("examples", ["lib"])];
      }
   ;;
 
 (* setup.ml generated for the first time by OASIS v0.2.0 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 754a04f21f2b182b69cd6db8415b0728) *)
+(* DO NOT EDIT (digest: f51df485732d11f6b94769a27a433491) *)
 (*
    Regenerated by OASIS v0.3.0
    Visit http://oasis.forge.ocamlcore.org for more information and
           files_ab = [];
           sections =
             [
+               Flag
+                 ({
+                     cs_name = "examples";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      flag_description = Some "Build all examples";
+                      flag_default = [(OASISExpr.EBool true, false)];
+                      });
                Library
                  ({
                      cs_name = "ibx";
                       test_tools =
                         [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
                       });
+               Executable
+                 ({
+                     cs_name = "buy-market-order";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends =
+                        [
+                           InternalLibrary "ibx";
+                           FindlibPackage ("core_extended", None)
+                        ];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {
+                      exec_custom = false;
+                      exec_main_is = "buy_market_order.ml";
+                      });
+               Executable
+                 ({
+                     cs_name = "demultiplex";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends =
+                        [
+                           InternalLibrary "ibx";
+                           FindlibPackage ("core_extended", None)
+                        ];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {exec_custom = false; exec_main_is = "demultiplex.ml"; });
+               Executable
+                 ({
+                     cs_name = "interactive-quotes";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends =
+                        [
+                           InternalLibrary "ibx";
+                           FindlibPackage ("core_extended", None)
+                        ];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {
+                      exec_custom = false;
+                      exec_main_is = "interactive_quotes.ml";
+                      });
+               Executable
+                 ({
+                     cs_name = "last-price";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends = [InternalLibrary "ibx"];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {exec_custom = false; exec_main_is = "last_price.ml"; });
+               Executable
+                 ({
+                     cs_name = "plot-hist-bars";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends =
+                        [
+                           InternalLibrary "ibx";
+                           FindlibPackage ("core_extended", None)
+                        ];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {exec_custom = false; exec_main_is = "plot_hist_bars.ml"; 
+                   });
+               Executable
+                 ({
+                     cs_name = "plot-taq-data";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends = [InternalLibrary "ibx"];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {exec_custom = false; exec_main_is = "plot_taq_data.ml"; });
+               Executable
+                 ({
+                     cs_name = "print-market-depth";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends = [InternalLibrary "ibx"];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {
+                      exec_custom = false;
+                      exec_main_is = "print_market_depth.ml";
+                      });
+               Executable
+                 ({
+                     cs_name = "print-option-data";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends = [InternalLibrary "ibx"];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {
+                      exec_custom = false;
+                      exec_main_is = "print_option_data.ml";
+                      });
+               Executable
+                 ({
+                     cs_name = "quote-table";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends =
+                        [
+                           InternalLibrary "ibx";
+                           FindlibPackage ("core_extended", None)
+                        ];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {exec_custom = false; exec_main_is = "quote_table.ml"; });
+               Executable
+                 ({
+                     cs_name = "server-time";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends = [InternalLibrary "ibx"];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {exec_custom = false; exec_main_is = "server_time.ml"; });
+               Executable
+                 ({
+                     cs_name = "show-contract-specs";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends = [InternalLibrary "ibx"];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {
+                      exec_custom = false;
+                      exec_main_is = "show_contract_specs.ml";
+                      });
+               Executable
+                 ({
+                     cs_name = "submit-orders";
+                     cs_data = PropList.Data.create ();
+                     cs_plugin_data = [];
+                     },
+                   {
+                      bs_build =
+                        [
+                           (OASISExpr.EBool true, false);
+                           (OASISExpr.EFlag "examples", true)
+                        ];
+                      bs_install = [(OASISExpr.EBool true, false)];
+                      bs_path = "examples";
+                      bs_compiled_object = Best;
+                      bs_build_depends = [InternalLibrary "ibx"];
+                      bs_build_tools =
+                        [ExternalTool "ocamlbuild"; ExternalTool "ocamldoc"];
+                      bs_c_sources = [];
+                      bs_data_files = [];
+                      bs_ccopt = [(OASISExpr.EBool true, [])];
+                      bs_cclib = [(OASISExpr.EBool true, [])];
+                      bs_dlllib = [(OASISExpr.EBool true, [])];
+                      bs_dllpath = [(OASISExpr.EBool true, [])];
+                      bs_byteopt = [(OASISExpr.EBool true, [])];
+                      bs_nativeopt = [(OASISExpr.EBool true, [])];
+                      },
+                   {exec_custom = false; exec_main_is = "submit_orders.ml"; });
                Doc
                  ({
                      cs_name = "API";
           };
      oasis_fn = Some "_oasis";
      oasis_version = "0.3.0";
-     oasis_digest = Some ":ie\001_\249J?~\194iK\226R\014\169";
+     oasis_digest = Some "\136[\001\195P\218\147G\156[\011\2200\151\223\136";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false;
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 5987 "setup.ml"
+# 6369 "setup.ml"
 (* OASIS_STOP *)
 let () = setup ();;