Merge pull request #10 from OCamlPro/z-2020-08-01-use-patches-only

version 9.1.2 with --extract
OCamlPro · Aug 4, 2020 · accf24f · accf24f
2 parents 2a030b4 + 78ed6f0
commit accf24f
Show file tree

Hide file tree

Showing 35 changed files with 508 additions and 170 deletions.
diff --git a/docs/.buildinfo b/docs/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 52c7d40600543a95223541956d3643be
+config: ae1fa97c61482e1a1fe2befb76680b8e
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/.doctrees/about-and-thanks.doctree b/docs/.doctrees/about-and-thanks.doctree
diff --git a/docs/.doctrees/environment.pickle b/docs/.doctrees/environment.pickle
diff --git a/docs/.doctrees/local-usage.doctree b/docs/.doctrees/local-usage.doctree
diff --git a/docs/.doctrees/repositories.doctree b/docs/.doctrees/repositories.doctree
diff --git a/docs/.doctrees/sharing-packages.doctree b/docs/.doctrees/sharing-packages.doctree
diff --git a/docs/_sources/about-and-thanks.rst.txt b/docs/_sources/about-and-thanks.rst.txt
@@ -17,6 +17,7 @@ About
 
   * Raja BOUJBEL <raja.boujbel@ocamlpro.com>
   * Louis GESBERT <louis.gesbert@ocamlpro.com>
+  * Thomas BLANC <thomas.blanc@ocamlpro.com>
 
 Thanks
 ------
@@ -33,4 +34,3 @@ Funding
 We are looking for funding to support this project on the long
 term. If you want to help us, contact us at `contact@ocamlpro.com
 <contact@ocamlpro.com>`__.
-
diff --git a/docs/_sources/local-usage.rst.txt b/docs/_sources/local-usage.rst.txt
@@ -89,8 +89,16 @@ gives the following output::
 Let's retry in another switch, to check if :code:`opam-bin` correctly
 install the binary packages::
 
-  opam switch create test-reloc 4.07.1
-  opam install alt-ergo+bin -y
+  $ opam update
+  $ opam switch list-available
+  ocaml-base-compiler 4.07.1+bin+9dc450ca+237a0dc7
+  $ opam switch create test-reloc 4.07.1+bin+9dc450ca+237a0dc7
+  $ opam install alt-ergo+bin -y
+
+Another solution is to start from an empty switch::
+
+  $ opam switch create test-reloc --empty
+  $ opam install alt-ergo+bin -y
 
 We can also search in the generated binary archives for specific files::
 

diff --git a/docs/_sources/repositories.rst.txt b/docs/_sources/repositories.rst.txt
@@ -6,9 +6,11 @@ Here is a list of contributed binary repositories. You should check
 what packages they export and the operating system/architecture for
 which they work before using them:
 
-* `https://www.origin-labs.com/opam-bin/debian10.4-amd64/repo <https://www.origin-labs.com/opam-bin/debian10.4-amd64/repo>`__ :
-  binary packages for Debian 10.4 Buster compiled on an Intel 64 bits
-
-
-
+* `Origin Labs Repositories for for Debian 10.4 on amd64
+  <https://www.origin-labs.com/opam-bin/debian10.4-amd64>`__ : this is
+  a set of repositories for different versions of OCaml. The set
+  contains a repository with binary packages for OCaml 4.10.0, 4.09.1,
+  4.08.1 and 4.07.1. It also contains a repository merging all these
+  repositories.
 
+If you want your binary repository to appear in this list, contact us!
diff --git a/docs/_sources/sharing-packages.rst.txt b/docs/_sources/sharing-packages.rst.txt
@@ -95,7 +95,7 @@ changing these files, you can use::
 to generate a new
 :code:`~/.opam/plugins/opam-bin/store/repo/index.html` file and check
 the result.
-  
+
 Using a Binary Repository Only
 ------------------------------
 
@@ -105,9 +105,6 @@ Once a repository with binary packages has been published,
 For example::
 
   export OPAMROOT=$HOME/opam-root
-  opam init --bare -n https://www.origin-labs.com/opam-bin/debian10.4-amd64/repo
+  opam init --bare -n https://www.origin-labs.com/opam-bin/debian10.4-amd64/4.10.0
   opam switch create alt-ergo --empty
   opam install alt-ergo -y
-
-
-
diff --git a/docs/_static/documentation_options.js b/docs/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: 'z-2020-08-01-use-patches-only (e9c9199) (2020/08/02 20:18)',
+    VERSION: 'z-2020-08-01-use-patches-only (2d2e3f1) (2020/08/04 21:39)',
     LANGUAGE: 'None',
     COLLAPSE_INDEX: false,
     FILE_SUFFIX: '.html',

diff --git a/docs/about-and-thanks.html b/docs/about-and-thanks.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>About, Thanks and Funding &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -64,7 +64,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 
@@ -187,6 +187,7 @@ <h2>About<a class="headerlink" href="#about" title="Permalink to this headline">
 <li>Expertise:<ul>
 <li>Raja BOUJBEL &lt;<a class="reference external" href="mailto:raja&#46;boujbel&#37;&#52;&#48;ocamlpro&#46;com">raja<span>&#46;</span>boujbel<span>&#64;</span>ocamlpro<span>&#46;</span>com</a>&gt;</li>
 <li>Louis GESBERT &lt;<a class="reference external" href="mailto:louis&#46;gesbert&#37;&#52;&#48;ocamlpro&#46;com">louis<span>&#46;</span>gesbert<span>&#64;</span>ocamlpro<span>&#46;</span>com</a>&gt;</li>
+<li>Thomas BLANC &lt;<a class="reference external" href="mailto:thomas&#46;blanc&#37;&#52;&#48;ocamlpro&#46;com">thomas<span>&#46;</span>blanc<span>&#64;</span>ocamlpro<span>&#46;</span>com</a>&gt;</li>
 </ul>
 </li>
 </ul>

diff --git a/docs/basic-concepts.html b/docs/basic-concepts.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Basic Concepts &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -65,7 +65,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 

diff --git a/docs/commands.html b/docs/commands.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Commands &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -65,7 +65,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 

diff --git a/docs/f-a-q.html b/docs/f-a-q.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Frequently Asked Questions &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -65,7 +65,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 

diff --git a/docs/genindex.html b/docs/genindex.html
@@ -9,8 +9,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Index &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -64,7 +64,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 

diff --git a/docs/index.html b/docs/index.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Welcome to Opam-bin &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -64,7 +64,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 

diff --git a/docs/installation.html b/docs/installation.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Installation &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -65,7 +65,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 

diff --git a/docs/introduction.html b/docs/introduction.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Introduction &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -65,7 +65,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 

diff --git a/docs/local-usage.html b/docs/local-usage.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Local Usage &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -65,7 +65,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 
@@ -263,8 +263,16 @@ <h2>Simple Example<a class="headerlink" href="#simple-example" title="Permalink
 </div>
 <p>Let’s retry in another switch, to check if <code class="code docutils literal notranslate"><span class="pre">opam-bin</span></code> correctly
 install the binary packages:</p>
-<div class="highlight-ocaml notranslate"><div class="highlight"><pre><span></span><span class="n">opam</span> <span class="n">switch</span> <span class="n">create</span> <span class="n">test</span><span class="o">-</span><span class="n">reloc</span> <span class="mi">4</span><span class="o">.</span><span class="mi">07</span><span class="o">.</span><span class="mi">1</span>
-<span class="n">opam</span> <span class="n">install</span> <span class="n">alt</span><span class="o">-</span><span class="n">ergo</span><span class="o">+</span><span class="n">bin</span> <span class="o">-</span><span class="n">y</span>
+<div class="highlight-ocaml notranslate"><div class="highlight"><pre><span></span><span class="o">$</span> <span class="n">opam</span> <span class="n">update</span>
+<span class="o">$</span> <span class="n">opam</span> <span class="n">switch</span> <span class="kt">list</span><span class="o">-</span><span class="n">available</span>
+<span class="n">ocaml</span><span class="o">-</span><span class="n">base</span><span class="o">-</span><span class="n">compiler</span> <span class="mi">4</span><span class="o">.</span><span class="mi">07</span><span class="o">.</span><span class="mi">1</span><span class="o">+</span><span class="n">bin</span><span class="o">+</span><span class="mi">9</span><span class="n">dc450ca</span><span class="o">+</span><span class="mi">237</span><span class="n">a0dc7</span>
+<span class="o">$</span> <span class="n">opam</span> <span class="n">switch</span> <span class="n">create</span> <span class="n">test</span><span class="o">-</span><span class="n">reloc</span> <span class="mi">4</span><span class="o">.</span><span class="mi">07</span><span class="o">.</span><span class="mi">1</span><span class="o">+</span><span class="n">bin</span><span class="o">+</span><span class="mi">9</span><span class="n">dc450ca</span><span class="o">+</span><span class="mi">237</span><span class="n">a0dc7</span>
+<span class="o">$</span> <span class="n">opam</span> <span class="n">install</span> <span class="n">alt</span><span class="o">-</span><span class="n">ergo</span><span class="o">+</span><span class="n">bin</span> <span class="o">-</span><span class="n">y</span>
+</pre></div>
+</div>
+<p>Another solution is to start from an empty switch:</p>
+<div class="highlight-ocaml notranslate"><div class="highlight"><pre><span></span><span class="o">$</span> <span class="n">opam</span> <span class="n">switch</span> <span class="n">create</span> <span class="n">test</span><span class="o">-</span><span class="n">reloc</span> <span class="o">--</span><span class="n">empty</span>
+<span class="o">$</span> <span class="n">opam</span> <span class="n">install</span> <span class="n">alt</span><span class="o">-</span><span class="n">ergo</span><span class="o">+</span><span class="n">bin</span> <span class="o">-</span><span class="n">y</span>
 </pre></div>
 </div>
 <p>We can also search in the generated binary archives for specific files:</p>

diff --git a/docs/objects.inv b/docs/objects.inv
diff --git a/docs/repositories.html b/docs/repositories.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Contributed Binary Repositories &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -65,7 +65,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>
 
@@ -174,9 +174,13 @@ <h1>Contributed Binary Repositories<a class="headerlink" href="#contributed-bina
 what packages they export and the operating system/architecture for
 which they work before using them:</p>
 <ul class="simple">
-<li><a class="reference external" href="https://www.origin-labs.com/opam-bin/debian10.4-amd64/repo">https://www.origin-labs.com/opam-bin/debian10.4-amd64/repo</a> :
-binary packages for Debian 10.4 Buster compiled on an Intel 64 bits</li>
+<li><a class="reference external" href="https://www.origin-labs.com/opam-bin/debian10.4-amd64">Origin Labs Repositories for for Debian 10.4 on amd64</a> : this is
+a set of repositories for different versions of OCaml. The set
+contains a repository with binary packages for OCaml 4.10.0, 4.09.1,
+4.08.1 and 4.07.1. It also contains a repository merging all these
+repositories.</li>
 </ul>
+<p>If you want your binary repository to appear in this list, contact us!</p>
 </div>
 
 

diff --git a/docs/search.html b/docs/search.html
@@ -8,8 +8,8 @@
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
   <title>Search &mdash; opam-bin z-2020-08-01-use-patches-only
- (e9c9199
-) (2020/08/02 20:18) documentation</title>
+ (2d2e3f1
+) (2020/08/04 21:39) documentation</title>
 
 
 
@@ -65,7 +65,7 @@
 
               <div class="version">
                 z-2020-08-01-use-patches-only
- (e9c9199
+ (2d2e3f1
 )
               </div>