Skip to content
Browse files

Update HTML doc

  • Loading branch information...
1 parent dd8ffcf commit a1beb23ced68b0e0c7a29b5068a24c8a032f622a @samoht samoht committed Aug 20, 2012
Showing with 1,417 additions and 400 deletions.
  1. +2 −2 doc/html/File.Comp.html
  2. +4 −4 doc/html/File.Config.html
  3. +4 −7 doc/html/File.Dot_config.Section.html
  4. +57 −0 doc/html/File.Filenames.html
  5. +2 −1 doc/html/File.IO_FILE.html
  6. +3 −0 doc/html/File.OPAM.html
  7. +3 −1 doc/html/File.Subst.html
  8. +37 −0 doc/html/File.URL.html
  9. +59 −0 doc/html/File.Urls_txt.html
  10. +14 −6 doc/html/File.html
  11. +1 −1 doc/html/File_format.html
  12. +6 −7 doc/html/Path.G.html
  13. +37 −40 doc/html/Path.R.html
  14. +61 −0 doc/html/Repositories.BACKEND.html
  15. +24 −6 doc/html/Repositories.html
  16. +18 −11 doc/html/Run.html
  17. +9 −9 doc/html/Types.Abstract.Map.html
  18. +11 −11 doc/html/Types.Abstract.Set.html
  19. +8 −8 doc/html/Types.Abstract.html
  20. +9 −7 doc/html/Types.Alias.html
  21. +6 −6 doc/html/Types.Basename.html
  22. +20 −2 doc/html/Types.Dirname.html
  23. +29 −1 doc/html/Types.Filename.html
  24. +1 −1 doc/html/Types.Full_section.html
  25. +1 −1 doc/html/Types.Full_variable.html
  26. +6 −6 doc/html/Types.N.html
  27. +1 −1 doc/html/Types.NV.html
  28. +1 −1 doc/html/Types.OCaml_V.html
  29. +6 −6 doc/html/Types.OPAM_V.html
  30. +6 −6 doc/html/Types.Raw.html
  31. +46 −0 doc/html/Types.Remote_file.html
  32. +5 −2 doc/html/Types.Repository.html
  33. +1 −1 doc/html/Types.Section.html
  34. +6 −6 doc/html/Types.V.html
  35. +1 −1 doc/html/Types.Variable.html
  36. +55 −8 doc/html/Types.html
  37. +1 −2 doc/html/index.html
  38. +11 −2 doc/html/index_module_types.html
  39. +20 −6 doc/html/index_modules.html
  40. +17 −2 doc/html/index_types.html
  41. +277 −114 doc/html/index_values.html
  42. +2 −2 doc/html/type_File.Comp.html
  43. +2 −2 doc/html/type_File.Config.html
  44. +13 −2 doc/html/type_File.Dot_config.Section.html
  45. +31 −0 doc/html/type_File.Filenames.html
  46. +15 −0 doc/html/type_File.OPAM.html
  47. +33 −0 doc/html/type_File.URL.html
  48. +31 −0 doc/html/type_File.Urls_txt.html
  49. +51 −4 doc/html/type_File.html
  50. +1 −1 doc/html/type_File_format.html
  51. +5 −5 doc/html/type_Path.G.html
  52. +15 −14 doc/html/type_Path.R.html
  53. +20 −19 doc/html/type_Path.html
  54. +34 −0 doc/html/type_Repositories.BACKEND.html
  55. +18 −2 doc/html/type_Repositories.html
  56. +6 −4 doc/html/type_Run.html
  57. +3 −3 doc/html/type_Types.Abstract.Map.html
  58. +5 −5 doc/html/type_Types.Abstract.Set.html
  59. +9 −9 doc/html/type_Types.Abstract.html
  60. +1 −1 doc/html/type_Types.Alias.html
  61. +1 −1 doc/html/type_Types.Basename.html
  62. +7 −1 doc/html/type_Types.Dirname.html
  63. +9 −0 doc/html/type_Types.Filename.html
  64. +1 −1 doc/html/type_Types.N.html
  65. +1 −1 doc/html/type_Types.OPAM_V.html
  66. +1 −1 doc/html/type_Types.Raw.html
  67. +96 −0 doc/html/type_Types.Remote_file.html
  68. +2 −1 doc/html/type_Types.Repository.html
  69. +1 −1 doc/html/type_Types.V.html
  70. +112 −17 doc/html/type_Types.html
  71. +2 −4 src/file.mli
  72. +2 −2 src/path.mli
  73. +1 −1 src/repositories.mli
View
4 doc/html/File.Comp.html
@@ -43,10 +43,10 @@
<pre><span id="VALname"><span class="keyword">val</span> name</span> : <code class="type">t -> Types.OCaml_V.t</code></pre><div class="info">
Return the compiler name<br>
</div>
-<pre><span id="VALsrc"><span class="keyword">val</span> src</span> : <code class="type">t -> string</code></pre><div class="info">
+<pre><span id="VALsrc"><span class="keyword">val</span> src</span> : <code class="type">t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
Return the url of the compiler<br>
</div>
-<pre><span id="VALpatches"><span class="keyword">val</span> patches</span> : <code class="type">t -> string list</code></pre><div class="info">
+<pre><span id="VALpatches"><span class="keyword">val</span> patches</span> : <code class="type">t -> <a href="Types.html#TYPEfilename">Types.filename</a> list</code></pre><div class="info">
Return the list of patches to apply<br>
</div>
<pre><span id="VALconfigure"><span class="keyword">val</span> configure</span> : <code class="type">t -> string list</code></pre><div class="info">
View
8 doc/html/File.Config.html
@@ -41,8 +41,8 @@
<pre><span id="VALwith_repositories"><span class="keyword">val</span> with_repositories</span> : <code class="type">t -> <a href="Types.html#TYPErepository">Types.repository</a> list -> t</code></pre><div class="info">
Repository updates<br>
</div>
-<pre><span id="VALwith_last_ocaml_in_path"><span class="keyword">val</span> with_last_ocaml_in_path</span> : <code class="type">t -> Types.OCaml_V.t option -> t</code></pre><div class="info">
-OCaml version updates<br>
+<pre><span id="VALwith_system_ocaml_version"><span class="keyword">val</span> with_system_ocaml_version</span> : <code class="type">t -> Types.OCaml_V.t option -> t</code></pre><div class="info">
+system-wide's OCaml version updates<br>
</div>
<pre><span id="VALopam_version"><span class="keyword">val</span> opam_version</span> : <code class="type">t -> Types.OPAM_V.t</code></pre><div class="info">
Return the OPAM version<br>
@@ -53,8 +53,8 @@
<pre><span id="VALocaml_version"><span class="keyword">val</span> ocaml_version</span> : <code class="type">t -> Types.Alias.t</code></pre><div class="info">
Return the OCaml alias<br>
</div>
-<pre><span id="VALlast_ocaml_in_path"><span class="keyword">val</span> last_ocaml_in_path</span> : <code class="type">t -> Types.OCaml_V.t option</code></pre><div class="info">
-Return the OCaml version<br>
+<pre><span id="VALsystem_ocaml_version"><span class="keyword">val</span> system_ocaml_version</span> : <code class="type">t -> Types.OCaml_V.t option</code></pre><div class="info">
+Return the system's OCaml version<br>
</div>
<pre><span id="VALcores"><span class="keyword">val</span> cores</span> : <code class="type">t -> int</code></pre><div class="info">
Return the number of cores<br>
View
11 doc/html/File.Dot_config.Section.html
@@ -4,7 +4,6 @@
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
-<link rel="next" href="File.Dot_config.Library.html">
<link rel="Up" href="File.Dot_config.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
@@ -21,16 +20,14 @@
<link title="Repositories" rel="Chapter" href="Repositories.html">
<link title="Run" rel="Chapter" href="Run.html">
<link title="Solver" rel="Chapter" href="Solver.html">
-<link title="Types" rel="Chapter" href="Types.html"><title>File.Dot_config.Section</title>
+<link title="Types" rel="Chapter" href="Types.html"><title>File.Dot_config.SECTION</title>
</head>
<body>
<div class="navbar">&nbsp;<a href="File.Dot_config.html">Up</a>
-&nbsp;<a href="File.Dot_config.Library.html">Next</a>
-</div>
-<center><h1>Module <a href="type_File.Dot_config.Section.html">File.Dot_config.Section</a></h1></center>
+&nbsp;</div>
+<center><h1>Module type <a href="type_File.Dot_config.SECTION.html">File.Dot_config.SECTION</a></h1></center>
<br>
-<pre><span class="keyword">module</span> Section: <code class="type"><a href="File.Dot_config.SECTION.html">SECTION</a></code><code class="type"> </code></pre>All library and syntax sections<br>
-<hr width="100%">
+<pre><span class="keyword">module type</span> SECTION = <code class="code">sig</code> <a href="File.Dot_config.SECTION.html">..</a> <code class="code">end</code></pre><hr width="100%">
<pre><span id="VALavailable"><span class="keyword">val</span> available</span> : <code class="type">t -> <a href="Types.html#TYPEsection">Types.section</a> list</code></pre><div class="info">
List the available sections<br>
</div>
View
57 doc/html/File.Filenames.html
@@ -0,0 +1,57 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+<link rel="stylesheet" href="style.css" type="text/css">
+<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
+<link rel="Start" href="index.html">
+<link rel="previous" href="File.Urls_txt.html">
+<link rel="Up" href="File.html">
+<link title="Index of types" rel=Appendix href="index_types.html">
+<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
+<link title="Index of values" rel=Appendix href="index_values.html">
+<link title="Index of modules" rel=Appendix href="index_modules.html">
+<link title="Index of module types" rel=Appendix href="index_module_types.html">
+<link title="Client" rel="Chapter" href="Client.html">
+<link title="File" rel="Chapter" href="File.html">
+<link title="File_format" rel="Chapter" href="File_format.html">
+<link title="Parallel" rel="Chapter" href="Parallel.html">
+<link title="Parser" rel="Chapter" href="Parser.html">
+<link title="Path" rel="Chapter" href="Path.html">
+<link title="Process" rel="Chapter" href="Process.html">
+<link title="Repositories" rel="Chapter" href="Repositories.html">
+<link title="Run" rel="Chapter" href="Run.html">
+<link title="Solver" rel="Chapter" href="Solver.html">
+<link title="Types" rel="Chapter" href="Types.html"><title>File.Filenames</title>
+</head>
+<body>
+<div class="navbar"><a href="File.Urls_txt.html">Previous</a>
+&nbsp;<a href="File.html">Up</a>
+&nbsp;</div>
+<center><h1>Module <a href="type_File.Filenames.html">File.Filenames</a></h1></center>
+<br>
+<pre><span class="keyword">module</span> Filenames: <code class="type"><a href="File.IO_FILE.html">IO_FILE</a></code><code class="type"> with type t = Filename.Set.t</code></pre>List of filenames<br>
+<hr width="100%">
+<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
+<div class="info">
+File contents<br>
+</div>
+
+<pre><span id="VALempty"><span class="keyword">val</span> empty</span> : <code class="type"><a href="File.IO_FILE.html#TYPEt">t</a></code></pre><div class="info">
+Empty file<br>
+</div>
+<pre><span id="VALwrite"><span class="keyword">val</span> write</span> : <code class="type"><a href="Types.html#TYPEfilename">Types.filename</a> -> <a href="File.IO_FILE.html#TYPEt">t</a> -> unit</code></pre><div class="info">
+Write some contents to a file<br>
+</div>
+<pre><span id="VALread"><span class="keyword">val</span> read</span> : <code class="type"><a href="Types.html#TYPEfilename">Types.filename</a> -> <a href="File.IO_FILE.html#TYPEt">t</a></code></pre><div class="info">
+Read file contents. Raise an error if the file does not exist.<br>
+</div>
+<pre><span id="VALsafe_read"><span class="keyword">val</span> safe_read</span> : <code class="type"><a href="Types.html#TYPEfilename">Types.filename</a> -> <a href="File.IO_FILE.html#TYPEt">t</a></code></pre><div class="info">
+Read file contents. Return <code class="code">empty</code> if the file does not exist.<br>
+</div>
+<pre><span id="VALto_raw"><span class="keyword">val</span> to_raw</span> : <code class="type"><a href="File.IO_FILE.html#TYPEt">t</a> -> <a href="Types.html#TYPEraw">Types.raw</a></code></pre><div class="info">
+Return the file contents<br>
+</div>
+<pre><span id="VALof_raw"><span class="keyword">val</span> of_raw</span> : <code class="type"><a href="Types.html#TYPEraw">Types.raw</a> -> <a href="File.IO_FILE.html#TYPEt">t</a></code></pre><div class="info">
+Convert a raw string into a file<br>
+</div>
+</body></html>
View
3 doc/html/File.IO_FILE.html
@@ -27,7 +27,8 @@
&nbsp;</div>
<center><h1>Module type <a href="type_File.IO_FILE.html">File.IO_FILE</a></h1></center>
<br>
-<pre><span class="keyword">module type</span> IO_FILE = <code class="code">sig</code> <a href="File.IO_FILE.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span class="keyword">module type</span> IO_FILE = <code class="code">sig</code> <a href="File.IO_FILE.html">..</a> <code class="code">end</code></pre>Functions to read and write configuration files in a typed way.<br>
+<hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info">
File contents<br>
View
3 doc/html/File.OPAM.html
@@ -37,6 +37,9 @@
<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type"><a href="Types.html#TYPEnv">Types.nv</a> -> t</code></pre><div class="info">
Create an opam file<br>
</div>
+<pre><span id="VALmake"><span class="keyword">val</span> make</span> : <code class="type">name:<a href="Types.html#TYPEname">Types.name</a> -><br> version:<a href="Types.html#TYPEversion">Types.version</a> -><br> maintainer:string -><br> substs:<a href="Types.html#TYPEbasename">Types.basename</a> list -><br> build_env:(string * string * string) list -><br> build:string list list -><br> remove:string list list -><br> depends:<a href="Types.html#TYPEcnf_formula">Types.cnf_formula</a> -><br> depopts:<a href="Types.html#TYPEcnf_formula">Types.cnf_formula</a> -><br> conflicts:<a href="Types.html#TYPEand_formula">Types.and_formula</a> -><br> libraries:<a href="Types.html#TYPEsection">Types.section</a> list -><br> syntax:<a href="Types.html#TYPEsection">Types.section</a> list -><br> others:(string * <a href="File_format.html#TYPEvalue">File_format.value</a>) list -><br> ocaml_version:<a href="Types.html#TYPEocaml_constraint">Types.ocaml_constraint</a> option -> t</code></pre><div class="info">
+Full constructor<br>
+</div>
<pre><span id="VALname"><span class="keyword">val</span> name</span> : <code class="type">t -> <a href="Types.html#TYPEname">Types.name</a></code></pre><div class="info">
Package name<br>
</div>
View
4 doc/html/File.Subst.html
@@ -5,6 +5,7 @@
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="previous" href="File.Pinned.html">
+<link rel="next" href="File.URL.html">
<link rel="Up" href="File.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
@@ -26,7 +27,8 @@
<body>
<div class="navbar"><a href="File.Pinned.html">Previous</a>
&nbsp;<a href="File.html">Up</a>
-&nbsp;</div>
+&nbsp;<a href="File.URL.html">Next</a>
+</div>
<center><h1>Module <a href="type_File.Subst.html">File.Subst</a></h1></center>
<br>
<pre><span class="keyword">module</span> Subst: <code class="code">sig</code> <a href="File.Subst.html">..</a> <code class="code">end</code></pre>Substitution files<br>
View
37 doc/html/File.URL.html
@@ -0,0 +1,37 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+<link rel="stylesheet" href="style.css" type="text/css">
+<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
+<link rel="Start" href="index.html">
+<link rel="previous" href="File.Subst.html">
+<link rel="next" href="File.Urls_txt.html">
+<link rel="Up" href="File.html">
+<link title="Index of types" rel=Appendix href="index_types.html">
+<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
+<link title="Index of values" rel=Appendix href="index_values.html">
+<link title="Index of modules" rel=Appendix href="index_modules.html">
+<link title="Index of module types" rel=Appendix href="index_module_types.html">
+<link title="Client" rel="Chapter" href="Client.html">
+<link title="File" rel="Chapter" href="File.html">
+<link title="File_format" rel="Chapter" href="File_format.html">
+<link title="Parallel" rel="Chapter" href="Parallel.html">
+<link title="Parser" rel="Chapter" href="Parser.html">
+<link title="Path" rel="Chapter" href="Path.html">
+<link title="Process" rel="Chapter" href="Process.html">
+<link title="Repositories" rel="Chapter" href="Repositories.html">
+<link title="Run" rel="Chapter" href="Run.html">
+<link title="Solver" rel="Chapter" href="Solver.html">
+<link title="Types" rel="Chapter" href="Types.html"><title>File.URL</title>
+</head>
+<body>
+<div class="navbar"><a href="File.Subst.html">Previous</a>
+&nbsp;<a href="File.html">Up</a>
+&nbsp;<a href="File.Urls_txt.html">Next</a>
+</div>
+<center><h1>Module <a href="type_File.URL.html">File.URL</a></h1></center>
+<br>
+<pre><span class="keyword">module</span> URL: <code class="code">sig</code> <a href="File.URL.html">..</a> <code class="code">end</code></pre><span id="2_UrlsforOPAMrepositories"><h2>Urls for OPAM repositories</h2></span><br>
+<hr width="100%">
+<pre><span class="keyword">include</span> <a href="File.IO_FILE.html">File.IO_FILE</a></pre>
+<pre><span id="VALurl"><span class="keyword">val</span> url</span> : <code class="type">t -> string</code></pre><pre><span id="VALkind"><span class="keyword">val</span> kind</span> : <code class="type">t -> string option</code></pre></body></html>
View
59 doc/html/File.Urls_txt.html
@@ -0,0 +1,59 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+<link rel="stylesheet" href="style.css" type="text/css">
+<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
+<link rel="Start" href="index.html">
+<link rel="previous" href="File.URL.html">
+<link rel="next" href="File.Filenames.html">
+<link rel="Up" href="File.html">
+<link title="Index of types" rel=Appendix href="index_types.html">
+<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
+<link title="Index of values" rel=Appendix href="index_values.html">
+<link title="Index of modules" rel=Appendix href="index_modules.html">
+<link title="Index of module types" rel=Appendix href="index_module_types.html">
+<link title="Client" rel="Chapter" href="Client.html">
+<link title="File" rel="Chapter" href="File.html">
+<link title="File_format" rel="Chapter" href="File_format.html">
+<link title="Parallel" rel="Chapter" href="Parallel.html">
+<link title="Parser" rel="Chapter" href="Parser.html">
+<link title="Path" rel="Chapter" href="Path.html">
+<link title="Process" rel="Chapter" href="Process.html">
+<link title="Repositories" rel="Chapter" href="Repositories.html">
+<link title="Run" rel="Chapter" href="Run.html">
+<link title="Solver" rel="Chapter" href="Solver.html">
+<link title="Types" rel="Chapter" href="Types.html"><title>File.Urls_txt</title>
+</head>
+<body>
+<div class="navbar"><a href="File.URL.html">Previous</a>
+&nbsp;<a href="File.html">Up</a>
+&nbsp;<a href="File.Filenames.html">Next</a>
+</div>
+<center><h1>Module <a href="type_File.Urls_txt.html">File.Urls_txt</a></h1></center>
+<br>
+<pre><span class="keyword">module</span> Urls_txt: <code class="type"><a href="File.IO_FILE.html">IO_FILE</a></code><code class="type"> with type t = Remote_file.Set.t</code></pre><span id="2_urlstxtfile"><h2>urls.txt file *</h2></span><br>
+<hr width="100%">
+<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
+<div class="info">
+File contents<br>
+</div>
+
+<pre><span id="VALempty"><span class="keyword">val</span> empty</span> : <code class="type"><a href="File.IO_FILE.html#TYPEt">t</a></code></pre><div class="info">
+Empty file<br>
+</div>
+<pre><span id="VALwrite"><span class="keyword">val</span> write</span> : <code class="type"><a href="Types.html#TYPEfilename">Types.filename</a> -> <a href="File.IO_FILE.html#TYPEt">t</a> -> unit</code></pre><div class="info">
+Write some contents to a file<br>
+</div>
+<pre><span id="VALread"><span class="keyword">val</span> read</span> : <code class="type"><a href="Types.html#TYPEfilename">Types.filename</a> -> <a href="File.IO_FILE.html#TYPEt">t</a></code></pre><div class="info">
+Read file contents. Raise an error if the file does not exist.<br>
+</div>
+<pre><span id="VALsafe_read"><span class="keyword">val</span> safe_read</span> : <code class="type"><a href="Types.html#TYPEfilename">Types.filename</a> -> <a href="File.IO_FILE.html#TYPEt">t</a></code></pre><div class="info">
+Read file contents. Return <code class="code">empty</code> if the file does not exist.<br>
+</div>
+<pre><span id="VALto_raw"><span class="keyword">val</span> to_raw</span> : <code class="type"><a href="File.IO_FILE.html#TYPEt">t</a> -> <a href="Types.html#TYPEraw">Types.raw</a></code></pre><div class="info">
+Return the file contents<br>
+</div>
+<pre><span id="VALof_raw"><span class="keyword">val</span> of_raw</span> : <code class="type"><a href="Types.html#TYPEraw">Types.raw</a> -> <a href="File.IO_FILE.html#TYPEt">t</a></code></pre><div class="info">
+Convert a raw string into a file<br>
+</div>
+</body></html>
View
20 doc/html/File.html
@@ -34,13 +34,12 @@
</div>
<center><h1>Module <a href="type_File.html">File</a></h1></center>
<br>
-<pre><span class="keyword">module</span> File: <code class="code">sig</code> <a href="File.html">..</a> <code class="code">end</code></pre>Functions to file read and write configuration files in a typed
- way.<br>
+<pre><span class="keyword">module</span> File: <code class="code">sig</code> <a href="File.html">..</a> <code class="code">end</code></pre>Functions to read and write configuration files in a typed way.<br>
<hr width="100%">
-<br>
-Functions to file read and write configuration files in a typed
- way.<br>
-<pre><span class="keyword">module type</span> <a href="File.IO_FILE.html">IO_FILE</a> = <code class="code">sig</code> <a href="File.IO_FILE.html">..</a> <code class="code">end</code></pre><pre><span class="keyword">module</span> <a href="File.Config.html">Config</a>: <code class="code">sig</code> <a href="File.Config.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module type</span> <a href="File.IO_FILE.html">IO_FILE</a> = <code class="code">sig</code> <a href="File.IO_FILE.html">..</a> <code class="code">end</code></pre><div class="info">
+Functions to read and write configuration files in a typed way.
+</div>
+<pre><span class="keyword">module</span> <a href="File.Config.html">Config</a>: <code class="code">sig</code> <a href="File.Config.html">..</a> <code class="code">end</code></pre><div class="info">
Configuration file: <code class="code">$opam/config</code>
</div>
<pre><span class="keyword">module</span> <a href="File.OPAM.html">OPAM</a>: <code class="code">sig</code> <a href="File.OPAM.html">..</a> <code class="code">end</code></pre><div class="info">
@@ -91,4 +90,13 @@
<pre><span class="keyword">module</span> <a href="File.Subst.html">Subst</a>: <code class="code">sig</code> <a href="File.Subst.html">..</a> <code class="code">end</code></pre><div class="info">
Substitution files
</div>
+<pre><span class="keyword">module</span> <a href="File.URL.html">URL</a>: <code class="code">sig</code> <a href="File.URL.html">..</a> <code class="code">end</code></pre><div class="info">
+Urls for OPAM repositories
+</div>
+<pre><span class="keyword">module</span> <a href="File.Urls_txt.html">Urls_txt</a>: <code class="type"><a href="File.IO_FILE.html">IO_FILE</a></code><code class="type"> with type t = Remote_file.Set.t</code></pre><div class="info">
+urls.txt file *
+</div>
+<pre><span class="keyword">module</span> <a href="File.Filenames.html">Filenames</a>: <code class="type"><a href="File.IO_FILE.html">IO_FILE</a></code><code class="type"> with type t = Filename.Set.t</code></pre><div class="info">
+List of filenames
+</div>
</body></html>
View
2 doc/html/File_format.html
@@ -282,7 +282,7 @@
<pre><span id="VALstring_of_values"><span class="keyword">val</span> string_of_values</span> : <code class="type"><a href="File_format.html#TYPEvalue">value</a> list -> string</code></pre><div class="info">
Print a list of values<br>
</div>
-<pre><span id="VALstring_of_item"><span class="keyword">val</span> string_of_item</span> : <code class="type"><a href="File_format.html#TYPEitem">item</a> -> string</code></pre><div class="info">
+<pre><span id="VALstring_of_item"><span class="keyword">val</span> string_of_item</span> : <code class="type"><a href="File_format.html#TYPEitem">item</a> -> string option</code></pre><div class="info">
Print an item<br>
</div>
<pre><span id="VALstring_of_items"><span class="keyword">val</span> string_of_items</span> : <code class="type"><a href="File_format.html#TYPEitem">item</a> list -> string</code></pre><div class="info">
View
13 doc/html/Path.G.html
@@ -56,13 +56,13 @@
<pre><span id="VALcompiler"><span class="keyword">val</span> compiler</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> Types.OCaml_V.t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
Compiler files: <i>$opam/compilers/$OVERSION.comp</i><br>
</div>
-<pre><span id="VALcompiler_dir"><span class="keyword">val</span> compiler_dir</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+<pre><span id="VALcompilers_dir"><span class="keyword">val</span> compilers_dir</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
Compiler files: <i>$opam/compilers/</i><br>
</div>
-<pre><span id="VALcompiler_list"><span class="keyword">val</span> compiler_list</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> Types.OCaml_V.Set.t</code></pre><div class="info">
+<pre><span id="VALavailable_compilers"><span class="keyword">val</span> available_compilers</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> Types.OCaml_V.Set.t</code></pre><div class="info">
All the compiler files<br>
</div>
-<pre><span id="VALavailable"><span class="keyword">val</span> available</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> Types.NV.Set.t</code></pre><div class="info">
+<pre><span id="VALavailable_packages"><span class="keyword">val</span> available_packages</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> Types.NV.Set.t</code></pre><div class="info">
List all the available packages:
<i>$opam/opam/$NAME.$VERSION.opam</i><br>
</div>
@@ -82,14 +82,13 @@
<pre><span id="VALdescr_dir"><span class="keyword">val</span> descr_dir</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
Description files folder: <i>$opam/descr/</i><br>
</div>
-<pre><span id="VALarchive_dir"><span class="keyword">val</span> archive_dir</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+<pre><span id="VALarchives_dir"><span class="keyword">val</span> archives_dir</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
Archives files folder: <i>$opam/archives/</i><br>
</div>
<pre><span id="VALrepo_index"><span class="keyword">val</span> repo_index</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
Return the repository index: <i>$opam/repo/index</i><br>
</div>
-<pre><span id="VALfold_compiler"><span class="keyword">val</span> fold_compiler</span> : <code class="type">('a -> <a href="Path.C.html#TYPEt">Path.C.t</a> -> 'a) -> 'a -> <a href="Path.G.html#TYPEt">t</a> -> 'a</code></pre><div class="info">
-Folding on available compiler, including the one that is currently set.
- The order of folding on version is not precised.<br>
+<pre><span id="VALavailable_aliases"><span class="keyword">val</span> available_aliases</span> : <code class="type"><a href="Path.G.html#TYPEt">t</a> -> Types.Alias.Set.t</code></pre><div class="info">
+Available aliases<br>
</div>
</body></html>
View
77 doc/html/Path.R.html
@@ -36,83 +36,80 @@
<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type"><a href="Types.html#TYPErepository">Types.repository</a> -> <a href="Path.R.html#TYPEt">t</a></code></pre><div class="info">
Create a repository path<br>
</div>
-<pre><span id="VALof_path"><span class="keyword">val</span> of_path</span> : <code class="type"><a href="Types.html#TYPEdirname">Types.dirname</a> -> <a href="Path.R.html#TYPEt">t</a></code></pre><div class="info">
+<pre><span id="VALof_dirname"><span class="keyword">val</span> of_dirname</span> : <code class="type"><a href="Types.html#TYPEdirname">Types.dirname</a> -> <a href="Path.R.html#TYPEt">t</a></code></pre><div class="info">
Transform a directory name into a repository path<br>
</div>
+<pre><span id="VALcwd"><span class="keyword">val</span> cwd</span> : <code class="type">unit -> <a href="Path.R.html#TYPEt">t</a></code></pre><div class="info">
+Create a repository path with the current working directory<br>
+</div>
<pre><span id="VALroot"><span class="keyword">val</span> root</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
Return the repository folder: <i>$opam/repo/$repo</i><br>
</div>
<pre><span id="VALconfig"><span class="keyword">val</span> config</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
Return the repository config: <i>$opam/repo/$repo/config</i><br>
</div>
+<pre><span id="VALpackages_dir"><span class="keyword">val</span> packages_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+Packages folder: <i>$opam/repo/$repo/packages</i><br>
+</div>
+<pre><span id="VALpackage"><span class="keyword">val</span> package</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.t -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+Package folder: <i>$opam/repo/$repo/packages/$NAME.$VERSION</i><br>
+</div>
<pre><span id="VALopam"><span class="keyword">val</span> opam</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
Return the OPAM file for a given package:
- <i>$opam/repo/$repo/opam/$NAME.$VERSION.opam</i><br>
-</div>
-<pre><span id="VALopam_dir"><span class="keyword">val</span> opam_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
-Return the OPAM folder: <i>$opam/repo/$repo/opam/</i><br>
+ <i>$opam/repo/$repo/packages/$NAME.$VERSION/opam</i><br>
</div>
-<pre><span id="VALavailable"><span class="keyword">val</span> available</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.Set.t</code></pre><div class="info">
+<pre><span id="VALavailable_packages"><span class="keyword">val</span> available_packages</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.Set.t</code></pre><div class="info">
List all the available packages:
- <i>$opam/repo/$repo/$NAME.$VERSION.opam</i><br>
+ <i>$opam/repo/$repo/packages/$NAME.$VERSION/opam</i><br>
</div>
<pre><span id="VALavailable_versions"><span class="keyword">val</span> available_versions</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.N.t -> Types.V.Set.t</code></pre><div class="info">
List all the available versions for a given package:
- <i>$opam/repo/$repo/$name.$VERSION.opam</i><br>
+ <i>$opam/repo/$repo/packages/<code class="code">name</code>.$VERSION/opam</i><br>
</div>
<pre><span id="VALdescr"><span class="keyword">val</span> descr</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
Return the description file for a given package:
- <i>$opam/repo/$repo/descr/$NAME.VERSION</i><br>
-</div>
-<pre><span id="VALdescr_dir"><span class="keyword">val</span> descr_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
-Return the description folder<br>
+ <i>$opam/repo/$repo/packages/$NAME.VERSION/descr</i><br>
</div>
<pre><span id="VALarchive"><span class="keyword">val</span> archive</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
-Return the archive for a giben package:
+Return the archive for a given package:
<i>$opam/repo/$repo/archives/$NAME.$VERSION.tar.gz</i><br>
</div>
-<pre><span id="VALarchive_dir"><span class="keyword">val</span> archive_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+<pre><span id="VALarchives_dir"><span class="keyword">val</span> archives_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
Return the archive folder: <i>$opam/repo/$repo/archives/</i><br>
</div>
+<pre><span id="VALavailable_archives"><span class="keyword">val</span> available_archives</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.Filename.Set.t</code></pre><div class="info">
+Return the list of archive files in <i>$opam/repo/$repo/archives</i><br>
+</div>
<pre><span id="VALupdated"><span class="keyword">val</span> updated</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
Return the list of updated packages:
<i>$opam/repo/$repo/updated</i><br>
</div>
-<pre><span id="VALupload"><span class="keyword">val</span> upload</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+<pre><span id="VALupload_dir"><span class="keyword">val</span> upload_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
Return the upload folder for a given version:
<i>$opam/repo/$repo/upload/</i><br>
</div>
-<pre><span id="VALupload_opam_dir"><span class="keyword">val</span> upload_opam_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
-Return the upload folder for OPAM files:
- <i>$opam/repo/$repo/upload/opam/</i><br>
-</div>
-<pre><span id="VALupload_descr_dir"><span class="keyword">val</span> upload_descr_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
-Return the upload folder for descr files:
- <i>$opam/repo/$repo/upload/descr/</i><br>
+<pre><span id="VALcompiler"><span class="keyword">val</span> compiler</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.OCaml_V.t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
+Compiler files: <i>$opam/repo/$repo/compilers/$OVERSION.comp</i><br>
</div>
-<pre><span id="VALupload_archives_dir"><span class="keyword">val</span> upload_archives_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
-Return the upload folder for archive files:
- <i>$opam/repo/$repo/upload/archives/</i><br>
+<pre><span id="VALcompilers_dir"><span class="keyword">val</span> compilers_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+Compiler files: <i>$opam/repo/$repo/compilers/</i><br>
</div>
-<pre><span id="VALupload_opam"><span class="keyword">val</span> upload_opam</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
-Return the upload folder for OPAM files:
- <i>$opam/repo/$repo/upload/opam/$NAME.$VERSION.opam</i><br>
+<pre><span id="VALavailable_compilers"><span class="keyword">val</span> available_compilers</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.OCaml_V.Set.t</code></pre><div class="info">
+All the compiler files<br>
</div>
-<pre><span id="VALupload_descr"><span class="keyword">val</span> upload_descr</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
-Return the upload folder for descr files:
- <i>$opam/repo/$repo/upload/descr/$NAME.$VERSION</i><br>
+<pre><span id="VALurl"><span class="keyword">val</span> url</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEnv">Types.nv</a> -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
+urls <i>$opma/repo/$repo/package/$NAME.$VERSION/url</i><br>
</div>
-<pre><span id="VALupload_archives"><span class="keyword">val</span> upload_archives</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
-Return the upload folder for archive files:
- <i>$opam/repo/$repo/upload/archives/$NAME.$VERSION.tar.gz</i><br>
+<pre><span id="VALfiles"><span class="keyword">val</span> files</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEnv">Types.nv</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+files <i>$opam/repo/$repo/packages/$NAME.$VERSION/files</i><br>
</div>
-<pre><span id="VALcompiler"><span class="keyword">val</span> compiler</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.OCaml_V.t -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
-Compiler files: <i>$opam/repo/$repo/compilers/$OVERSION.comp</i><br>
+<pre><span id="VALavailable_files"><span class="keyword">val</span> available_files</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEnv">Types.nv</a> -> <a href="Types.html#TYPEfilename">Types.filename</a> list</code></pre><div class="info">
+All files in the file dir<br>
</div>
-<pre><span id="VALcompiler_dir"><span class="keyword">val</span> compiler_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
-Compiler files: <i>$opam/repo/$repo/compilers/</i><br>
+<pre><span id="VALtmp_dir"><span class="keyword">val</span> tmp_dir</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> <a href="Types.html#TYPEnv">Types.nv</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+Tempory folder <i>$opam/repo/$repo/tmp/$NAME.$VERSION/</i><br>
</div>
-<pre><span id="VALcompiler_list"><span class="keyword">val</span> compiler_list</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.OCaml_V.Set.t</code></pre><div class="info">
-All the compiler files<br>
+<pre><span id="VALavailable_tmp"><span class="keyword">val</span> available_tmp</span> : <code class="type"><a href="Path.R.html#TYPEt">t</a> -> Types.NV.Set.t</code></pre><div class="info">
+Available packages in the temp dir<br>
</div>
</body></html>
View
61 doc/html/Repositories.BACKEND.html
@@ -0,0 +1,61 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+<link rel="stylesheet" href="style.css" type="text/css">
+<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
+<link rel="Start" href="index.html">
+<link rel="Up" href="Repositories.html">
+<link title="Index of types" rel=Appendix href="index_types.html">
+<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
+<link title="Index of values" rel=Appendix href="index_values.html">
+<link title="Index of modules" rel=Appendix href="index_modules.html">
+<link title="Index of module types" rel=Appendix href="index_module_types.html">
+<link title="Client" rel="Chapter" href="Client.html">
+<link title="File" rel="Chapter" href="File.html">
+<link title="File_format" rel="Chapter" href="File_format.html">
+<link title="Parallel" rel="Chapter" href="Parallel.html">
+<link title="Parser" rel="Chapter" href="Parser.html">
+<link title="Path" rel="Chapter" href="Path.html">
+<link title="Process" rel="Chapter" href="Process.html">
+<link title="Repositories" rel="Chapter" href="Repositories.html">
+<link title="Run" rel="Chapter" href="Run.html">
+<link title="Solver" rel="Chapter" href="Solver.html">
+<link title="Types" rel="Chapter" href="Types.html"><title>Repositories.BACKEND</title>
+</head>
+<body>
+<div class="navbar">&nbsp;<a href="Repositories.html">Up</a>
+&nbsp;</div>
+<center><h1>Module type <a href="type_Repositories.BACKEND.html">Repositories.BACKEND</a></h1></center>
+<br>
+<pre><span class="keyword">module type</span> BACKEND = <code class="code">sig</code> <a href="Repositories.BACKEND.html">..</a> <code class="code">end</code></pre>Backend signature<br>
+<hr width="100%">
+<pre><span id="VALinit"><span class="keyword">val</span> init</span> : <code class="type"><a href="Repositories.html#TYPEaddress">Repositories.address</a> -> unit</code></pre><div class="info">
+Initialize an OPAM repository in the current directory. The
+ argument is the remote repository address.<br>
+</div>
+<pre><span id="VALupdate"><span class="keyword">val</span> update</span> : <code class="type"><a href="Repositories.html#TYPEaddress">Repositories.address</a> -> Types.Filename.Set.t</code></pre><div class="info">
+Update the OPAM repository in the current directory. Return the
+ list of locally updated files.<br>
+</div>
+<pre><span id="VALdownload_archive"><span class="keyword">val</span> download_archive</span> : <code class="type"><a href="Repositories.html#TYPEaddress">Repositories.address</a> -> <a href="Types.html#TYPEnv">Types.nv</a> -> <a href="Types.html#TYPEfilename">Types.filename</a> <a href="Types.html#TYPEdownload">Types.download</a></code></pre><div class="info">
+Download a (remote) archive file, stored on the (remote) OPAM
+ repository, in the current repository. Return the local path to
+ the downloaded archive.<br>
+</div>
+<pre><span id="VALdownload_file"><span class="keyword">val</span> download_file</span> : <code class="type"><a href="Types.html#TYPEnv">Types.nv</a> -> <a href="Types.html#TYPEfilename">Types.filename</a> -> <a href="Types.html#TYPEfilename">Types.filename</a> <a href="Types.html#TYPEdownload">Types.download</a></code></pre><div class="info">
+Download a (remote) file and return the local path to the
+ downloaded file. As the opposite to <code class="code">download_archive</code>, the
+ downloaded file needs not to be stored on the remote
+ repository. If needed, the function can use <i>$repo/tmp/$nv/</i>
+ to store transient states between downloads.<br>
+</div>
+<pre><span id="VALdownload_dir"><span class="keyword">val</span> download_dir</span> : <code class="type"><a href="Types.html#TYPEnv">Types.nv</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a> <a href="Types.html#TYPEdownload">Types.download</a></code></pre><div class="info">
+Download a (remote) directory and return the local path to the
+ downloaded directory. If needed, the function can use <i> $repo/tmp/$nv/</i> to store transient states between downloads.<br>
+</div>
+<pre><span id="VALupload_dir"><span class="keyword">val</span> upload_dir</span> : <code class="type">address:<a href="Repositories.html#TYPEaddress">Repositories.address</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a> -> Types.Filename.Set.t</code></pre><div class="info">
+Upload the content of the current directory to the directory
+ given as argument. Return the local paths corresponding to the
+ uploaded local files.<br>
+</div>
+</body></html>
View
30 doc/html/Repositories.html
@@ -22,7 +22,8 @@
<link title="Repositories" rel="Chapter" href="Repositories.html">
<link title="Run" rel="Chapter" href="Run.html">
<link title="Solver" rel="Chapter" href="Solver.html">
-<link title="Types" rel="Chapter" href="Types.html"><title>Repositories</title>
+<link title="Types" rel="Chapter" href="Types.html"><link title="Repository backends" rel="Section" href="#2_Repositorybackends">
+<title>Repositories</title>
</head>
<body>
<div class="navbar"><a href="Process.html">Previous</a>
@@ -37,15 +38,32 @@
The following functions are wrapper to the corresponding
scripts<br>
<pre><span id="VALinit"><span class="keyword">val</span> init</span> : <code class="type"><a href="Types.html#TYPErepository">Types.repository</a> -> unit</code></pre><div class="info">
-Run <i>opam-$kind-init</i> in <i>$opam/repo/$repo</i><br>
+Initialize <i>$opam/repo/$repo</i><br>
</div>
<pre><span id="VALupdate"><span class="keyword">val</span> update</span> : <code class="type"><a href="Types.html#TYPErepository">Types.repository</a> -> unit</code></pre><div class="info">
-Run <i>opam-$kind-update</i> in <i>$opam/repo/$repo</i><br>
+Update <i>$opam/repo/$repo</i><br>
</div>
<pre><span id="VALdownload"><span class="keyword">val</span> download</span> : <code class="type"><a href="Types.html#TYPErepository">Types.repository</a> -> <a href="Types.html#TYPEnv">Types.nv</a> -> unit</code></pre><div class="info">
-Run <i>opam-$kind-download</i> in <i>$opam/repo/$repo</i><br>
+Download <i>$opam/repo/$repo/archive/$nv.tar.gz</i><br>
</div>
<pre><span id="VALupload"><span class="keyword">val</span> upload</span> : <code class="type"><a href="Types.html#TYPErepository">Types.repository</a> -> unit</code></pre><div class="info">
-Run <i>opam-$kind-upload</i> in <i>$opam/repo/$repo</i><br>
+Upload the content of <i>$opam/repo/$repo/upload</i> to the remote
+ repository.<br>
</div>
-<pre><span class="keyword">module</span> <a href="Repositories.Raw.html">Raw</a>: <code class="code">sig</code> <a href="Repositories.Raw.html">..</a> <code class="code">end</code></pre></body></html>
+<br>
+<span id="2_Repositorybackends"><h2>Repository backends</h2></span><br>
+<pre><span id="TYPEaddress"><span class="keyword">type</span> <code class="type"></code>address</span> = <code class="type"><a href="Types.html#TYPEdirname">Types.dirname</a></code> </pre>
+
+<pre><span class="keyword">module type</span> <a href="Repositories.BACKEND.html">BACKEND</a> = <code class="code">sig</code> <a href="Repositories.BACKEND.html">..</a> <code class="code">end</code></pre><div class="info">
+Backend signature
+</div>
+<pre><span id="TYPEkind"><span class="keyword">type</span> <code class="type"></code>kind</span> = <code class="type">string</code> </pre>
+
+<pre><span id="VALregister_backend"><span class="keyword">val</span> register_backend</span> : <code class="type"><a href="Repositories.html#TYPEkind">kind</a> -> (module Repositories.BACKEND) -> unit</code></pre><div class="info">
+Register a repository backend<br>
+</div>
+<pre><span id="VALmake_archive"><span class="keyword">val</span> make_archive</span> : <code class="type"><a href="Types.html#TYPEnv">Types.nv</a> -> unit</code></pre><div class="info">
+<code class="code">make_archive repo_kind nv</code> build ./$nv.tar.gz, assuming the
+ repository kind is <code class="code">repo_kind</code>.<br>
+</div>
+</body></html>
View
29 doc/html/Run.html
@@ -35,8 +35,8 @@
<br>
<pre><span class="keyword">module</span> Run: <code class="code">sig</code> <a href="Run.html">..</a> <code class="code">end</code></pre>Low-level untyped system operations.<br>
<hr width="100%">
-<pre><span id="VALmk_temp_dir"><span class="keyword">val</span> mk_temp_dir</span> : <code class="type">string -> string</code></pre><div class="info">
-<code class="code">mk_temp_dir str</code> creates a tempory directory<br>
+<pre><span id="VALwith_tmp_dir"><span class="keyword">val</span> with_tmp_dir</span> : <code class="type">(string -> 'a) -> 'a</code></pre><div class="info">
+<code class="code">with_tmp_dir fn</code> executes <code class="code">fn</code> in a tempory directory<br>
</div>
<pre><span id="VALcopy"><span class="keyword">val</span> copy</span> : <code class="type">string -> string -> unit</code></pre><div class="info">
<code class="code">copy src dst</code> copies <code class="code">src</code> to <code class="code">dst</code><br>
@@ -105,13 +105,21 @@
in a context where $PATH contains <code class="code">add_to_path</code> at the beginning.
It stops whenever one command fails.<br>
</div>
-<pre><span id="VALread_command_output"><span class="keyword">val</span> read_command_output</span> : <code class="type">?add_to_env:(string * string) list -><br> ?add_to_path:string list -> <a href="Run.html#TYPEcommand">command</a> -> string list</code></pre><div class="info">
+<pre><span id="VALread_command_output"><span class="keyword">val</span> read_command_output</span> : <code class="type">?add_to_env:(string * string) list -><br> ?add_to_path:string list -> <a href="Run.html#TYPEcommand">command</a> -> string list option</code></pre><div class="info">
<code class="code">read_command_output cmd</code> executes the command <code class="code">cmd</code> and return
the lines from stdout<br>
</div>
+<pre><span id="VALis_tar_archive"><span class="keyword">val</span> is_tar_archive</span> : <code class="type">string -> bool</code></pre><div class="info">
+Test whether the file is an archive, by looking as its extension<br>
+</div>
<pre><span id="VALextract"><span class="keyword">val</span> extract</span> : <code class="type">string -> string -> unit</code></pre><div class="info">
-<code class="code">extract filename dirname</code> untar the archive <code class="code">filename</code> to
- <code class="code">dirname</code><br>
+<code class="code">extract filename dirname</code> extracts the archive <code class="code">filename</code> into
+ <code class="code">dirname</code>. <code class="code">dirname</code> should not exists and <code class="code">filename</code> should
+ contain only one top-level directory.<br>
+</div>
+<pre><span id="VALextract_in"><span class="keyword">val</span> extract_in</span> : <code class="type">string -> string -> unit</code></pre><div class="info">
+<code class="code">extract_in filename dirname</code> extracts the archive <code class="code">filename</code> into
+ <code class="code">dirname</code>. <code class="code">dirname</code> should already exists.<br>
</div>
<pre><span id="VALcwd"><span class="keyword">val</span> cwd</span> : <code class="type">unit -> string</code></pre><div class="info">
Return the current working directory<br>
@@ -136,12 +144,11 @@
</div>
<br>
<span id="2_Functionusedonlybytheswitchcommnand"><h2>Function used only by the switch commnand</h2></span><br>
-<pre><span id="VALdownload"><span class="keyword">val</span> download</span> : <code class="type">string -> string -> unit</code></pre><div class="info">
-download compiler sources.
- Currently support only tar.gz/tar.bz2, but should be able to support
- git and svn as well.<br>
+<pre><span id="VALdownload"><span class="keyword">val</span> download</span> : <code class="type">filename:string -> dirname:string -> string option</code></pre><div class="info">
+download compiler sources<br>
</div>
-<pre><span id="VALpatch"><span class="keyword">val</span> patch</span> : <code class="type">string -> unit</code></pre><div class="info">
-Apply a patch file in the current directory<br>
+<pre><span id="VALpatch"><span class="keyword">val</span> patch</span> : <code class="type">string -> bool</code></pre><div class="info">
+Apply a patch file in the current directory. Return whether the
+ patch has been applied succesfully.<br>
</div>
</body></html>
View
18 doc/html/Types.Abstract.Map.html
@@ -4,8 +4,8 @@
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
-<link rel="previous" href="Types.Abstract.Set.html">
-<link rel="Up" href="Types.Abstract.html">
+<link rel="previous" href="Types.ABSTRACT.Set.html">
+<link rel="Up" href="Types.ABSTRACT.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
@@ -21,24 +21,24 @@
<link title="Repositories" rel="Chapter" href="Repositories.html">
<link title="Run" rel="Chapter" href="Run.html">
<link title="Solver" rel="Chapter" href="Solver.html">
-<link title="Types" rel="Chapter" href="Types.html"><title>Types.Abstract.Map</title>
+<link title="Types" rel="Chapter" href="Types.html"><title>Types.ABSTRACT.Map</title>
</head>
<body>
-<div class="navbar"><a href="Types.Abstract.Set.html">Previous</a>
-&nbsp;<a href="Types.Abstract.html">Up</a>
+<div class="navbar"><a href="Types.ABSTRACT.Set.html">Previous</a>
+&nbsp;<a href="Types.ABSTRACT.html">Up</a>
&nbsp;</div>
-<center><h1>Module <a href="type_Types.Abstract.Map.html">Types.Abstract.Map</a></h1></center>
+<center><h1>Module <a href="type_Types.ABSTRACT.Map.html">Types.ABSTRACT.Map</a></h1></center>
<br>
-<pre><span class="keyword">module</span> Map: <code class="code">sig</code> <a href="Types.Abstract.Map.html">..</a> <code class="code">end</code></pre>Dictionaries of abstract values<br>
+<pre><span class="keyword">module</span> Map: <code class="code">sig</code> <a href="Types.ABSTRACT.Map.html">..</a> <code class="code">end</code></pre>Dictionaries of abstract values<br>
<hr width="100%">
<pre><span class="keyword">include</span> Map.S</pre>
-<pre><span id="VALvalues"><span class="keyword">val</span> values</span> : <code class="type">'a <a href="Types.Abstract.html#TYPEt">Types.Abstract.t</a> -> 'a list</code></pre><div class="info">
+<pre><span id="VALvalues"><span class="keyword">val</span> values</span> : <code class="type">'a <a href="Types.ABSTRACT.html#TYPEt">Types.ABSTRACT.t</a> -> 'a list</code></pre><div class="info">
Split with <code class="code">bindings</code> and return the <code class="code">snd</code> component.<br>
</div>
<br>
Same as <code class="code">merge</code> but only keys that appear in both maps
are given in the merging function<br>
-<pre><span id="VALmerge_max"><span class="keyword">val</span> merge_max</span> : <code class="type">(key -> 'a -> 'a -> 'a option) -><br> 'a <a href="Types.Abstract.html#TYPEt">Types.Abstract.t</a> -> 'a <a href="Types.Abstract.html#TYPEt">Types.Abstract.t</a> -> 'a <a href="Types.Abstract.html#TYPEt">Types.Abstract.t</a></code></pre><div class="info">
+<pre><span id="VALmerge_max"><span class="keyword">val</span> merge_max</span> : <code class="type">(key -> 'a -> 'a -> 'a option) -><br> 'a <a href="Types.ABSTRACT.html#TYPEt">Types.ABSTRACT.t</a> -> 'a <a href="Types.ABSTRACT.html#TYPEt">Types.ABSTRACT.t</a> -> 'a <a href="Types.ABSTRACT.html#TYPEt">Types.ABSTRACT.t</a></code></pre><div class="info">
WARNING : Besides <code class="code">key</code>, the function could receive
some <code class="code">v1</code> and some <code class="code">v2</code> such that <code class="code">v1 = v2</code> holds.<br>
</div>
View
22 doc/html/Types.Abstract.Set.html
@@ -4,8 +4,8 @@
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
-<link rel="next" href="Types.Abstract.Map.html">
-<link rel="Up" href="Types.Abstract.html">
+<link rel="next" href="Types.ABSTRACT.Map.html">
+<link rel="Up" href="Types.ABSTRACT.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
@@ -21,27 +21,27 @@
<link title="Repositories" rel="Chapter" href="Repositories.html">
<link title="Run" rel="Chapter" href="Run.html">
<link title="Solver" rel="Chapter" href="Solver.html">
-<link title="Types" rel="Chapter" href="Types.html"><title>Types.Abstract.Set</title>
+<link title="Types" rel="Chapter" href="Types.html"><title>Types.ABSTRACT.Set</title>
</head>
<body>
-<div class="navbar">&nbsp;<a href="Types.Abstract.html">Up</a>
-&nbsp;<a href="Types.Abstract.Map.html">Next</a>
+<div class="navbar">&nbsp;<a href="Types.ABSTRACT.html">Up</a>
+&nbsp;<a href="Types.ABSTRACT.Map.html">Next</a>
</div>
-<center><h1>Module <a href="type_Types.Abstract.Set.html">Types.Abstract.Set</a></h1></center>
+<center><h1>Module <a href="type_Types.ABSTRACT.Set.html">Types.ABSTRACT.Set</a></h1></center>
<br>
-<pre><span class="keyword">module</span> Set: <code class="code">sig</code> <a href="Types.Abstract.Set.html">..</a> <code class="code">end</code></pre>Collection of abstract values<br>
+<pre><span class="keyword">module</span> Set: <code class="code">sig</code> <a href="Types.ABSTRACT.Set.html">..</a> <code class="code">end</code></pre>Collection of abstract values<br>
<hr width="100%">
<pre><span class="keyword">include</span> Set.S</pre>
-<pre><span id="VALmap"><span class="keyword">val</span> map</span> : <code class="type">(elt -> elt) -> <a href="Types.Abstract.html#TYPEt">Types.Abstract.t</a> -> <a href="Types.Abstract.html#TYPEt">Types.Abstract.t</a></code></pre><div class="info">
+<pre><span id="VALmap"><span class="keyword">val</span> map</span> : <code class="type">(elt -> elt) -> <a href="Types.ABSTRACT.html#TYPEt">Types.ABSTRACT.t</a> -> <a href="Types.ABSTRACT.html#TYPEt">Types.ABSTRACT.t</a></code></pre><div class="info">
auto-map<br>
</div>
-<pre><span id="VALchoose_one"><span class="keyword">val</span> choose_one</span> : <code class="type"><a href="Types.Abstract.html#TYPEt">Types.Abstract.t</a> -> elt</code></pre><div class="info">
+<pre><span id="VALchoose_one"><span class="keyword">val</span> choose_one</span> : <code class="type"><a href="Types.ABSTRACT.html#TYPEt">Types.ABSTRACT.t</a> -> elt</code></pre><div class="info">
Return one element. Fail if the set is not a singleton.<br>
</div>
-<pre><span id="VALof_list"><span class="keyword">val</span> of_list</span> : <code class="type">elt list -> <a href="Types.Abstract.html#TYPEt">Types.Abstract.t</a></code></pre><div class="info">
+<pre><span id="VALof_list"><span class="keyword">val</span> of_list</span> : <code class="type">elt list -> <a href="Types.ABSTRACT.html#TYPEt">Types.ABSTRACT.t</a></code></pre><div class="info">
Make a set from a list<br>
</div>
-<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.Abstract.html#TYPEt">Types.Abstract.t</a> -> string</code></pre><div class="info">
+<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.ABSTRACT.html#TYPEt">Types.ABSTRACT.t</a> -> string</code></pre><div class="info">
Pretty-print a set<br>
</div>
</body></html>
View
16 doc/html/Types.Abstract.html
@@ -20,30 +20,30 @@
<link title="Repositories" rel="Chapter" href="Repositories.html">
<link title="Run" rel="Chapter" href="Run.html">
<link title="Solver" rel="Chapter" href="Solver.html">
-<link title="Types" rel="Chapter" href="Types.html"><title>Types.Abstract</title>
+<link title="Types" rel="Chapter" href="Types.html"><title>Types.ABSTRACT</title>
</head>
<body>
<div class="navbar">&nbsp;<a href="Types.html">Up</a>
&nbsp;</div>
-<center><h1>Module type <a href="type_Types.Abstract.html">Types.Abstract</a></h1></center>
+<center><h1>Module type <a href="type_Types.ABSTRACT.html">Types.ABSTRACT</a></h1></center>
<br>
-<pre><span class="keyword">module type</span> Abstract = <code class="code">sig</code> <a href="Types.Abstract.html">..</a> <code class="code">end</code></pre>All abstract types should implement this signature<br>
+<pre><span class="keyword">module type</span> ABSTRACT = <code class="code">sig</code> <a href="Types.ABSTRACT.html">..</a> <code class="code">end</code></pre>All abstract types should implement this signature<br>
<hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info">
-Abstract type<br>
+ABSTRACT type<br>
</div>
-<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.Abstract.html#TYPEt">t</a></code></pre><div class="info">
+<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.ABSTRACT.html#TYPEt">t</a></code></pre><div class="info">
Create an abstract value from a string<br>
</div>
-<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.Abstract.html#TYPEt">t</a> -> string</code></pre><div class="info">
+<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.ABSTRACT.html#TYPEt">t</a> -> string</code></pre><div class="info">
Convert an abstract value to a string<br>
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.Abstract.Set.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Set.html">..</a> <code class="code">end</code></pre><div class="info">
Collection of abstract values
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.Abstract.Map.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Map.html">..</a> <code class="code">end</code></pre><div class="info">
Dictionaries of abstract values
</div>
</body></html>
View
16 doc/html/Types.Alias.html
@@ -5,6 +5,7 @@
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="previous" href="Types.Full_variable.html">
+<link rel="next" href="Types.Remote_file.html">
<link rel="Up" href="Types.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
@@ -26,26 +27,27 @@
<body>
<div class="navbar"><a href="Types.Full_variable.html">Previous</a>
&nbsp;<a href="Types.html">Up</a>
-&nbsp;</div>
+&nbsp;<a href="Types.Remote_file.html">Next</a>
+</div>
<center><h1>Module <a href="type_Types.Alias.html">Types.Alias</a></h1></center>
<br>
-<pre><span class="keyword">module</span> Alias: <code class="type"><a href="Types.Abstract.html">Abstract</a></code><code class="type"> </code></pre>Compiler aliases<br>
+<pre><span class="keyword">module</span> Alias: <code class="type"><a href="Types.ABSTRACT.html">ABSTRACT</a></code><code class="type"> </code></pre>Compiler aliases<br>
<hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info">
-Abstract type<br>
+ABSTRACT type<br>
</div>
-<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.Abstract.html#TYPEt">t</a></code></pre><div class="info">
+<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.ABSTRACT.html#TYPEt">t</a></code></pre><div class="info">
Create an abstract value from a string<br>
</div>
-<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.Abstract.html#TYPEt">t</a> -> string</code></pre><div class="info">
+<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.ABSTRACT.html#TYPEt">t</a> -> string</code></pre><div class="info">
Convert an abstract value to a string<br>
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.Abstract.Set.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Set.html">..</a> <code class="code">end</code></pre><div class="info">
Collection of abstract values
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.Abstract.Map.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Map.html">..</a> <code class="code">end</code></pre><div class="info">
Dictionaries of abstract values
</div>
</body></html>
View
12 doc/html/Types.Basename.html
@@ -29,23 +29,23 @@
</div>
<center><h1>Module <a href="type_Types.Basename.html">Types.Basename</a></h1></center>
<br>
-<pre><span class="keyword">module</span> Basename: <code class="type"><a href="Types.Abstract.html">Abstract</a></code><code class="type"> </code></pre>Basenames<br>
+<pre><span class="keyword">module</span> Basename: <code class="type"><a href="Types.ABSTRACT.html">ABSTRACT</a></code><code class="type"> </code></pre>Basenames<br>
<hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info">
-Abstract type<br>
+ABSTRACT type<br>
</div>
-<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.Abstract.html#TYPEt">t</a></code></pre><div class="info">
+<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.ABSTRACT.html#TYPEt">t</a></code></pre><div class="info">
Create an abstract value from a string<br>
</div>
-<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.Abstract.html#TYPEt">t</a> -> string</code></pre><div class="info">
+<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.ABSTRACT.html#TYPEt">t</a> -> string</code></pre><div class="info">
Convert an abstract value to a string<br>
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.Abstract.Set.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Set.html">..</a> <code class="code">end</code></pre><div class="info">
Collection of abstract values
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.Abstract.Map.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Map.html">..</a> <code class="code">end</code></pre><div class="info">
Dictionaries of abstract values
</div>
</body></html>
View
22 doc/html/Types.Dirname.html
@@ -33,7 +33,7 @@
<br>
<pre><span class="keyword">module</span> Dirname: <code class="code">sig</code> <a href="Types.Dirname.html">..</a> <code class="code">end</code></pre>Absolute directory names<br>
<hr width="100%">
-<pre><span class="keyword">include</span> <a href="Types.Abstract.html">Types.Abstract</a></pre>
+<pre><span class="keyword">include</span> <a href="Types.ABSTRACT.html">Types.ABSTRACT</a></pre>
<pre><span id="VALcwd"><span class="keyword">val</span> cwd</span> : <code class="type">unit -> t</code></pre><div class="info">
Return the current working directory<br>
</div>
@@ -46,22 +46,40 @@
<pre><span id="VALlist"><span class="keyword">val</span> list</span> : <code class="type">t -> t list</code></pre><div class="info">
List the directory<br>
</div>
+<pre><span id="VALin_dir"><span class="keyword">val</span> in_dir</span> : <code class="type">t -> (unit -> 'a) -> 'a</code></pre><div class="info">
+Evaluate a function in a given directory<br>
+</div>
<pre><span id="VALexec"><span class="keyword">val</span> exec</span> : <code class="type">t -><br> ?add_to_env:(string * string) list -><br> ?add_to_path:t list -> string list list -> int</code></pre><div class="info">
Execute a list of commands in a given directory<br>
</div>
<pre><span id="VALchdir"><span class="keyword">val</span> chdir</span> : <code class="type">t -> unit</code></pre><div class="info">
Change the current directory<br>
</div>
+<pre><span id="VALmove"><span class="keyword">val</span> move</span> : <code class="type">t -> t -> unit</code></pre><div class="info">
+Move a directory<br>
+</div>
+<pre><span id="VALcopy"><span class="keyword">val</span> copy</span> : <code class="type">t -> t -> unit</code></pre><div class="info">
+Copy a directory<br>
+</div>
<pre><span id="VALexists"><span class="keyword">val</span> exists</span> : <code class="type">t -> bool</code></pre><div class="info">
Does the directory exists ?<br>
</div>
+<pre><span id="VALdirname"><span class="keyword">val</span> dirname</span> : <code class="type">t -> t</code></pre><div class="info">
+Return the parent directory<br>
+</div>
<pre><span id="VALbasename"><span class="keyword">val</span> basename</span> : <code class="type">t -> <a href="Types.html#TYPEbasename">Types.basename</a></code></pre><div class="info">
Return the deeper directory name<br>
</div>
-<pre><span id="VALof_raw"><span class="keyword">val</span> of_raw</span> : <code class="type">string -> t</code></pre><div class="info">
+<pre><span id="VALraw"><span class="keyword">val</span> raw</span> : <code class="type">string -> t</code></pre><div class="info">
Creation from a raw string (as <i>http://&lt;path&gt;</i>)<br>
</div>
<pre><span id="VALremove_prefix"><span class="keyword">val</span> remove_prefix</span> : <code class="type">prefix:t -> t -> string</code></pre><div class="info">
Remove a prefix from a directory<br>
</div>
+<pre><span id="VALstarts_with"><span class="keyword">val</span> starts_with</span> : <code class="type">prefix:t -> t -> bool</code></pre><div class="info">
+Does the directory starts with a given prefix<br>
+</div>
+<pre><span id="VALwith_tmp_dir"><span class="keyword">val</span> with_tmp_dir</span> : <code class="type">(t -> 'a) -> 'a</code></pre><div class="info">
+Execute a function in a temp directory<br>
+</div>
</body></html>
View
30 doc/html/Types.Filename.html
@@ -33,14 +33,17 @@
<br>
<pre><span class="keyword">module</span> Filename: <code class="code">sig</code> <a href="Types.Filename.html">..</a> <code class="code">end</code></pre>non-directory filenames<br>
<hr width="100%">
-<pre><span class="keyword">include</span> <a href="Types.Abstract.html">Types.Abstract</a></pre>
+<pre><span class="keyword">include</span> <a href="Types.ABSTRACT.html">Types.ABSTRACT</a></pre>
<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type"><a href="Types.html#TYPEdirname">Types.dirname</a> -> <a href="Types.html#TYPEbasename">Types.basename</a> -> t</code></pre><div class="info">
Create a filename from a dirname and a basename<br>
</div>
<pre><span id="VALof_basename"><span class="keyword">val</span> of_basename</span> : <code class="type"><a href="Types.html#TYPEbasename">Types.basename</a> -> t</code></pre><div class="info">
Create a file from a basename and the current working directory
as dirname<br>
</div>
+<pre><span id="VALraw"><span class="keyword">val</span> raw</span> : <code class="type">string -> t</code></pre><div class="info">
+Creation from a raw string (as <i>http://&lt;path&gt;</i>)<br>
+</div>
<pre><span id="VALdirname"><span class="keyword">val</span> dirname</span> : <code class="type">t -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
Return the directory name<br>
</div>
@@ -80,6 +83,9 @@
<pre><span id="VALcopy_in"><span class="keyword">val</span> copy_in</span> : <code class="type">t -> <a href="Types.html#TYPEdirname">Types.dirname</a> -> unit</code></pre><div class="info">
Copy a file in a directory<br>
</div>
+<pre><span id="VALmove"><span class="keyword">val</span> move</span> : <code class="type">t -> t -> unit</code></pre><div class="info">
+Move a file<br>
+</div>
<pre><span id="VALlink_in"><span class="keyword">val</span> link_in</span> : <code class="type">t -> <a href="Types.html#TYPEdirname">Types.dirname</a> -> unit</code></pre><div class="info">
Symlink a file in a directory<br>
</div>
@@ -93,10 +99,32 @@
Extract an archive in a given directory (it rewrites the root to
match <code class="code">dirname</code> dir if needed)<br>
</div>
+<pre><span id="VALextract_in"><span class="keyword">val</span> extract_in</span> : <code class="type">t -> <a href="Types.html#TYPEdirname">Types.dirname</a> -> unit</code></pre><div class="info">
+Extract an archive in a given directory (which should already exists)<br>
+</div>
<pre><span id="VALstarts_with"><span class="keyword">val</span> starts_with</span> : <code class="type"><a href="Types.html#TYPEdirname">Types.dirname</a> -> t -> bool</code></pre><div class="info">
Check wether a filename starts by a given dirname<br>
</div>
<pre><span id="VALremove_prefix"><span class="keyword">val</span> remove_prefix</span> : <code class="type">prefix:<a href="Types.html#TYPEdirname">Types.dirname</a> -> t -> string</code></pre><div class="info">
Remove a prefix from a file name<br>
</div>
+<pre><span id="VALdownload"><span class="keyword">val</span> download</span> : <code class="type">t -> <a href="Types.html#TYPEdirname">Types.dirname</a> -> t option</code></pre><div class="info">
+download a remote file in a given directory. Return the location
+ of the downloaded file if the download is successful.<br>
+</div>
+<pre><span id="VALdownload_iter"><span class="keyword">val</span> download_iter</span> : <code class="type">t list -> <a href="Types.html#TYPEdirname">Types.dirname</a> -> t option</code></pre><div class="info">
+iterate downloads until one is sucessful<br>
+</div>
+<pre><span id="VALpatch"><span class="keyword">val</span> patch</span> : <code class="type">t -> <a href="Types.html#TYPEdirname">Types.dirname</a> -> bool</code></pre><div class="info">
+Apply a patch to a directory<br>
+</div>
+<pre><span id="VALdigest"><span class="keyword">val</span> digest</span> : <code class="type">t -> Digest.t</code></pre><div class="info">
+Compute the MD5 digest of a file<br>
+</div>
+<pre><span id="VALtouch"><span class="keyword">val</span> touch</span> : <code class="type">t -> unit</code></pre><div class="info">
+Create an empty file<br>
+</div>
+<pre><span id="VALchmod"><span class="keyword">val</span> chmod</span> : <code class="type">t -> int -> unit</code></pre><div class="info">
+Change file permissions<br>
+</div>
</body></html>
View
2 doc/html/Types.Full_section.html
@@ -33,7 +33,7 @@
<br>
<pre><span class="keyword">module</span> Full_section: <code class="code">sig</code> <a href="Types.Full_section.html">..</a> <code class="code">end</code></pre>Fully qualified sections<br>
<hr width="100%">
-<pre><span class="keyword">include</span> <a href="Types.Abstract.html">Types.Abstract</a></pre>
+<pre><span class="keyword">include</span> <a href="Types.ABSTRACT.html">Types.ABSTRACT</a></pre>
<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type"><a href="Types.html#TYPEname">Types.name</a> -> <a href="Types.html#TYPEsection">Types.section</a> -> t</code></pre><div class="info">
Create a fully qualified section<br>
</div>
View
2 doc/html/Types.Full_variable.html
@@ -33,7 +33,7 @@
<br>
<pre><span class="keyword">module</span> Full_variable: <code class="code">sig</code> <a href="Types.Full_variable.html">..</a> <code class="code">end</code></pre>Fully qualified variables<br>
<hr width="100%">
-<pre><span class="keyword">include</span> <a href="Types.Abstract.html">Types.Abstract</a></pre>
+<pre><span class="keyword">include</span> <a href="Types.ABSTRACT.html">Types.ABSTRACT</a></pre>
<pre><span id="VALcreate_local"><span class="keyword">val</span> create_local</span> : <code class="type"><a href="Types.html#TYPEname">Types.name</a> -> <a href="Types.html#TYPEsection">Types.section</a> -> <a href="Types.html#TYPEvariable">Types.variable</a> -> t</code></pre><div class="info">
Create a variable local for a given library/syntax extension<br>
</div>
View
12 doc/html/Types.N.html
@@ -31,23 +31,23 @@
</div>
<center><h1>Module <a href="type_Types.N.html">Types.N</a></h1></center>
<br>
-<pre><span class="keyword">module</span> N: <code class="type"><a href="Types.Abstract.html">Abstract</a></code><code class="type"> </code></pre>Names<br>
+<pre><span class="keyword">module</span> N: <code class="type"><a href="Types.ABSTRACT.html">ABSTRACT</a></code><code class="type"> </code></pre>Names<br>
<hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info">
-Abstract type<br>
+ABSTRACT type<br>
</div>
-<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.Abstract.html#TYPEt">t</a></code></pre><div class="info">
+<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.ABSTRACT.html#TYPEt">t</a></code></pre><div class="info">
Create an abstract value from a string<br>
</div>
-<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.Abstract.html#TYPEt">t</a> -> string</code></pre><div class="info">
+<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.ABSTRACT.html#TYPEt">t</a> -> string</code></pre><div class="info">
Convert an abstract value to a string<br>
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.Abstract.Set.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Set.html">..</a> <code class="code">end</code></pre><div class="info">
Collection of abstract values
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.Abstract.Map.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Map.html">..</a> <code class="code">end</code></pre><div class="info">
Dictionaries of abstract values
</div>
</body></html>
View
2 doc/html/Types.NV.html
@@ -33,7 +33,7 @@
<br>
<pre><span class="keyword">module</span> NV: <code class="code">sig</code> <a href="Types.NV.html">..</a> <code class="code">end</code></pre>Package (name x version) pairs<br>
<hr width="100%">
-<pre><span class="keyword">include</span> <a href="Types.Abstract.html">Types.Abstract</a></pre>
+<pre><span class="keyword">include</span> <a href="Types.ABSTRACT.html">Types.ABSTRACT</a></pre>
<pre><span id="VALname"><span class="keyword">val</span> name</span> : <code class="type">t -> <a href="Types.html#TYPEname">Types.name</a></code></pre><div class="info">
Return the package name<br>
</div>
View
2 doc/html/Types.OCaml_V.html
@@ -33,7 +33,7 @@
<br>
<pre><span class="keyword">module</span> OCaml_V: <code class="code">sig</code> <a href="Types.OCaml_V.html">..</a> <code class="code">end</code></pre>OCaml version<br>
<hr width="100%">
-<pre><span class="keyword">include</span> <a href="Types.Abstract.html">Types.Abstract</a></pre>
+<pre><span class="keyword">include</span> <a href="Types.ABSTRACT.html">Types.ABSTRACT</a></pre>
<pre><span id="VALcurrent"><span class="keyword">val</span> current</span> : <code class="type">unit -> t option</code></pre><div class="info">
Return the version of the compiler currently installed<br>
</div>
View
12 doc/html/Types.OPAM_V.html
@@ -31,23 +31,23 @@
</div>
<center><h1>Module <a href="type_Types.OPAM_V.html">Types.OPAM_V</a></h1></center>
<br>
-<pre><span class="keyword">module</span> OPAM_V: <code class="type"><a href="Types.Abstract.html">Abstract</a></code><code class="type"> </code></pre>OPAM version<br>
+<pre><span class="keyword">module</span> OPAM_V: <code class="type"><a href="Types.ABSTRACT.html">ABSTRACT</a></code><code class="type"> </code></pre>OPAM version<br>
<hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info">
-Abstract type<br>
+ABSTRACT type<br>
</div>
-<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.Abstract.html#TYPEt">t</a></code></pre><div class="info">
+<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.ABSTRACT.html#TYPEt">t</a></code></pre><div class="info">
Create an abstract value from a string<br>
</div>
-<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.Abstract.html#TYPEt">t</a> -> string</code></pre><div class="info">
+<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.ABSTRACT.html#TYPEt">t</a> -> string</code></pre><div class="info">
Convert an abstract value to a string<br>
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.Abstract.Set.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Set.html">..</a> <code class="code">end</code></pre><div class="info">
Collection of abstract values
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.Abstract.Map.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Map.html">..</a> <code class="code">end</code></pre><div class="info">
Dictionaries of abstract values
</div>
</body></html>
View
12 doc/html/Types.Raw.html
@@ -31,23 +31,23 @@
</div>
<center><h1>Module <a href="type_Types.Raw.html">Types.Raw</a></h1></center>
<br>
-<pre><span class="keyword">module</span> Raw: <code class="type"><a href="Types.Abstract.html">Abstract</a></code><code class="type"> </code></pre>Raw file contents<br>
+<pre><span class="keyword">module</span> Raw: <code class="type"><a href="Types.ABSTRACT.html">ABSTRACT</a></code><code class="type"> </code></pre>Raw file contents<br>
<hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> </pre>
<div class="info">
-Abstract type<br>
+ABSTRACT type<br>
</div>
-<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.Abstract.html#TYPEt">t</a></code></pre><div class="info">
+<pre><span id="VALof_string"><span class="keyword">val</span> of_string</span> : <code class="type">string -> <a href="Types.ABSTRACT.html#TYPEt">t</a></code></pre><div class="info">
Create an abstract value from a string<br>
</div>
-<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.Abstract.html#TYPEt">t</a> -> string</code></pre><div class="info">
+<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Types.ABSTRACT.html#TYPEt">t</a> -> string</code></pre><div class="info">
Convert an abstract value to a string<br>
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.Abstract.Set.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Set.html">Set</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Set.html">..</a> <code class="code">end</code></pre><div class="info">
Collection of abstract values
</div>
-<pre><span class="keyword">module</span> <a href="Types.Abstract.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.Abstract.Map.html">..</a> <code class="code">end</code></pre><div class="info">
+<pre><span class="keyword">module</span> <a href="Types.ABSTRACT.Map.html">Map</a>: <code class="code">sig</code> <a href="Types.ABSTRACT.Map.html">..</a> <code class="code">end</code></pre><div class="info">
Dictionaries of abstract values
</div>
</body></html>
View
46 doc/html/Types.Remote_file.html
@@ -0,0 +1,46 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html>
+<head>
+<link rel="stylesheet" href="style.css" type="text/css">
+<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
+<link rel="Start" href="index.html">
+<link rel="previous" href="Types.Alias.html">
+<link rel="Up" href="Types.html">
+<link title="Index of types" rel=Appendix href="index_types.html">
+<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
+<link title="Index of values" rel=Appendix href="index_values.html">
+<link title="Index of modules" rel=Appendix href="index_modules.html">
+<link title="Index of module types" rel=Appendix href="index_module_types.html">
+<link title="Client" rel="Chapter" href="Client.html">
+<link title="File" rel="Chapter" href="File.html">
+<link title="File_format" rel="Chapter" href="File_format.html">
+<link title="Parallel" rel="Chapter" href="Parallel.html">
+<link title="Parser" rel="Chapter" href="Parser.html">
+<link title="Path" rel="Chapter" href="Path.html">
+<link title="Process" rel="Chapter" href="Process.html">
+<link title="Repositories" rel="Chapter" href="Repositories.html">
+<link title="Run" rel="Chapter" href="Run.html">
+<link title="Solver" rel="Chapter" href="Solver.html">
+<link title="Types" rel="Chapter" href="Types.html"><title>Types.Remote_file</title>
+</head>
+<body>
+<div class="navbar"><a href="Types.Alias.html">Previous</a>
+&nbsp;<a href="Types.html">Up</a>
+&nbsp;</div>
+<center><h1>Module <a href="type_Types.Remote_file.html">Types.Remote_file</a></h1></center>
+<br>
+<pre><span class="keyword">module</span> Remote_file: <code class="code">sig</code> <a href="Types.Remote_file.html">..</a> <code class="code">end</code></pre><hr width="100%">