<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>coqprime-generator: 27 s 🏆</title>
    <link rel="shortcut icon" type="image/png" href="../../../../../favicon.png" />
    <link href="../../../../../bootstrap.min.css" rel="stylesheet">
    <link href="../../../../../bootstrap-custom.css" rel="stylesheet">
    <link href="//maxcdn.bootstrapcdn.com/font-awesome/4.2.0/css/font-awesome.min.css" rel="stylesheet">
    <script src="../../../../../moment.min.js"></script>
    <!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries -->
    <!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
    <!--[if lt IE 9]>
      <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
      <script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="container">
      <div class="navbar navbar-default" role="navigation">
        <div class="container-fluid">
          <div class="navbar-header">
            <a class="navbar-brand" href="../../../../.."><i class="fa fa-lg fa-flag-checkered"></i> Coq bench</a>
          </div>
          <div id="navbar" class="collapse navbar-collapse">
            <ul class="nav navbar-nav">
              <li><a href="../..">clean / released</a></li>
              <li class="active"><a href="">8.5.0~camlp4 / coqprime-generator - 1.1.1</a></li>
            </ul>
          </div>
        </div>
      </div>
      <div class="article">
        <div class="row">
          <div class="col-md-12">
            <a href="../..">« Up</a>
            <h1>
              coqprime-generator
              <small>
                1.1.1
                <span class="label label-success">27 s 🏆</span>
              </small>
            </h1>
            <p>📅 <em><script>document.write(moment("2021-12-23 07:49:00 +0000", "YYYY-MM-DD HH:mm:ss Z").fromNow());</script> (2021-12-23 07:49:00 UTC)</em><p>
            <h2>Context</h2>
            <pre># Packages matching: installed
# Name              # Installed  # Synopsis
base-bigarray       base
base-num            base         Num library distributed with the OCaml compiler
base-threads        base
base-unix           base
camlp4              4.03+1       Camlp4 is a system for writing extensible parsers for programming languages
conf-findutils      1            Virtual package relying on findutils
conf-which          1            Virtual package relying on which
coq                 8.5.0~camlp4 Formal proof management system
num                 0            The Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.03.0       The OCaml compiler (virtual package)
ocaml-base-compiler 4.03.0       Official 4.03.0 release
ocaml-config        1            OCaml Switch Configuration
ocamlbuild          0.14.0       OCamlbuild is a build system with builtin rules to easily build most OCaml projects.
# opam file:
opam-version: &quot;2.0&quot;
maintainer: &quot;thery@sophia.inria.fr&quot;
homepage: &quot;https://github.com/thery/coqprime&quot;
bug-reports: &quot;https://github.com/thery/coqprime/issues&quot;
dev-repo: &quot;git+https://github.com/thery/coqprime.git&quot;
license: &quot;LGPL-2.1-only&quot;
authors: [&quot;Laurent Théry&quot;]
build: [
  # cd to a subfolder in opam is tricky, so just move gencertif to the root folder
  [ &quot;find&quot; &quot;gencertif&quot; &quot;-type&quot; &quot;f&quot; &quot;-exec&quot; &quot;mv&quot; &quot;{}&quot; &quot;.&quot; &quot;;&quot; ]
  [ &quot;autoreconf&quot; &quot;-i&quot; &quot;-s&quot; ]
  [ &quot;./configure&quot; &quot;--prefix&quot; prefix
    # Optiosn for finding opam local gmp-ecm
    &quot;CPPFLAGS=-I%{prefix}%/include&quot;
    &quot;LDFLAGS=-L%{lib}%&quot;
    # Options for homebrew on Intel silicon (overwriting the above)
    &quot;CPPFLAGS=-I%{prefix}%/include -I/opt/local/include&quot; { os-distribution = &quot;macports&quot; &amp; os = &quot;macos&quot; }
    &quot;LDFLAGS=-L%{lib}% -L/opt/local/lib&quot; { os-distribution = &quot;macports&quot; &amp; os = &quot;macos&quot; }
    # Options for homebrew on Apple silicon (overwriting the above)
    &quot;CPPFLAGS=-I%{prefix}%/include -I/opt/homebrew/include&quot; { os-distribution = &quot;homebrew&quot; &amp; os = &quot;macos&quot; &amp; arch = &quot;arm64&quot;}
    &quot;LDFLAGS=-L%{lib}% -L/opt/homebrew/lib&quot; { os-distribution = &quot;homebrew&quot; &amp; os = &quot;macos&quot; &amp; arch = &quot;arm64&quot;}
    # Options for Windows cygwin
    &quot;--build=%{arch}%-pc-cygwin&quot; { os = &quot;win32&quot; &amp; os-distribution = &quot;cygwinports&quot; }
    &quot;--host=%{arch}%-w64-mingw32&quot; { os = &quot;win32&quot; &amp; os-distribution = &quot;cygwinports&quot; }
    &quot;--target=%{arch}%-w64-mingw32&quot; { os = &quot;win32&quot; &amp; os-distribution = &quot;cygwinports&quot; }
  ]
  [ make &quot;-j&quot; &quot;%{jobs}%&quot; ]
]
install: [
  [make &quot;install&quot;]
]
depends: [
  &quot;ocaml&quot;
  &quot;num&quot;
  &quot;conf-gmp&quot;
  &quot;gmp-ecm&quot;
]
synopsis: &quot;Certificate generator for prime numbers in Coq&quot;
url {
  src: &quot;https://github.com/thery/coqprime/archive/v8.14.1.tar.gz&quot;
  checksum: &quot;sha512=cd5d4ff31a2ac3039e5c49e9da627a0f4722ff7d9269bbe521531a162c0f0dfc190779eeafa8749d563c65dc787d17e9193fdd0664b273d01220272f3abb17ca&quot;
}
</pre>
            <h2>Lint</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>true</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <h2>Dry install 🏜️</h2>
            <p>Dry install with the current Coq version:</p>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam install -y --show-action coq-coqprime-generator.1.1.1 coq.8.5.0~camlp4</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <p>Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:</p>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>true</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
            </dl>
            <h2>Install dependencies</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-coqprime-generator.1.1.1 coq.8.5.0~camlp4</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>2 m 33 s</dd>
            </dl>
            <h2>Install 🚀</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-coqprime-generator.1.1.1 coq.8.5.0~camlp4</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Duration</dt>
              <dd>27 s</dd>
            </dl>
            <h2>Installation size</h2>
            <p>Total: 5 M</p>
            <ul>
              <li>2 M <code>../ocaml-base-compiler.4.03.0/bin/firstprimes</code></li>
              <li>2 M <code>../ocaml-base-compiler.4.03.0/bin/pocklington</code></li>
              <li>247 K <code>../ocaml-base-compiler.4.03.0/bin/o2v</code></li>
            </ul>
            <h2>Uninstall 🧹</h2>
            <dl class="dl-horizontal">
              <dt>Command</dt>
              <dd><code>opam remove -y coq-coqprime-generator.1.1.1</code></dd>
              <dt>Return code</dt>
              <dd>0</dd>
              <dt>Missing removes</dt>
              <dd>
                none
              </dd>
              <dt>Wrong removes</dt>
              <dd>
                none
              </dd>
            </dl>
          </div>
        </div>
      </div>
      <hr/>
      <div class="footer">
        <p class="text-center">
          Sources are on <a href="https://github.com/coq-bench">GitHub</a> © Guillaume Claret 🐣
        </p>
      </div>
    </div>
    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js"></script>
    <script src="../../../../../bootstrap.min.js"></script>
  </body>
</html>
