Permalink
Browse files

Merge http://github.com/OCamlPro/opam into openbsd-support

Conflicts:
	src/repo/curl/misc.ml
	src/run.ml
	src/scripts/opam_mk_repo.ml
  • Loading branch information...
2 parents a22a427 + 0b7a2c8 commit 354c695b046a234cade9fc81cd47f1cf998f82aa @avsm avsm committed Jul 25, 2012
Showing with 1,441 additions and 339 deletions.
  1. +12 −0 CHANGES
  2. +20 −3 README.md
  3. +11 −3 doc/html/Client.html
  4. +8 −2 doc/html/File.Config.html
  5. +61 −0 doc/html/File.Dot_config.Section.html
  6. +3 −0 doc/html/File.Dot_install.html
  7. +6 −0 doc/html/File.OPAM.html
  8. +59 −0 doc/html/File.Pinned.html
  9. +2 −2 doc/html/File.Repo_config.html
  10. +2 −2 doc/html/File.Subst.html
  11. +3 −0 doc/html/File.html
  12. +9 −0 doc/html/File_format.html
  13. +6 −0 doc/html/Path.C.html
  14. +4 −1 doc/html/Run.html
  15. +8 −3 doc/html/Solver.html
  16. +4 −1 doc/html/Types.Abstract.Map.html
  17. +3 −0 doc/html/Types.Abstract.Set.html
  18. +62 −3 doc/html/Types.html
  19. +5 −0 doc/html/index_modules.html
  20. +12 −0 doc/html/index_types.html
  21. +88 −6 doc/html/index_values.html
  22. +5 −2 doc/html/type_Client.html
  23. +5 −1 doc/html/type_File.Config.html
  24. +23 −0 doc/html/type_File.Dot_config.Section.html
  25. +1 −0 doc/html/type_File.Dot_install.html
  26. +2 −0 doc/html/type_File.OPAM.html
  27. +31 −0 doc/html/type_File.Pinned.html
  28. +18 −1 doc/html/type_File.html
  29. +2 −0 doc/html/type_File_format.html
  30. +2 −0 doc/html/type_Path.C.html
  31. +2 −0 doc/html/type_Path.html
  32. +2 −1 doc/html/type_Run.html
  33. +1 −1 doc/html/type_Solver.html
  34. +1 −0 doc/html/type_Types.Abstract.Set.html
  35. +1 −0 doc/html/type_Types.Abstract.html
  36. +1 −0 doc/html/type_Types.Dirname.html
  37. +1 −0 doc/html/type_Types.Filename.html
  38. +1 −0 doc/html/type_Types.Full_section.html
  39. +1 −0 doc/html/type_Types.Full_variable.html
  40. +1 −0 doc/html/type_Types.NV.html
  41. +1 −0 doc/html/type_Types.OCaml_V.html
  42. +1 −0 doc/html/type_Types.Repository.html
  43. +1 −0 doc/html/type_Types.Section.html
  44. +1 −0 doc/html/type_Types.Variable.html
  45. +18 −1 doc/html/type_Types.html
  46. +450 −183 src/client.ml
  47. +7 −1 src/client.mli
  48. +60 −17 src/file.ml
  49. +21 −3 src/file.mli
  50. +13 −0 src/file_format.ml
  51. +8 −0 src/file_format.mli
  52. +1 −1 src/globals.ml
  53. +25 −18 src/opam.ml
  54. +4 −0 src/path.ml
  55. +5 −0 src/path.mli
  56. +11 −2 src/repo/curl/misc.ml
  57. +10 −0 src/repo/curl/update.ml
  58. +1 −1 src/repo/git/update.ml
  59. +2 −2 src/repo/rsync/update.ml
  60. +65 −37 src/run.ml
  61. +14 −8 src/run.mli
  62. +2 −2 src/scripts/opam_mk_repo.ml
  63. +124 −18 src/solver.ml
  64. +7 −3 src/solver.mli
  65. +60 −5 src/types.ml
  66. +32 −2 src/types.mli
  67. +4 −3 src/utils.ml
  68. +4 −0 tests/Makefile
View
12 CHANGES
@@ -1,3 +1,15 @@
+0.3.1 [July 2012]
+* fix regression for 'opam install' introduced in 0.3
+
+0.3 [July 2012]
+* improve parallel compilation of packages
+* better recovery on compilation/installation errors
+* first draft of version pinnig
+* fix 'opam config -env' for old shells
+* install the latest version of packages when possible
+* more robust 'opam update' (ie. old files are gc-ed)
+* add a (more or less) generic way to install and use topfind
+
0.2 [July 2012]
* more robust switch command
* more robust parallel build (not yet activated by default)
View
23 README.md
@@ -7,11 +7,11 @@ things, used by Debian to manage their packages.
### Prerequisites:
-* ocaml
+* ocaml (either installed or available in remote repository)
### Compiling OPAM
-* To compile `opam`, simply run:
+To compile `opam`, simply run:
```
make
@@ -22,6 +22,20 @@ downloaded and then build OPAM. If you just want to get the
necessary dependencies without compiling the project, run
`make clone`.
+### Installing OPAM
+
+To install opam in `/usr/local/bin` simply run:
+
+```
+sudo make install
+```
+
+If you want to install OPAM in a different path:
+
+```
+make BIN=$HOME/bin install
+```
+
### Using opam
All of the OPAM state is held in the `~\.opam` directory in your home
@@ -35,7 +49,10 @@ eval `opam config -env`
```
The first command creates `~\.opam` and set-up `opam.ocamlpro.com` as
-default repository. The second command update your local environment
+default repository. If `OCaml` is not installed, you can add the option
+ `-comp VERSION` (if the remote repository contains the associated
+ `VERSION.comp` description file).
+The second command updates your local environment
to use the packages installed by OPAM. For convenience, you can add
this line in your `~/.profile`.
View
14 doc/html/Client.html
@@ -31,7 +31,7 @@
<br>
<pre><span class="keyword">module</span> Client: <code class="code">sig</code> <a href="Client.html">..</a> <code class="code">end</code></pre>OPAM client.<br>
<hr width="100%">
-<pre><span id="VALinit"><span class="keyword">val</span> init</span> : <code class="type"><a href="Types.html#TYPErepository">Types.repository</a> -> Types.Alias.t -> Types.OCaml_V.t -> int -> unit</code></pre><div class="info">
+<pre><span id="VALinit"><span class="keyword">val</span> init</span> : <code class="type"><a href="Types.html#TYPErepository">Types.repository</a> -><br> Types.Alias.t option -> Types.OCaml_V.t option -> int -> unit</code></pre><div class="info">
Initializes the client a consistent state.
<code class="code">init repo alias oversion cores</code> means:<ul>
<li><code class="code">repo</code> is the initial repository description,</li>
@@ -41,8 +41,10 @@
</ul>
<br>
</div>
-<pre><span id="VALlist"><span class="keyword">val</span> list</span> : <code class="type">unit -> unit</code></pre><div class="info">
-Displays all available packages<br>
+<pre><span id="VALlist"><span class="keyword">val</span> list</span> : <code class="type">bool -> unit</code></pre><div class="info">
+Displays all available packages.
+ If <code class="code">bool</code> is <code class="code">true</code>, then we only display
+ packages that are known to exist.<br>
</div>
<pre><span id="VALinfo"><span class="keyword">val</span> info</span> : <code class="type">Types.N.t -> unit</code></pre><div class="info">
Displays a general summary of a package.<br>
@@ -83,4 +85,10 @@
<pre><span id="VALcompiler_list"><span class="keyword">val</span> compiler_list</span> : <code class="type">unit -> unit</code></pre><div class="info">
<code class="code">compiler_list</code> list the available compiler descriptions<br>
</div>
+<pre><span id="VALpin"><span class="keyword">val</span> pin</span> : <code class="type"><a href="Types.html#TYPEpin">Types.pin</a> -> unit</code></pre><div class="info">
+Pin a package to a specific version<br>
+</div>
+<pre><span id="VALpin_list"><span class="keyword">val</span> pin_list</span> : <code class="type">unit -> unit</code></pre><div class="info">
+list the current pinned packages<br>
+</div>
</body></html>
View
10 doc/html/File.Config.html
@@ -32,22 +32,28 @@
<pre><span class="keyword">module</span> Config: <code class="code">sig</code> <a href="File.Config.html">..</a> <code class="code">end</code></pre>Configuration file: <code class="code">$opam/config</code><br>
<hr width="100%">
<pre><span class="keyword">include</span> <a href="File.IO_FILE.html">File.IO_FILE</a></pre>
-<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type">Types.OPAM_V.t -> <a href="Types.html#TYPErepository">Types.repository</a> list -> Types.Alias.t -> int -> t</code></pre><div class="info">
+<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type">Types.OPAM_V.t -><br> <a href="Types.html#TYPErepository">Types.repository</a> list -> Types.Alias.t -> Types.OCaml_V.t option -> int -> t</code></pre><div class="info">
Creation<br>
</div>
<pre><span id="VALwith_ocaml_version"><span class="keyword">val</span> with_ocaml_version</span> : <code class="type">t -> Types.Alias.t -> t</code></pre><div class="info">
-OCaml version updates<br>
+OCaml alias updates<br>
</div>
<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>
+</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>
</div>
<pre><span id="VALrepositories"><span class="keyword">val</span> repositories</span> : <code class="type">t -> <a href="Types.html#TYPErepository">Types.repository</a> list</code></pre><div class="info">
Return the list of repository<br>
</div>
<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>
</div>
<pre><span id="VALcores"><span class="keyword">val</span> cores</span> : <code class="type">t -> int</code></pre><div class="info">
View
61 doc/html/File.Dot_config.Section.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="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">
+<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.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>
+<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 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>
+<pre><span id="VALkind"><span class="keyword">val</span> kind</span> : <code class="type">t -> <a href="Types.html#TYPEsection">Types.section</a> -> string</code></pre><div class="info">
+Return the section kind<br>
+</div>
+<pre><span id="VALasmcomp"><span class="keyword">val</span> asmcomp</span> : <code class="type">t -> <a href="Types.html#TYPEsection">Types.section</a> -> string list</code></pre><div class="info">
+Return the list of native-compiler options<br>
+</div>
+<pre><span id="VALbytecomp"><span class="keyword">val</span> bytecomp</span> : <code class="type">t -> <a href="Types.html#TYPEsection">Types.section</a> -> string list</code></pre><div class="info">
+Return the list of bytecode-compiler options<br>
+</div>
+<pre><span id="VALasmlink"><span class="keyword">val</span> asmlink</span> : <code class="type">t -> <a href="Types.html#TYPEsection">Types.section</a> -> string list</code></pre><div class="info">
+Return the list of native-code linking options<br>
+</div>
+<pre><span id="VALbytelink"><span class="keyword">val</span> bytelink</span> : <code class="type">t -> <a href="Types.html#TYPEsection">Types.section</a> -> string list</code></pre><div class="info">
+Return the list of bytecode linking options<br>
+</div>
+<pre><span id="VALrequires"><span class="keyword">val</span> requires</span> : <code class="type">t -> <a href="Types.html#TYPEsection">Types.section</a> -> <a href="Types.html#TYPEsection">Types.section</a> list</code></pre><div class="info">
+Return the build requirements<br>
+</div>
+<pre><span id="VALvariable"><span class="keyword">val</span> variable</span> : <code class="type">t -> <a href="Types.html#TYPEsection">Types.section</a> -> <a href="Types.html#TYPEvariable">Types.variable</a> -> <a href="Types.html#TYPEvariable_contents">Types.variable_contents</a></code></pre><div class="info">
+Return the value of variables<br>
+</div>
+<pre><span id="VALvariables"><span class="keyword">val</span> variables</span> : <code class="type">t -> <a href="Types.html#TYPEsection">Types.section</a> -> <a href="Types.html#TYPEvariable">Types.variable</a> list</code></pre><div class="info">
+The list of local variables<br>
+</div>
+</body></html>
View
3 doc/html/File.Dot_install.html
@@ -40,6 +40,9 @@
<pre><span id="VALbin"><span class="keyword">val</span> bin</span> : <code class="type">t -> (<a href="Types.html#TYPEfilename">Types.filename</a> * <a href="Types.html#TYPEbasename">Types.basename</a>) list</code></pre><div class="info">
List of files to install in $bin/<br>
</div>
+<pre><span id="VALtoplevel"><span class="keyword">val</span> toplevel</span> : <code class="type">t -> <a href="Types.html#TYPEfilename">Types.filename</a> list</code></pre><div class="info">
+List of toplevel files<br>
+</div>
<pre><span id="VALmisc"><span class="keyword">val</span> misc</span> : <code class="type">t -> (<a href="Types.html#TYPEfilename">Types.filename</a> * <a href="Types.html#TYPEfilename">Types.filename</a>) list</code></pre><div class="info">
List of other files to install<br>
</div>
View
6 doc/html/File.OPAM.html
@@ -52,6 +52,9 @@
<pre><span id="VALsubsts"><span class="keyword">val</span> substs</span> : <code class="type">t -> <a href="Types.html#TYPEbasename">Types.basename</a> list</code></pre><div class="info">
File substitutions<br>
</div>
+<pre><span id="VALbuild_env"><span class="keyword">val</span> build_env</span> : <code class="type">t -> (string * string * string) list</code></pre><div class="info">
+List of environment variables to set-up for the build<br>
+</div>
<pre><span id="VALbuild"><span class="keyword">val</span> build</span> : <code class="type">t -> string list list</code></pre><div class="info">
List of command to run for building the package<br>
</div>
@@ -82,6 +85,9 @@
<pre><span id="VALwith_depends"><span class="keyword">val</span> with_depends</span> : <code class="type">t -> <a href="Types.html#TYPEcnf_formula">Types.cnf_formula</a> -> t</code></pre><div class="info">
Construct as <code class="code">depends</code><br>
</div>
+<pre><span id="VALwith_depopts"><span class="keyword">val</span> with_depopts</span> : <code class="type">t -> <a href="Types.html#TYPEcnf_formula">Types.cnf_formula</a> -> t</code></pre><div class="info">
+Construct as <code class="code">depopts</code><br>
+</div>
<pre><span id="VALwith_build"><span class="keyword">val</span> with_build</span> : <code class="type">t -> string list list -> t</code></pre><div class="info">
Construct as <code class="code">build</code><br>
</div>
View
59 doc/html/File.Pinned.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.Repo_config.html">
+<link rel="next" href="File.Subst.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.Pinned</title>
+</head>
+<body>
+<div class="navbar"><a href="File.Repo_config.html">Previous</a>
+&nbsp;<a href="File.html">Up</a>
+&nbsp;<a href="File.Subst.html">Next</a>
+</div>
+<center><h1>Module <a href="type_File.Pinned.html">File.Pinned</a></h1></center>
+<br>
+<pre><span class="keyword">module</span> Pinned: <code class="type"><a href="File.IO_FILE.html">IO_FILE</a></code><code class="type"> with type t = pin_option N.Map.t</code></pre>Pinned package files<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
4 doc/html/File.Repo_config.html
@@ -5,7 +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.Repo_index.html">
-<link rel="next" href="File.Subst.html">
+<link rel="next" href="File.Pinned.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">
@@ -27,7 +27,7 @@
<body>
<div class="navbar"><a href="File.Repo_index.html">Previous</a>
&nbsp;<a href="File.html">Up</a>
-&nbsp;<a href="File.Subst.html">Next</a>
+&nbsp;<a href="File.Pinned.html">Next</a>
</div>
<center><h1>Module <a href="type_File.Repo_config.html">File.Repo_config</a></h1></center>
<br>
View
4 doc/html/File.Subst.html
@@ -4,7 +4,7 @@
<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.Repo_config.html">
+<link rel="previous" href="File.Pinned.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">
@@ -24,7 +24,7 @@
<link title="Types" rel="Chapter" href="Types.html"><title>File.Subst</title>
</head>
<body>
-<div class="navbar"><a href="File.Repo_config.html">Previous</a>
+<div class="navbar"><a href="File.Pinned.html">Previous</a>
&nbsp;<a href="File.html">Up</a>
&nbsp;</div>
<center><h1>Module <a href="type_File.Subst.html">File.Subst</a></h1></center>
View
3 doc/html/File.html
@@ -83,6 +83,9 @@
<pre><span class="keyword">module</span> <a href="File.Repo_config.html">Repo_config</a>: <code class="type"><a href="File.IO_FILE.html">IO_FILE</a></code><code class="type"> with type t = repository</code></pre><div class="info">
Repository config: <code class="code">$opam/repo/$repo/config</code>
</div>
+<pre><span class="keyword">module</span> <a href="File.Pinned.html">Pinned</a>: <code class="type"><a href="File.IO_FILE.html">IO_FILE</a></code><code class="type"> with type t = pin_option N.Map.t</code></pre><div class="info">
+Pinned package files
+</div>
<br>
<span id="2_Substitutionfiles"><h2>Substitution files</h2></span><br>
<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">
View
9 doc/html/File_format.html
@@ -27,6 +27,7 @@
<link title="Printing functions" rel="Section" href="#2_Printingfunctions">
<link title="Finding functions" rel="Section" href="#2_Findingfunctions">
<link title="Formula" rel="Section" href="#2_Formula">
+<link title="Environment variables" rel="Section" href="#2_Environmentvariables">
<title>File_format</title>
</head>
<body>
@@ -346,4 +347,12 @@
<pre><span id="VALmake_constraint"><span class="keyword">val</span> make_constraint</span> : <code class="type"><a href="Types.html#TYPEocaml_constraint">Types.ocaml_constraint</a> -> <a href="File_format.html#TYPEvalue">value</a></code></pre><div class="info">
Build a simple constraint<br>
</div>
+<br>
+<span id="2_Environmentvariables"><h2>Environment variables</h2></span><br>
+<pre><span id="VALparse_env_variable"><span class="keyword">val</span> parse_env_variable</span> : <code class="type"><a href="File_format.html#TYPEvalue">value</a> -> string * string * string</code></pre><div class="info">
+Parsing<br>
+</div>
+<pre><span id="VALmake_env_variable"><span class="keyword">val</span> make_env_variable</span> : <code class="type">string * string * string -> <a href="File_format.html#TYPEvalue">value</a></code></pre><div class="info">
+Making<br>
+</div>
</body></html>
View
6 doc/html/Path.C.html
@@ -52,6 +52,9 @@
<pre><span id="VALstublibs"><span class="keyword">val</span> stublibs</span> : <code class="type"><a href="Path.C.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
DLL paths<br>
</div>
+<pre><span id="VALtoplevel"><span class="keyword">val</span> toplevel</span> : <code class="type"><a href="Path.C.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
+toplevel path: <i>$opam/$OVERSION/lib/toplevel</i><br>
+</div>
<pre><span id="VALdoc"><span class="keyword">val</span> doc</span> : <code class="type"><a href="Path.C.html#TYPEt">t</a> -> Types.N.t -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
Documentation path for a given package:
<i>$opam/$OVERSION/doc/NAME</i><br>
@@ -113,4 +116,7 @@
<pre><span id="VALconfig_dir"><span class="keyword">val</span> config_dir</span> : <code class="type"><a href="Path.C.html#TYPEt">t</a> -> <a href="Types.html#TYPEdirname">Types.dirname</a></code></pre><div class="info">
Configuration folder: <i>$opam/$OVERSION/config</i><br>
</div>
+<pre><span id="VALpinned"><span class="keyword">val</span> pinned</span> : <code class="type"><a href="Path.C.html#TYPEt">t</a> -> <a href="Types.html#TYPEfilename">Types.filename</a></code></pre><div class="info">
+Pinned package file<br>
+</div>
</body></html>
View
5 doc/html/Run.html
@@ -83,6 +83,9 @@
Return the version of the current OCaml compiler. If no OCaml
compiler is present in the path, then it returns <code class="code">None</code>.<br>
</div>
+<pre><span id="VALocamlc_where"><span class="keyword">val</span> ocamlc_where</span> : <code class="type">unit -> string option</code></pre><div class="info">
+Return the path where ocamlc library is installed<br>
+</div>
<pre><span id="VALdirectories"><span class="keyword">val</span> directories</span> : <code class="type">string -> string list</code></pre><div class="info">
<code class="code">files dir</code> returns the directories in the directory <code class="code">dir</code><br>
</div>
@@ -125,7 +128,7 @@
current processus is the same as the one who took the lock at the
first place.<br>
</div>
-<pre><span id="VALwith_flock"><span class="keyword">val</span> with_flock</span> : <code class="type">('a -> 'b) -> 'a -> 'b</code></pre><div class="info">
+<pre><span id="VALwith_flock"><span class="keyword">val</span> with_flock</span> : <code class="type">(unit -> unit) -> unit</code></pre><div class="info">
Functional version of <code class="code">flock / funlock</code><br>
</div>
<br>
View
11 doc/html/Solver.html
@@ -166,10 +166,15 @@
Subset of packages<br>
</div>
-<pre><span id="VALresolve"><span class="keyword">val</span> resolve</span> : <code class="type"><a href="Solver.html#TYPEuniverse">universe</a> -> <a href="Solver.html#TYPErequest">request</a> -> Types.NV.Set.t -> <a href="Solver.html#TYPEsolution">solution</a> option</code></pre><div class="info">
+<pre><span id="VALresolve"><span class="keyword">val</span> resolve</span> : <code class="type"><a href="Solver.html#TYPEuniverse">universe</a> -> <a href="Solver.html#TYPErequest">request</a> -> Types.NV.Set.t -> <a href="Solver.html#TYPEsolution">solution</a> list</code></pre><div class="info">
Given a description of packages, return a solution preserving the
- consistency of the initial description. <code class="code">None</code> : No solution
- found. The last argument is the set of packages to reinstall.<br>
+ consistency of the initial description. An empty <code class="code">list</code> : No solution
+ found. The last argument is the set of packages to reinstall.
+<p>
+
+ Every element in the solution <code class="code">list</code> satisfies the problem given.
+ For the ordering, the first element in the list
+ is obtained by upgrading from its next element.<br>
</div>
<pre><span id="VALfilter_backward_dependencies"><span class="keyword">val</span> filter_backward_dependencies</span> : <code class="type"><a href="Solver.html#TYPEuniverse">universe</a> -> <a href="Solver.html#TYPEpackages">packages</a> -> <a href="Solver.html#TYPEpackage">package</a> list</code></pre><div class="info">
Return the recursive dependencies of a package Note : the given
View
5 doc/html/Types.Abstract.Map.html
@@ -35,8 +35,11 @@
<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>
-<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">
+<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">
+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>
</body></html>
View
3 doc/html/Types.Abstract.Set.html
@@ -32,6 +32,9 @@
<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">
+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">
Return one element. Fail if the set is not a singleton.<br>
</div>
View
65 doc/html/Types.html
@@ -264,9 +264,63 @@
</div>
<pre><span id="VALstring_of_remote"><span class="keyword">val</span> string_of_remote</span> : <code class="type"><a href="Types.html#TYPEremote">remote</a> -> string</code></pre><div class="info">
-Pretty-print<br>
+Pretty-print or remote args<br>
</div>
-<br><code><span id="TYPEconfig_option"><span class="keyword">type</span> <code class="type"></code>config_option</span> = {</code><table class="typetable">
+<br><code><span id="TYPEpin_option"><span class="keyword">type</span> <code class="type"></code>pin_option</span> = </code><table class="typetable">
+<tr>
+<td align="left" valign="top" >
+<code><span class="keyword">|</span></code></td>
+<td align="left" valign="top" >
+<code><span class="constructor">Version</span> <span class="keyword">of</span> <code class="type"><a href="Types.html#TYPEversion">version</a></code></code></td>
+
+</tr>
+<tr>
+<td align="left" valign="top" >
+<code><span class="keyword">|</span></code></td>
+<td align="left" valign="top" >
+<code><span class="constructor">Path</span> <span class="keyword">of</span> <code class="type"><a href="Types.html#TYPEdirname">dirname</a></code></code></td>
+
+</tr>
+<tr>
+<td align="left" valign="top" >
+<code><span class="keyword">|</span></code></td>
+<td align="left" valign="top" >
+<code><span class="constructor">Unpin</span></code></td>
+
+</tr></table>
+
+<div class="info">
+Pinned packages options<br>
+</div>
+
+<br><code><span id="TYPEpin"><span class="keyword">type</span> <code class="type"></code>pin</span> = {</code><table class="typetable">
+<tr>
+<td align="left" valign="top" >
+<code>&nbsp;&nbsp;</code></td>
+<td align="left" valign="top" >
+<code>pin_package&nbsp;: <code class="type"><a href="Types.html#TYPEname">name</a></code>;</code></td>
+
+</tr>
+<tr>
+<td align="left" valign="top" >
+<code>&nbsp;&nbsp;</code></td>
+<td align="left" valign="top" >
+<code>pin_arg&nbsp;: <code class="type"><a href="Types.html#TYPEpin_option">pin_option</a></code>;</code></td>
+
+</tr></table>
+}
+
+<div class="info">
+Pinned packages<br>
+</div>
+
+<pre><span id="VALstring_of_pin"><span class="keyword">val</span> string_of_pin</span> : <code class="type"><a href="Types.html#TYPEpin">pin</a> -> string</code></pre><div class="info">
+Pretty-printing of pinned packages<br>
+</div>
+<pre><span id="VALpin_option_of_string"><span class="keyword">val</span> pin_option_of_string</span> : <code class="type">string -> <a href="Types.html#TYPEpin_option">pin_option</a></code></pre><div class="info">
+Read pin options args<br>
+</div>
+<pre><span id="VALstring_of_pin_option"><span class="keyword">val</span> string_of_pin_option</span> : <code class="type"><a href="Types.html#TYPEpin_option">pin_option</a> -> string</code></pre><br><code><span id="TYPEconfig_option"><span class="keyword">type</span> <code class="type"></code>config_option</span> = {</code><table class="typetable">
<tr>
<td align="left" valign="top" >
<code>&nbsp;&nbsp;</code></td>
@@ -352,8 +406,13 @@
<pre><span class="keyword">module</span> <a href="Types.Alias.html">Alias</a>: <code class="type"><a href="Types.Abstract.html">Abstract</a></code><code class="type"> </code></pre><div class="info">
Compiler aliases
</div>
-<pre><span id="TYPEand_formula"><span class="keyword">type</span> <code class="type"></code>and_formula</span> = <code class="type">Debian.Format822.vpkglist</code> </pre>
+<pre><span id="TYPEatom_formula"><span class="keyword">type</span> <code class="type"></code>atom_formula</span> = <code class="type">Debian.Format822.vpkg</code> </pre>
+
+<pre><span id="TYPEand_formula"><span class="keyword">type</span> <code class="type"></code>and_formula</span> = <code class="type"><a href="Types.html#TYPEatom_formula">atom_formula</a> list</code> </pre>
+<pre><span id="VALstring_of_atom_formula"><span class="keyword">val</span> string_of_atom_formula</span> : <code class="type"><a href="Types.html#TYPEatom_formula">atom_formula</a> -> string</code></pre><div class="info">
+Pretty-print<br>
+</div>
<pre><span id="TYPEcnf_formula"><span class="keyword">type</span> <code class="type"></code>cnf_formula</span> = <code class="type">Debian.Format822.vpkgformula</code> </pre>
<pre><span id="TYPEocaml_constraint"><span class="keyword">type</span> <code class="type"></code>ocaml_constraint</span> = <code class="type"><a href="Types.html#TYPErelop">relop</a> * OCaml_V.t</code> </pre>
View
5 doc/html/index_modules.html
@@ -199,6 +199,11 @@
Typed filename management.
</div>
</td></tr>
+<tr><td><a href="File.Pinned.html">Pinned</a> [<a href="File.html">File</a>]</td>
+<td><div class="info">
+Pinned package files
+</div>
+</td></tr>
<tr><td><a href="Process.html">Process</a> </td>
<td><div class="info">
Process handling
View
12 doc/html/index_types.html
@@ -31,6 +31,8 @@
</td></tr>
<tr><td><a href="Types.html#TYPEand_formula">and_formula</a> [<a href="Types.html">Types</a>]</td>
<td></td></tr>
+<tr><td><a href="Types.html#TYPEatom_formula">atom_formula</a> [<a href="Types.html">Types</a>]</td>
+<td></td></tr>
<tr><td align="left"><br>B</td></tr>
<tr><td><a href="Types.html#TYPEbasename">basename</a> [<a href="Types.html">Types</a>]</td>
<td><div class="info">
@@ -112,6 +114,16 @@
Subset of packages
</div>
</td></tr>
+<tr><td><a href="Types.html#TYPEpin">pin</a> [<a href="Types.html">Types</a>]</td>
+<td><div class="info">
+Pinned packages
+</div>
+</td></tr>
+<tr><td><a href="Types.html#TYPEpin_option">pin_option</a> [<a href="Types.html">Types</a>]</td>
+<td><div class="info">
+Pinned packages options
+</div>
+</td></tr>
<tr><td><a href="Types.html#TYPEppflag">ppflag</a> [<a href="Types.html">Types</a>]</td>
<td><div class="info">
Content of <code class="code">pp</code> variables
View
94 doc/html/index_values.html
@@ -221,6 +221,11 @@
processed: <i>$opam/$OVERSION/build/$NAME.$VERSION/$NAME.env</i>
</div>
</td></tr>
+<tr><td><a href="File.OPAM.html#VALbuild_env">build_env</a> [<a href="File.OPAM.html">File.OPAM</a>]</td>
+<td><div class="info">
+List of environment variables to set-up for the build
+</div>
+</td></tr>
<tr><td><a href="Path.C.html#VALbuild_install">build_install</a> [<a href="Path.C.html">Path.C</a>]</td>
<td><div class="info">
Tempory location of install files:
@@ -758,6 +763,11 @@
</div>
</td></tr>
<tr><td align="left"><br>L</td></tr>
+<tr><td><a href="File.Config.html#VALlast_ocaml_in_path">last_ocaml_in_path</a> [<a href="File.Config.html">File.Config</a>]</td>
+<td><div class="info">
+Return the OCaml version
+</div>
+</td></tr>
<tr><td><a href="Path.C.html#VALlib">lib</a> [<a href="Path.C.html">Path.C</a>]</td>
<td><div class="info">
Library path for a given package:
@@ -811,7 +821,7 @@
</td></tr>
<tr><td><a href="Client.html#VALlist">list</a> [<a href="Client.html">Client</a>]</td>
<td><div class="info">
-Displays all available packages
+Displays all available packages.
</div>
</td></tr>
<tr><td align="left"><br>M</td></tr>
@@ -847,6 +857,11 @@
Build a simple constraint
</div>
</td></tr>
+<tr><td><a href="File_format.html#VALmake_env_variable">make_env_variable</a> [<a href="File_format.html">File_format</a>]</td>
+<td><div class="info">
+Making
+</div>
+</td></tr>
<tr><td><a href="File_format.html#VALmake_group">make_group</a> [<a href="File_format.html">File_format</a>]</td>
<td><div class="info">
Create a group of 'things'
@@ -892,10 +907,15 @@
Create a symbol
</div>
</td></tr>
+<tr><td><a href="Types.Abstract.Set.html#VALmap">map</a> [<a href="Types.Abstract.Set.html">Types.Abstract.Set</a>]</td>
+<td><div class="info">
+auto-map
+</div>
+</td></tr>
<tr><td><a href="Types.Abstract.Map.html#VALmerge_max">merge_max</a> [<a href="Types.Abstract.Map.html">Types.Abstract.Map</a>]</td>
<td><div class="info">
-Same as <code class="code">merge</code> but only keys that appear in both maps
- are given in the merging function
+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.
</div>
</td></tr>
<tr><td><a href="File.Dot_install.Raw.html#VALmisc">misc</a> [<a href="File.Dot_install.Raw.html">File.Dot_install.Raw</a>]</td>
@@ -957,7 +977,12 @@
</td></tr>
<tr><td><a href="File.Config.html#VALocaml_version">ocaml_version</a> [<a href="File.Config.html">File.Config</a>]</td>
<td><div class="info">
-Return the OCaml version
+Return the OCaml alias
+</div>
+</td></tr>
+<tr><td><a href="Run.html#VALocamlc_where">ocamlc_where</a> [<a href="Run.html">Run</a>]</td>
+<td><div class="info">
+Return the path where ocamlc library is installed
</div>
</td></tr>
<tr><td><a href="Types.Filename.html#VALof_basename">of_basename</a> [<a href="Types.Filename.html">Types.Filename</a>]</td>
@@ -1075,6 +1100,11 @@
Parse a simple constraint
</div>
</td></tr>
+<tr><td><a href="File_format.html#VALparse_env_variable">parse_env_variable</a> [<a href="File_format.html">File_format</a>]</td>
+<td><div class="info">
+Parsing
+</div>
+</td></tr>
<tr><td><a href="File_format.html#VALparse_group">parse_group</a> [<a href="File_format.html">File_format</a>]</td>
<td><div class="info">
Parse a group of 'things'
@@ -1160,6 +1190,26 @@
Return the list of patches to apply
</div>
</td></tr>
+<tr><td><a href="Client.html#VALpin">pin</a> [<a href="Client.html">Client</a>]</td>
+<td><div class="info">
+Pin a package to a specific version
+</div>
+</td></tr>
+<tr><td><a href="Client.html#VALpin_list">pin_list</a> [<a href="Client.html">Client</a>]</td>
+<td><div class="info">
+list the current pinned packages
+</div>
+</td></tr>
+<tr><td><a href="Types.html#VALpin_option_of_string">pin_option_of_string</a> [<a href="Types.html">Types</a>]</td>
+<td><div class="info">
+Read pin options args
+</div>
+</td></tr>
+<tr><td><a href="Path.C.html#VALpinned">pinned</a> [<a href="Path.C.html">Path.C</a>]</td>
+<td><div class="info">
+Pinned package file
+</div>
+</td></tr>
<tr><td><a href="File.Comp.html#VALpp">pp</a> [<a href="File.Comp.html">File.Comp</a>]</td>
<td><div class="info">
Preprocessing options
@@ -1379,6 +1429,11 @@
Check wether a filename starts by a given dirname
</div>
</td></tr>
+<tr><td><a href="Types.html#VALstring_of_atom_formula">string_of_atom_formula</a> [<a href="Types.html">Types</a>]</td>
+<td><div class="info">
+Pretty-print
+</div>
+</td></tr>
<tr><td><a href="Types.html#VALstring_of_config">string_of_config</a> [<a href="Types.html">Types</a>]</td>
<td><div class="info">
Pretty-print
@@ -1399,9 +1454,16 @@
Print a list of items
</div>
</td></tr>
+<tr><td><a href="Types.html#VALstring_of_pin">string_of_pin</a> [<a href="Types.html">Types</a>]</td>
+<td><div class="info">
+Pretty-printing of pinned packages
+</div>
+</td></tr>
+<tr><td><a href="Types.html#VALstring_of_pin_option">string_of_pin_option</a> [<a href="Types.html">Types</a>]</td>
+<td></td></tr>
<tr><td><a href="Types.html#VALstring_of_remote">string_of_remote</a> [<a href="Types.html">Types</a>]</td>
<td><div class="info">
-Pretty-print
+Pretty-print or remote args
</div>
</td></tr>
<tr><td><a href="Solver.html#VALstring_of_request">string_of_request</a> [<a href="Solver.html">Solver</a>]</td>
@@ -1483,6 +1545,16 @@
Convert an abstract value to a string
</div>
</td></tr>
+<tr><td><a href="Path.C.html#VALtoplevel">toplevel</a> [<a href="Path.C.html">Path.C</a>]</td>
+<td><div class="info">
+toplevel path: <i>$opam/$OVERSION/lib/toplevel</i>
+</div>
+</td></tr>
+<tr><td><a href="File.Dot_install.html#VALtoplevel">toplevel</a> [<a href="File.Dot_install.html">File.Dot_install</a>]</td>
+<td><div class="info">
+List of toplevel files
+</div>
+</td></tr>
<tr><td align="left"><br>U</td></tr>
<tr><td><a href="Repositories.html#VALupdate">update</a> [<a href="Repositories.html">Repositories</a>]</td>
<td><div class="info">
@@ -1627,16 +1699,26 @@
Construct as <code class="code">depends</code>
</div>
</td></tr>
+<tr><td><a href="File.OPAM.html#VALwith_depopts">with_depopts</a> [<a href="File.OPAM.html">File.OPAM</a>]</td>
+<td><div class="info">
+Construct as <code class="code">depopts</code>
+</div>
+</td></tr>
<tr><td><a href="Run.html#VALwith_flock">with_flock</a> [<a href="Run.html">Run</a>]</td>
<td><div class="info">
Functional version of <code class="code">flock / funlock</code>
</div>
</td></tr>
-<tr><td><a href="File.Config.html#VALwith_ocaml_version">with_ocaml_version</a> [<a href="File.Config.html">File.Config</a>]</td>
+<tr><td><a href="File.Config.html#VALwith_last_ocaml_in_path">with_last_ocaml_in_path</a> [<a href="File.Config.html">File.Config</a>]</td>
<td><div class="info">
OCaml version updates
</div>
</td></tr>
+<tr><td><a href="File.Config.html#VALwith_ocaml_version">with_ocaml_version</a> [<a href="File.Config.html">File.Config</a>]</td>
+<td><div class="info">
+OCaml alias updates
+</div>
+</td></tr>
<tr><td><a href="Types.Filename.html#VALwith_raw">with_raw</a> [<a href="Types.Filename.html">Types.Filename</a>]</td>
<td><div class="info">
Apply a function on the contents of a file
View
7 doc/html/type_Client.html
@@ -22,8 +22,9 @@
<body>
<code class="code"><span class="keyword">sig</span><br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;init&nbsp;:<br>
-&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.repository&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OCaml_V</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
-&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;list&nbsp;:&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
+&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.repository&nbsp;<span class="keywordsign">-&gt;</span><br>
+&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OCaml_V</span>.t&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;list&nbsp;:&nbsp;bool&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;info&nbsp;:&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;config&nbsp;:&nbsp;<span class="constructor">Types</span>.config&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;install&nbsp;:&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.<span class="constructor">Set</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
@@ -34,4 +35,6 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;remote&nbsp;:&nbsp;<span class="constructor">Types</span>.remote&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;switch&nbsp;:&nbsp;bool&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OCaml_V</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;compiler_list&nbsp;:&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;pin&nbsp;:&nbsp;<span class="constructor">Types</span>.pin&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;pin_list&nbsp;:&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
<span class="keyword">end</span></code></body></html>
View
6 doc/html/type_File.Config.html
@@ -29,11 +29,15 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_raw&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.raw<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_raw&nbsp;:&nbsp;<span class="constructor">Types</span>.raw&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;create&nbsp;:<br>
-&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.<span class="constructor">OPAM_V</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.repository&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.<span class="constructor">OPAM_V</span>.t&nbsp;<span class="keywordsign">-&gt;</span><br>
+&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.repository&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span><br>
+&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OCaml_V</span>.t&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_ocaml_version&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_repositories&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.repository&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_last_ocaml_in_path&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OCaml_V</span>.t&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;opam_version&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OPAM_V</span>.t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;repositories&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.repository&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;ocaml_version&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;last_ocaml_in_path&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OCaml_V</span>.t&nbsp;option<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;cores&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
<span class="keyword">end</span></code></body></html>
View
23 doc/html/type_File.Dot_config.Section.html
@@ -0,0 +1,23 @@
+<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 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.Dot_config.Section</title>
+</head>
+<body>
+<code class="code"><span class="constructor">SECTION</span></code></body></html>
View
1 doc/html/type_File.Dot_install.html
@@ -44,5 +44,6 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_raw&nbsp;:&nbsp;<span class="constructor">Types</span>.raw&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;lib&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;bin&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="constructor">Types</span>.filename&nbsp;*&nbsp;<span class="constructor">Types</span>.basename)&nbsp;list<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;toplevel&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;misc&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="constructor">Types</span>.filename&nbsp;*&nbsp;<span class="constructor">Types</span>.filename)&nbsp;list<br>
<span class="keyword">end</span></code></body></html>
View
2 doc/html/type_File.OPAM.html
@@ -34,6 +34,7 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;ocaml_version&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.ocaml_constraint&nbsp;option<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;maintainer&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;substs&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.basename&nbsp;list<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;build_env&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(string&nbsp;*&nbsp;string&nbsp;*&nbsp;string)&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;build&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;remove&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;depends&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.cnf_formula<br>
@@ -44,6 +45,7 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_package&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;installed:bool&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Debian</span>.<span class="constructor">Packages</span>.package<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;s_depopts&nbsp;:&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_depends&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.cnf_formula&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_depopts&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.cnf_formula&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_build&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_remove&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
<span class="keyword">end</span></code></body></html>
View
31 doc/html/type_File.Pinned.html
@@ -0,0 +1,31 @@
+<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 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.Pinned</title>
+</head>
+<body>
+<code class="code"><span class="keyword">sig</span><br>
+&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;t&nbsp;=&nbsp;<span class="constructor">Types</span>.pin_option&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.<span class="constructor">Map</span>.t<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;empty&nbsp;:&nbsp;t<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;write&nbsp;:&nbsp;<span class="constructor">Types</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;read&nbsp;:&nbsp;<span class="constructor">Types</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;safe_read&nbsp;:&nbsp;<span class="constructor">Types</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_raw&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.raw<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_raw&nbsp;:&nbsp;<span class="constructor">Types</span>.raw&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+<span class="keyword">end</span></code></body></html>
View
19 doc/html/type_File.html
@@ -41,12 +41,16 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_raw&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.raw<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_raw&nbsp;:&nbsp;<span class="constructor">Types</span>.raw&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;create&nbsp;:<br>
-&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.<span class="constructor">OPAM_V</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.repository&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.<span class="constructor">OPAM_V</span>.t&nbsp;<span class="keywordsign">-&gt;</span><br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.repository&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span><br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OCaml_V</span>.t&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_ocaml_version&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_repositories&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.repository&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_last_ocaml_in_path&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OCaml_V</span>.t&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;opam_version&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OPAM_V</span>.t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;repositories&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.repository&nbsp;list<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;ocaml_version&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Alias</span>.t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;last_ocaml_in_path&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">OCaml_V</span>.t&nbsp;option<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;cores&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">OPAM</span>&nbsp;:<br>
@@ -64,6 +68,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;ocaml_version&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.ocaml_constraint&nbsp;option<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;maintainer&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;substs&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.basename&nbsp;list<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;build_env&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(string&nbsp;*&nbsp;string&nbsp;*&nbsp;string)&nbsp;list<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;build&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list&nbsp;list<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;remove&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list&nbsp;list<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;depends&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.cnf_formula<br>
@@ -74,6 +79,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_package&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;installed:bool&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Debian</span>.<span class="constructor">Packages</span>.package<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;s_depopts&nbsp;:&nbsp;string<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_depends&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.cnf_formula&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_depopts&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.cnf_formula&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_build&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_remove&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
@@ -193,6 +199,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_raw&nbsp;:&nbsp;<span class="constructor">Types</span>.raw&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;lib&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename&nbsp;list<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;bin&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="constructor">Types</span>.filename&nbsp;*&nbsp;<span class="constructor">Types</span>.basename)&nbsp;list<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;toplevel&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename&nbsp;list<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;misc&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="constructor">Types</span>.filename&nbsp;*&nbsp;<span class="constructor">Types</span>.filename)&nbsp;list<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Dot_config</span>&nbsp;:<br>
@@ -244,6 +251,16 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_raw&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.raw<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_raw&nbsp;:&nbsp;<span class="constructor">Types</span>.raw&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
+&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Pinned</span>&nbsp;:<br>
+&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;t&nbsp;=&nbsp;<span class="constructor">Types</span>.pin_option&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.<span class="constructor">Map</span>.t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;empty&nbsp;:&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;write&nbsp;:&nbsp;<span class="constructor">Types</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;read&nbsp;:&nbsp;<span class="constructor">Types</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;safe_read&nbsp;:&nbsp;<span class="constructor">Types</span>.filename&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_raw&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.raw<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_raw&nbsp;:&nbsp;<span class="constructor">Types</span>.raw&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Subst</span>&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;t<br>
View
2 doc/html/type_File_format.html
@@ -107,4 +107,6 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_cnf_formula&nbsp;:&nbsp;<span class="constructor">Types</span>.cnf_formula&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">File_format</span>.value<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parse_constraint&nbsp;:&nbsp;<span class="constructor">File_format</span>.value&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.ocaml_constraint<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_constraint&nbsp;:&nbsp;<span class="constructor">Types</span>.ocaml_constraint&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">File_format</span>.value<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parse_env_variable&nbsp;:&nbsp;<span class="constructor">File_format</span>.value&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;*&nbsp;string&nbsp;*&nbsp;string<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;make_env_variable&nbsp;:&nbsp;string&nbsp;*&nbsp;string&nbsp;*&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">File_format</span>.value<br>
<span class="keyword">end</span></code></body></html>
View
2 doc/html/type_Path.C.html
@@ -27,6 +27,7 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;lib&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;lib_dir&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;stublibs&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;toplevel&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;doc&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;doc_dir&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;bin&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
@@ -43,4 +44,5 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;reinstall&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;config&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;config_dir&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;pinned&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename<br>
<span class="keyword">end</span></code></body></html>
View
2 doc/html/type_Path.html
@@ -29,6 +29,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;lib&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;lib_dir&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;stublibs&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;toplevel&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;doc&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;doc_dir&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;bin&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
@@ -45,6 +46,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;reinstall&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;config&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">N</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;config_dir&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.dirname<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;pinned&nbsp;:&nbsp;<span class="constructor">Path</span>.<span class="constructor">C</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.filename<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">G</span>&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
View
3 doc/html/type_Run.html
@@ -35,6 +35,7 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;files&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;rec_files&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;ocaml_version&nbsp;:&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;option<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;ocamlc_where&nbsp;:&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;option<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;directories&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;command&nbsp;=&nbsp;string&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;command&nbsp;:<br>
@@ -51,7 +52,7 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;mkdir&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;flock&nbsp;:&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;funlock&nbsp;:&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
-&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_flock&nbsp;:&nbsp;(<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>b)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>b<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;with_flock&nbsp;:&nbsp;(unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;download&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;patch&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
<span class="keyword">end</span></code></body></html>
View
2 doc/html/type_Solver.html
@@ -178,7 +178,7 @@
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;packages&nbsp;=&nbsp;<span class="constructor">P</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Solver</span>.package&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;resolve&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Solver</span>.universe&nbsp;<span class="keywordsign">-&gt;</span><br>
-&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Solver</span>.request&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">NV</span>.<span class="constructor">Set</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Solver</span>.solution&nbsp;option<br>
+&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Solver</span>.request&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">NV</span>.<span class="constructor">Set</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Solver</span>.solution&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;filter_backward_dependencies&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Solver</span>.universe&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Solver</span>.packages&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Solver</span>.package&nbsp;list<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;filter_forward_dependencies&nbsp;:<br>
View
1 doc/html/type_Types.Abstract.Set.html
@@ -47,6 +47,7 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;max_elt&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;split&nbsp;:&nbsp;elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;*&nbsp;bool&nbsp;*&nbsp;t<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;map&nbsp;:&nbsp;(elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose_one&nbsp;:&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_list&nbsp;:&nbsp;elt&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_string&nbsp;:&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
View
1 doc/html/type_Types.Abstract.html
@@ -52,6 +52,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;max_elt&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;split&nbsp;:&nbsp;elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;*&nbsp;bool&nbsp;*&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;map&nbsp;:&nbsp;(elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose_one&nbsp;:&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_list&nbsp;:&nbsp;elt&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_string&nbsp;:&nbsp;<span class="constructor">Types</span>.<span class="constructor">Abstract</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
View
1 doc/html/type_Types.Dirname.html
@@ -52,6 +52,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;max_elt&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;split&nbsp;:&nbsp;elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;*&nbsp;bool&nbsp;*&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;map&nbsp;:&nbsp;(elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose_one&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_list&nbsp;:&nbsp;elt&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_string&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
View
1 doc/html/type_Types.Filename.html
@@ -52,6 +52,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;max_elt&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;split&nbsp;:&nbsp;elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;*&nbsp;bool&nbsp;*&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;map&nbsp;:&nbsp;(elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose_one&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_list&nbsp;:&nbsp;elt&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_string&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
View
1 doc/html/type_Types.Full_section.html
@@ -52,6 +52,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;max_elt&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;split&nbsp;:&nbsp;elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;*&nbsp;bool&nbsp;*&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;map&nbsp;:&nbsp;(elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose_one&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_list&nbsp;:&nbsp;elt&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_string&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
View
1 doc/html/type_Types.Full_variable.html
@@ -52,6 +52,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;max_elt&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;split&nbsp;:&nbsp;elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;*&nbsp;bool&nbsp;*&nbsp;t<br>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;map&nbsp;:&nbsp;(elt&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;choose_one&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;elt<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_list&nbsp;:&nbsp;elt&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;t<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;to_string&nbsp;:&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>