2026-04-25 17:23.55: New job: test dune-universe/hacl-star-dune https://github.com/dune-universe/hacl-star-dune.git#refs/heads/master (42045c9005a48133726333d706bfe6840a18a3c5) (linux-x86_64:(lower-bound))
Base: ocaml/opam:debian-13-ocaml-4.08@sha256:3cbf0e68d3a718b80b9a2ab282b68bb62badcbc072fa014a5564516c5f70e74c
Opam project build
To reproduce locally:
git clone --recursive "https://github.com/dune-universe/hacl-star-dune.git" -b "master" && cd "hacl-star-dune" && git reset --hard 42045c90
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.08@sha256:3cbf0e68d3a718b80b9a2ab282b68bb62badcbc072fa014a5564516c5f70e74c
# debian-13-4.08_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 4ae3c774e4a07972d8dc71ead3a8294779f6dada || git fetch origin master) && git reset -q --hard 4ae3c774e4a07972d8dc71ead3a8294779f6dada && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 hacl-star.opam hacl-star-raw.opam ./
RUN opam pin add -yn hacl-star.dev './' && \
opam pin add -yn hacl-star-raw.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="base-bigarray.base base-bytes.base base-threads.base base-unix.base bigarray-compat.1.0.0 conf-gmp.5 conf-m4.1 conf-perl.1 conf-which.1 cppo.1.6.1 ctypes.0.18.0 dune.2.6.1 integers.0.3.0 jbuilder.1.0+beta20.1 ocaml.4.08.1 ocaml-base-compiler.4.08.1 ocaml-config.1 ocamlfind.1.8.0 zarith.1.7-1"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y hacl-star.dev hacl-star-raw.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2026-04-25 17:23.55: Using cache hint "dune-universe/hacl-star-dune-ocaml/opam:debian-13-ocaml-4.08@sha256:3cbf0e68d3a718b80b9a2ab282b68bb62badcbc072fa014a5564516c5f70e74c-debian-13-4.08_opam-2.5-eaddef7c98ca25a55059f78e5a3ef382"
2026-04-25 17:23.55: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.08@sha256:3cbf0e68d3a718b80b9a2ab282b68bb62badcbc072fa014a5564516c5f70e74c)
(comment debian-13-4.08_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 4ae3c774e4a07972d8dc71ead3a8294779f6dada || git fetch origin master) && git reset -q --hard 4ae3c774e4a07972d8dc71ead3a8294779f6dada && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src hacl-star.opam hacl-star-raw.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn hacl-star.dev './' && \
\nopam pin add -yn hacl-star-raw.dev './'"))
(run (shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "base-bigarray.base base-bytes.base base-threads.base base-unix.base bigarray-compat.1.0.0 conf-gmp.5 conf-m4.1 conf-perl.1 conf-which.1 cppo.1.6.1 ctypes.0.18.0 dune.2.6.1 integers.0.3.0 jbuilder.1.0+beta20.1 ocaml.4.08.1 ocaml-base-compiler.4.08.1 ocaml-config.1 ocamlfind.1.8.0 zarith.1.7-1")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y hacl-star.dev hacl-star-raw.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)
2026-04-25 17:23.55: Waiting for resource in pool OCluster
2026-04-25 17:55.25: Waiting for worker…
2026-04-25 17:58.50: Got resource from pool OCluster
Building on laodoke.caelum.ci.dev
All commits already cached
HEAD is now at 42045c9 Only build portable code
(from ocaml/opam:debian-13-ocaml-4.08@sha256:3cbf0e68d3a718b80b9a2ab282b68bb62badcbc072fa014a5564516c5f70e74c)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.08@sha256:3cbf0e68d3a718b80b9a2ab282b68bb62badcbc072fa014a5564516c5f70e74c' locally
docker.io/ocaml/opam@sha256:3cbf0e68d3a718b80b9a2ab282b68bb62badcbc072fa014a5564516c5f70e74c: Pulling from ocaml/opam
a7730063fcfe: Already exists
1a27fd2181de: Pulling fs layer
c29591c91388: Pulling fs layer
356a64daa753: Pulling fs layer
ac02f8f2062b: Pulling fs layer
1a27fd2181de: Waiting
c29591c91388: Waiting
356a64daa753: Waiting
aaa2f390e4c8: Pulling fs layer
ac02f8f2062b: Waiting
aaa2f390e4c8: Waiting
b668811757f6: Pulling fs layer
32fd4e1a774f: Pulling fs layer
b1d486fb8fdf: Pulling fs layer
cf8a2024f299: Pulling fs layer
8c4a5dac67c3: Pulling fs layer
b668811757f6: Waiting
32fd4e1a774f: Waiting
b1d486fb8fdf: Waiting
6adfe24d7b40: Pulling fs layer
8c4a5dac67c3: Waiting
dccd6e3c0589: Pulling fs layer
6adfe24d7b40: Waiting
2ee4bcb55cd4: Pulling fs layer
dccd6e3c0589: Waiting
2dc3b58478d7: Pulling fs layer
daf15e5c44c6: Pulling fs layer
2dc3b58478d7: Waiting
564e978a8088: Pulling fs layer
daf15e5c44c6: Waiting
564e978a8088: Waiting
25a652a8c456: Pulling fs layer
b3bfea7bff3f: Pulling fs layer
a00f2937f570: Pulling fs layer
25a652a8c456: Waiting
b3bfea7bff3f: Waiting
78bd1737ebff: Pulling fs layer
4f4fb700ef54: Pulling fs layer
4291a055edd7: Pulling fs layer
3c2b2836d59a: Pulling fs layer
4f4fb700ef54: Waiting
7b3e96544a52: Pulling fs layer
3c2b2836d59a: Waiting
4291a055edd7: Waiting
c72503effb14: Pulling fs layer
7b3e96544a52: Waiting
bca08df11a10: Pulling fs layer
c72503effb14: Waiting
2ab0829b2daf: Pulling fs layer
bca08df11a10: Waiting
1d246d4da211: Pulling fs layer
a09cb4870027: Pulling fs layer
1d246d4da211: Waiting
2ab0829b2daf: Waiting
2ce07b4fe7c0: Pulling fs layer
a09cb4870027: Waiting
6b96f28d505e: Pulling fs layer
2ce07b4fe7c0: Waiting
b6ad36bba9bf: Pulling fs layer
6b96f28d505e: Waiting
56d62791a0f9: Pulling fs layer
4d60780055d1: Pulling fs layer
56d62791a0f9: Waiting
43f57a7c44cb: Pulling fs layer
4d60780055d1: Waiting
f21057dc4e85: Pulling fs layer
e0d2ca1300ed: Pulling fs layer
43f57a7c44cb: Waiting
f21057dc4e85: Waiting
9da2f7598f8e: Pulling fs layer
e0d2ca1300ed: Waiting
cb569bb28593: Pulling fs layer
b32c9abef0bb: Pulling fs layer
dd7da3e42740: Pulling fs layer
06223904e4d3: Pulling fs layer
cb569bb28593: Waiting
9da2f7598f8e: Waiting
b32c9abef0bb: Waiting
dd7da3e42740: Waiting
b18a38618cf8: Pulling fs layer
06223904e4d3: Waiting
b18a38618cf8: Waiting
1a27fd2181de: Download complete
c29591c91388: Verifying Checksum
c29591c91388: Download complete
1a27fd2181de: Pull complete
c29591c91388: Pull complete
356a64daa753: Verifying Checksum
356a64daa753: Download complete
ac02f8f2062b: Verifying Checksum
ac02f8f2062b: Download complete
356a64daa753: Pull complete
ac02f8f2062b: Pull complete
aaa2f390e4c8: Verifying Checksum
aaa2f390e4c8: Download complete
b668811757f6: Verifying Checksum
b668811757f6: Download complete
32fd4e1a774f: Verifying Checksum
32fd4e1a774f: Download complete
b1d486fb8fdf: Download complete
cf8a2024f299: Verifying Checksum
cf8a2024f299: Download complete
8c4a5dac67c3: Verifying Checksum
8c4a5dac67c3: Download complete
6adfe24d7b40: Verifying Checksum
6adfe24d7b40: Download complete
dccd6e3c0589: Download complete
2ee4bcb55cd4: Verifying Checksum
2ee4bcb55cd4: Download complete
2dc3b58478d7: Verifying Checksum
2dc3b58478d7: Download complete
daf15e5c44c6: Download complete
564e978a8088: Download complete
25a652a8c456: Verifying Checksum
25a652a8c456: Download complete
b3bfea7bff3f: Verifying Checksum
b3bfea7bff3f: Download complete
a00f2937f570: Verifying Checksum
a00f2937f570: Download complete
78bd1737ebff: Verifying Checksum
78bd1737ebff: Download complete
4f4fb700ef54: Download complete
4291a055edd7: Verifying Checksum
4291a055edd7: Download complete
aaa2f390e4c8: Pull complete
3c2b2836d59a: Download complete
b668811757f6: Pull complete
32fd4e1a774f: Pull complete
7b3e96544a52: Verifying Checksum
7b3e96544a52: Download complete
b1d486fb8fdf: Pull complete
c72503effb14: Verifying Checksum
c72503effb14: Download complete
cf8a2024f299: Pull complete
bca08df11a10: Verifying Checksum
bca08df11a10: Download complete
2ab0829b2daf: Verifying Checksum
2ab0829b2daf: Download complete
8c4a5dac67c3: Pull complete
6adfe24d7b40: Pull complete
dccd6e3c0589: Pull complete
2ee4bcb55cd4: Pull complete
2dc3b58478d7: Pull complete
daf15e5c44c6: Pull complete
564e978a8088: Pull complete
1d246d4da211: Download complete
a09cb4870027: Download complete
25a652a8c456: Pull complete
b3bfea7bff3f: Pull complete
a00f2937f570: Pull complete
78bd1737ebff: Pull complete
4f4fb700ef54: Pull complete
4291a055edd7: Pull complete
3c2b2836d59a: Pull complete
7b3e96544a52: Pull complete
c72503effb14: Pull complete
bca08df11a10: Pull complete
2ab0829b2daf: Pull complete
1d246d4da211: Pull complete
a09cb4870027: Pull complete
2ce07b4fe7c0: Verifying Checksum
2ce07b4fe7c0: Download complete
2ce07b4fe7c0: Pull complete
6b96f28d505e: Verifying Checksum
6b96f28d505e: Download complete
6b96f28d505e: Pull complete
b6ad36bba9bf: Verifying Checksum
b6ad36bba9bf: Download complete
b6ad36bba9bf: Pull complete
56d62791a0f9: Verifying Checksum
56d62791a0f9: Download complete
56d62791a0f9: Pull complete
43f57a7c44cb: Verifying Checksum
43f57a7c44cb: Download complete
f21057dc4e85: Verifying Checksum
f21057dc4e85: Download complete
e0d2ca1300ed: Verifying Checksum
e0d2ca1300ed: Download complete
9da2f7598f8e: Verifying Checksum
9da2f7598f8e: Download complete
cb569bb28593: Download complete
b32c9abef0bb: Download complete
4d60780055d1: Verifying Checksum
4d60780055d1: Download complete
dd7da3e42740: Download complete
b18a38618cf8: Download complete
06223904e4d3: Download complete
4d60780055d1: Pull complete
43f57a7c44cb: Pull complete
f21057dc4e85: Pull complete
e0d2ca1300ed: Pull complete
9da2f7598f8e: Pull complete
cb569bb28593: Pull complete
b32c9abef0bb: Pull complete
dd7da3e42740: Pull complete
06223904e4d3: Pull complete
b18a38618cf8: Pull complete
Digest: sha256:3cbf0e68d3a718b80b9a2ab282b68bb62badcbc072fa014a5564516c5f70e74c
Status: Downloaded newer image for ocaml/opam@sha256:3cbf0e68d3a718b80b9a2ab282b68bb62badcbc072fa014a5564516c5f70e74c
2026-04-25 17:58.51 ---> using "228e5ba11f0bea08c69266bb98d12a75785691261b07b0808652a307a04e14b2" from cache
/: (comment debian-13-4.08_opam-2.5)
/: (user (uid 1000) (gid 1000))
/: (env CLICOLOR_FORCE 1)
/: (env OPAMCOLOR always)
/: (workdir /src)
/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-04-25 17:58.51 ---> using "8f0c0f8b904420153cc7d08b1a8906e69995fa51995d7a62aa1c073c7191c917" from cache
/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-04-25 17:58.51 ---> using "69a4145a27f132504ea642fc2251248a9d038744f1d63d739fb1292f7f0099ce" from cache
/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-106-generic
The OCaml toplevel, version 4.08.1
2.5.0
2026-04-25 17:58.51 ---> using "5cac6514a27f9520520e43db3fcfdac4b7207f9a8134f988f146ecf9da38efcb" from cache
/src: (workdir /src)
/src: (run (shell "sudo chown opam /src"))
2026-04-25 17:58.51 ---> using "b57b6278781af1681d1782728fb84867fcbbe8008d7c20a94689745acc908c11" from cache
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 4ae3c774e4a07972d8dc71ead3a8294779f6dada || git fetch origin master) && git reset -q --hard 4ae3c774e4a07972d8dc71ead3a8294779f6dada && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
42844088d7..f83868273d master -> origin/master
4ae3c774e4 Merge pull request #29579 from ocaml/add-msys2-depexts
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository
default (at git+file:///home/opam/opam-repository):
[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)
default (at git+file:///home/opam/opam-repository):
[INFO] opam 2.5.1 includes security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)
Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.5.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2026-04-25 17:58.51 ---> using "1cae88279ccf97f956b2244effac9c91fe42f5a352b03a778482c0d22bb32879" from cache
/src: (copy (src hacl-star.opam hacl-star-raw.opam) (dst ./))
2026-04-25 17:58.51 ---> saved as "c2a45f295def73c804858f0ccadcc6b1fe04078ab51c6889f89f496a1fd2d6e5"
/src: (run (network host)
(shell "opam pin add -yn hacl-star.dev './' && \
\nopam pin add -yn hacl-star-raw.dev './'"))
[hacl-star.dev] synchronised (file:///src)
hacl-star is now pinned to file:///src (version dev)
[hacl-star-raw.dev] synchronised (file:///src)
hacl-star-raw is now pinned to file:///src (version dev)
2026-04-25 17:58.57 ---> saved as "0d28b54f24d788a36adf16aa9ebf3ae517d7488a97e5ddce00fee3e0484c811d"
/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-04-25 17:58.57 ---> saved as "e0b77bd728e587ea628b2b54730e8e48476b14554b04518a3ad702f1526c2f2b"
/src: (env DEPS "base-bigarray.base base-bytes.base base-threads.base base-unix.base bigarray-compat.1.0.0 conf-gmp.5 conf-m4.1 conf-perl.1 conf-which.1 cppo.1.6.1 ctypes.0.18.0 dune.2.6.1 integers.0.3.0 jbuilder.1.0+beta20.1 ocaml.4.08.1 ocaml-base-compiler.4.08.1 ocaml-config.1 ocamlfind.1.8.0 zarith.1.7-1")
/src: (env CI true)
/src: (env OCAMLCI true)
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y hacl-star.dev hacl-star-raw.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [127 kB]
- Fetched 218 kB in 0s (1142 kB/s)
- Reading package lists...
-
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[hacl-star.dev] synchronised (file:///src)
[hacl-star-raw.dev] synchronised (file:///src)
[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.08.1).
[NOTE] Package ocaml is already installed (current version is 4.08.1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following system packages will first need to be installed:
libgmp-dev m4
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "m4"
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20623 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../archives/m4_1.4.19-8_amd64.deb ...
- Unpacking m4 (1.4.19-8) ...
- Setting up m4 (1.4.19-8) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Processing triggers for libc-bin (2.41-12+deb13u2) ...
# To update the current shell environment, run: eval $(opam env)
2026-04-25 17:59.25 ---> saved as "c17d5af9fb1d1fa8d66e17a6cb70b8130ad7a1129ca46cb1ab03b85ac44083b7"
/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-config is already installed (current version is 1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.08.1).
[NOTE] Package ocaml is already installed (current version is 4.08.1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 13 packages
- install base-bytes base
- install bigarray-compat 1.0.0
- install conf-gmp 5
- install conf-m4 1
- install conf-perl 1
- install conf-which 1
- install cppo 1.6.1
- install ctypes 0.18.0
- install dune 2.6.1
- install integers 0.3.0
- install jbuilder 1.0+beta20.1 (deprecated)
- install ocamlfind 1.8.0
- install zarith 1.7-1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.5 (cached)
-> retrieved bigarray-compat.1.0.0 (cached)
-> retrieved cppo.1.6.1 (cached)
-> retrieved ctypes.0.18.0 (cached)
-> installed conf-gmp.5
-> installed conf-m4.1
-> installed conf-perl.1
-> installed conf-which.1
-> retrieved integers.0.3.0 (cached)
-> retrieved ocamlfind.1.8.0 (cached)
-> retrieved zarith.1.7-1 (cached)
-> retrieved jbuilder.1.0+beta20.1 (cached)
-> retrieved dune.2.6.1 (cached)
-> installed ocamlfind.1.8.0
-> installed base-bytes.base
-> installed zarith.1.7-1
-> installed jbuilder.1.0+beta20.1
-> installed cppo.1.6.1
-> installed dune.2.6.1
-> installed bigarray-compat.1.0.0
-> installed integers.0.3.0
-> installed ctypes.0.18.0
Done.
<><> jbuilder.1.0+beta20.1 installed successfully <><><><><><><><><><><><><><><>
=> Note: This package is deprecated.
# To update the current shell environment, run: eval $(opam env)
2026-04-25 18:01.15 ---> saved as "a15245b95e7c5b28bf26273baba1c67edcfcb42911112dfa3c5ffbeff727b529"
/src: (copy (src .) (dst /src))
2026-04-25 18:01.15 ---> saved as "7077985fdda55eac660c0867ec6b8fb95bcb456daadcd6c92bbf0e0ee9e74f94"
/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
File "dune", line 8, characters 21-52:
8 | (preprocess (action (run %{bin:cppo} %{input-file})))
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning: .merlin generated is inaccurate. Cannot mix preprocessed and non
preprocessed specificiations.
Split the stanzas into different directories or silence this warning by
adding (allow_approximate_merlin) to your dune-project.
configure EverCrypt_AEAD_bindings.ml,EverCrypt_AEAD_stubs.ml,EverCrypt_AutoConfig2_bindings.ml,EverCrypt_AutoConfig2_stubs.ml,EverCrypt_CTR_bindings.ml,EverCrypt_CTR_stubs.ml,EverCrypt_Chacha20Poly1305_bindings.ml,EverCrypt_Chacha20Poly1305_stubs.ml,EverCrypt_Cipher_bindings.ml,EverCrypt_Cipher_stubs.ml,EverCrypt_Curve25519_bindings.ml,EverCrypt_Curve25519_stubs.ml,EverCrypt_DRBG_bindings.ml,EverCrypt_DRBG_stubs.ml,EverCrypt_Ed25519_bindings.ml,EverCrypt_Ed25519_stubs.ml,EverCrypt_Error_bindings.ml,EverCrypt_Error_stubs.ml,EverCrypt_HKDF_bindings.ml,EverCrypt_HKDF_stubs.ml,EverCrypt_HMAC_bindings.ml,EverCrypt_HMAC_stubs.ml,EverCrypt_Hash_bindings.ml,EverCrypt_Hash_stubs.ml,EverCrypt_Poly1305_bindings.ml,EverCrypt_Poly1305_stubs.ml,EverCrypt_StaticConfig_bindings.ml,EverCrypt_StaticConfig_stubs.ml,EverCrypt_Vale_bindings.ml,EverCrypt_Vale_stubs.ml,Hacl_Bignum25519_51_bindings.ml,Hacl_Bignum25519_51_stubs.ml,Hacl_Bignum256_32_bindings.ml,Hacl_Bignum256_32_stubs.ml,Hacl_Bignum256_bindings.ml,Hacl_Bignum256_stubs.ml,Hacl_Bignum32_bindings.ml,Hacl_Bignum32_stubs.ml,Hacl_Bignum4096_32_bindings.ml,Hacl_Bignum4096_32_stubs.ml,Hacl_Bignum4096_bindings.ml,Hacl_Bignum4096_stubs.ml,Hacl_Bignum64_bindings.ml,Hacl_Bignum64_stubs.ml,Hacl_Bignum_Base_bindings.ml,Hacl_Bignum_Base_stubs.ml,Hacl_Bignum_bindings.ml,Hacl_Bignum_stubs.ml,Hacl_Chacha20Poly1305_32_bindings.ml,Hacl_Chacha20Poly1305_32_stubs.ml,Hacl_Chacha20_Vec32_bindings.ml,Hacl_Chacha20_Vec32_stubs.ml,Hacl_Chacha20_bindings.ml,Hacl_Chacha20_stubs.ml,Hacl_Curve25519_51_bindings.ml,Hacl_Curve25519_51_stubs.ml,Hacl_Curve25519_64_Slow_bindings.ml,Hacl_Curve25519_64_Slow_stubs.ml,Hacl_EC_Ed25519_bindings.ml,Hacl_EC_Ed25519_stubs.ml,Hacl_Ed25519_bindings.ml,Hacl_Ed25519_stubs.ml,Hacl_FFDHE_bindings.ml,Hacl_FFDHE_stubs.ml,Hacl_Frodo1344_bindings.ml,Hacl_Frodo1344_stubs.ml,Hacl_Frodo640_bindings.ml,Hacl_Frodo640_stubs.ml,Hacl_Frodo64_bindings.ml,Hacl_Frodo64_stubs.ml,Hacl_Frodo976_bindings.ml,Hacl_Frodo976_stubs.ml,Hacl_Frodo_KEM_bindings.ml,Hacl_Frodo_KEM_stubs.ml,Hacl_GenericField32_bindings.ml,Hacl_GenericField32_stubs.ml,Hacl_GenericField64_bindings.ml,Hacl_GenericField64_stubs.ml,Hacl_HKDF_bindings.ml,Hacl_HKDF_stubs.ml,Hacl_HMAC_DRBG_bindings.ml,Hacl_HMAC_DRBG_stubs.ml,Hacl_HMAC_bindings.ml,Hacl_HMAC_stubs.ml,Hacl_HPKE_Curve51_CP32_SHA256_bindings.ml,Hacl_HPKE_Curve51_CP32_SHA256_stubs.ml,Hacl_HPKE_Curve51_CP32_SHA512_bindings.ml,Hacl_HPKE_Curve51_CP32_SHA512_stubs.ml,Hacl_HPKE_P256_CP32_SHA256_bindings.ml,Hacl_HPKE_P256_CP32_SHA256_stubs.ml,Hacl_Hash_Base_bindings.ml,Hacl_Hash_Base_stubs.ml,Hacl_Hash_Blake2_bindings.ml,Hacl_Hash_Blake2_stubs.ml,Hacl_Hash_MD5_bindings.ml,Hacl_Hash_MD5_stubs.ml,Hacl_Hash_SHA1_bindings.ml,Hacl_Hash_SHA1_stubs.ml,Hacl_Hash_SHA2_bindings.ml,Hacl_Hash_SHA2_stubs.ml,Hacl_IntTypes_Intrinsics_bindings.ml,Hacl_IntTypes_Intrinsics_stubs.ml,Hacl_NaCl_bindings.ml,Hacl_NaCl_stubs.ml,Hacl_P256_bindings.ml,Hacl_P256_stubs.ml,Hacl_Poly1305_32_bindings.ml,Hacl_Poly1305_32_stubs.ml,Hacl_RSAPSS_bindings.ml,Hacl_RSAPSS_stubs.ml,Hacl_SHA2_Scalar32_bindings.ml,Hacl_SHA2_Scalar32_stubs.ml,Hacl_SHA3_bindings.ml,Hacl_SHA3_stubs.ml,Hacl_Salsa20_bindings.ml,Hacl_Salsa20_stubs.ml,Hacl_Spec_bindings.ml,Hacl_Spec_stubs.ml,Hacl_Streaming_Blake2_bindings.ml,Hacl_Streaming_Blake2_stubs.ml,Hacl_Streaming_MD5_bindings.ml,Hacl_Streaming_MD5_stubs.ml,Hacl_Streaming_Poly1305_32_bindings.ml,Hacl_Streaming_Poly1305_32_stubs.ml,Hacl_Streaming_SHA1_bindings.ml,Hacl_Streaming_SHA1_stubs.ml,Hacl_Streaming_SHA2_bindings.ml,Hacl_Streaming_SHA2_stubs.ml,Lib_RandomBuffer_System_bindings.ml,Lib_RandomBuffer_System_stubs.ml,config.h,dllevercrypt.so,dllevercrypt_c_stubs.so,libevercrypt.a,libevercrypt_c_stubs.a
... detected x64 platform
... supports compilation of 128-bit and 256-bit AVX/AVX2
... supports vale
... not using known buggy Apple LLVM build
... supports our inline ASM
... using a non-buggy GCC
supports _addcarry_u64
does not support x64 assembly, disabling Curve64
does not support legacy vale stubs
cc cannot compile 128-bit vector arithmetic, disabling
does not support 256-bit arithmetic
... found ocamlfind in /home/opam/.opam/4.08/bin/ocamlfind
... found ctypes in /home/opam/.opam/4.08/lib/ctypes
... glibc is recent enough for explicit_bzero
make EverCrypt_AEAD_bindings.ml,EverCrypt_AEAD_stubs.ml,EverCrypt_AutoConfig2_bindings.ml,EverCrypt_AutoConfig2_stubs.ml,EverCrypt_CTR_bindings.ml,EverCrypt_CTR_stubs.ml,EverCrypt_Chacha20Poly1305_bindings.ml,EverCrypt_Chacha20Poly1305_stubs.ml,EverCrypt_Cipher_bindings.ml,EverCrypt_Cipher_stubs.ml,EverCrypt_Curve25519_bindings.ml,EverCrypt_Curve25519_stubs.ml,EverCrypt_DRBG_bindings.ml,EverCrypt_DRBG_stubs.ml,EverCrypt_Ed25519_bindings.ml,EverCrypt_Ed25519_stubs.ml,EverCrypt_Error_bindings.ml,EverCrypt_Error_stubs.ml,EverCrypt_HKDF_bindings.ml,EverCrypt_HKDF_stubs.ml,EverCrypt_HMAC_bindings.ml,EverCrypt_HMAC_stubs.ml,EverCrypt_Hash_bindings.ml,EverCrypt_Hash_stubs.ml,EverCrypt_Poly1305_bindings.ml,EverCrypt_Poly1305_stubs.ml,EverCrypt_StaticConfig_bindings.ml,EverCrypt_StaticConfig_stubs.ml,EverCrypt_Vale_bindings.ml,EverCrypt_Vale_stubs.ml,Hacl_Bignum25519_51_bindings.ml,Hacl_Bignum25519_51_stubs.ml,Hacl_Bignum256_32_bindings.ml,Hacl_Bignum256_32_stubs.ml,Hacl_Bignum256_bindings.ml,Hacl_Bignum256_stubs.ml,Hacl_Bignum32_bindings.ml,Hacl_Bignum32_stubs.ml,Hacl_Bignum4096_32_bindings.ml,Hacl_Bignum4096_32_stubs.ml,Hacl_Bignum4096_bindings.ml,Hacl_Bignum4096_stubs.ml,Hacl_Bignum64_bindings.ml,Hacl_Bignum64_stubs.ml,Hacl_Bignum_Base_bindings.ml,Hacl_Bignum_Base_stubs.ml,Hacl_Bignum_bindings.ml,Hacl_Bignum_stubs.ml,Hacl_Chacha20Poly1305_32_bindings.ml,Hacl_Chacha20Poly1305_32_stubs.ml,Hacl_Chacha20_Vec32_bindings.ml,Hacl_Chacha20_Vec32_stubs.ml,Hacl_Chacha20_bindings.ml,Hacl_Chacha20_stubs.ml,Hacl_Curve25519_51_bindings.ml,Hacl_Curve25519_51_stubs.ml,Hacl_Curve25519_64_Slow_bindings.ml,Hacl_Curve25519_64_Slow_stubs.ml,Hacl_EC_Ed25519_bindings.ml,Hacl_EC_Ed25519_stubs.ml,Hacl_Ed25519_bindings.ml,Hacl_Ed25519_stubs.ml,Hacl_FFDHE_bindings.ml,Hacl_FFDHE_stubs.ml,Hacl_Frodo1344_bindings.ml,Hacl_Frodo1344_stubs.ml,Hacl_Frodo640_bindings.ml,Hacl_Frodo640_stubs.ml,Hacl_Frodo64_bindings.ml,Hacl_Frodo64_stubs.ml,Hacl_Frodo976_bindings.ml,Hacl_Frodo976_stubs.ml,Hacl_Frodo_KEM_bindings.ml,Hacl_Frodo_KEM_stubs.ml,Hacl_GenericField32_bindings.ml,Hacl_GenericField32_stubs.ml,Hacl_GenericField64_bindings.ml,Hacl_GenericField64_stubs.ml,Hacl_HKDF_bindings.ml,Hacl_HKDF_stubs.ml,Hacl_HMAC_DRBG_bindings.ml,Hacl_HMAC_DRBG_stubs.ml,Hacl_HMAC_bindings.ml,Hacl_HMAC_stubs.ml,Hacl_HPKE_Curve51_CP32_SHA256_bindings.ml,Hacl_HPKE_Curve51_CP32_SHA256_stubs.ml,Hacl_HPKE_Curve51_CP32_SHA512_bindings.ml,Hacl_HPKE_Curve51_CP32_SHA512_stubs.ml,Hacl_HPKE_P256_CP32_SHA256_bindings.ml,Hacl_HPKE_P256_CP32_SHA256_stubs.ml,Hacl_Hash_Base_bindings.ml,Hacl_Hash_Base_stubs.ml,Hacl_Hash_Blake2_bindings.ml,Hacl_Hash_Blake2_stubs.ml,Hacl_Hash_MD5_bindings.ml,Hacl_Hash_MD5_stubs.ml,Hacl_Hash_SHA1_bindings.ml,Hacl_Hash_SHA1_stubs.ml,Hacl_Hash_SHA2_bindings.ml,Hacl_Hash_SHA2_stubs.ml,Hacl_IntTypes_Intrinsics_bindings.ml,Hacl_IntTypes_Intrinsics_stubs.ml,Hacl_NaCl_bindings.ml,Hacl_NaCl_stubs.ml,Hacl_P256_bindings.ml,Hacl_P256_stubs.ml,Hacl_Poly1305_32_bindings.ml,Hacl_Poly1305_32_stubs.ml,Hacl_RSAPSS_bindings.ml,Hacl_RSAPSS_stubs.ml,Hacl_SHA2_Scalar32_bindings.ml,Hacl_SHA2_Scalar32_stubs.ml,Hacl_SHA3_bindings.ml,Hacl_SHA3_stubs.ml,Hacl_Salsa20_bindings.ml,Hacl_Salsa20_stubs.ml,Hacl_Spec_bindings.ml,Hacl_Spec_stubs.ml,Hacl_Streaming_Blake2_bindings.ml,Hacl_Streaming_Blake2_stubs.ml,Hacl_Streaming_MD5_bindings.ml,Hacl_Streaming_MD5_stubs.ml,Hacl_Streaming_Poly1305_32_bindings.ml,Hacl_Streaming_Poly1305_32_stubs.ml,Hacl_Streaming_SHA1_bindings.ml,Hacl_Streaming_SHA1_stubs.ml,Hacl_Streaming_SHA2_bindings.ml,Hacl_Streaming_SHA2_stubs.ml,Lib_RandomBuffer_System_bindings.ml,Lib_RandomBuffer_System_stubs.ml,config.h,dllevercrypt.so,dllevercrypt_c_stubs.so,libevercrypt.a,libevercrypt_c_stubs.a
cc -c -o aes-x86_64-linux.o aes-x86_64-linux.S
cc -c -o aesgcm-x86_64-linux.o aesgcm-x86_64-linux.S
cc -c -o cpuid-x86_64-linux.o cpuid-x86_64-linux.S
cc -c -o curve25519-x86_64-linux.o curve25519-x86_64-linux.S
cc -c -o oldaesgcm-x86_64-linux.o oldaesgcm-x86_64-linux.S
cc -c -o poly1305-x86_64-linux.o poly1305-x86_64-linux.S
cc -c -o sha256-x86_64-linux.o sha256-x86_64-linux.S
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Spec.o Hacl_Spec.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Kremlib.o Hacl_Kremlib.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Hash_Base.o Hacl_Hash_Base.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Hash_Blake2.o Hacl_Hash_Blake2.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Hash_MD5.o Hacl_Hash_MD5.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Hash_SHA1.o Hacl_Hash_SHA1.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Hash_SHA2.o Hacl_Hash_SHA2.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Vale.o Vale.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_AutoConfig2.o EverCrypt_AutoConfig2.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_Hash.o EverCrypt_Hash.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_SHA3.o Hacl_SHA3.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Chacha20.o Hacl_Chacha20.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Salsa20.o Hacl_Salsa20.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Bignum.o Hacl_Bignum.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Curve25519_64_Slow.o Hacl_Curve25519_64_Slow.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Curve25519_51.o Hacl_Curve25519_51.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Streaming_SHA2.o Hacl_Streaming_SHA2.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Ed25519.o Hacl_Ed25519.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Poly1305_32.o Hacl_Poly1305_32.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_NaCl.o Hacl_NaCl.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o MerkleTree.o MerkleTree.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_Error.o EverCrypt_Error.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_CTR.o EverCrypt_CTR.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_P256.o Hacl_P256.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Frodo_KEM.o Hacl_Frodo_KEM.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_RSAPSS.o Hacl_RSAPSS.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_FFDHE.o Hacl_FFDHE.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Streaming_Blake2.o Hacl_Streaming_Blake2.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Frodo640.o Hacl_Frodo640.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_HMAC.o Hacl_HMAC.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_HKDF.o Hacl_HKDF.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_GenericField32.o Hacl_GenericField32.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Bignum256.o Hacl_Bignum256.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Bignum4096.o Hacl_Bignum4096.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Chacha20_Vec32.o Hacl_Chacha20_Vec32.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_Ed25519.o EverCrypt_Ed25519.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Bignum4096_32.o Hacl_Bignum4096_32.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_SHA2_Scalar32.o Hacl_SHA2_Scalar32.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Frodo976.o Hacl_Frodo976.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_GenericField64.o Hacl_GenericField64.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Frodo1344.o Hacl_Frodo1344.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Bignum32.o Hacl_Bignum32.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Bignum256_32.o Hacl_Bignum256_32.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Chacha20Poly1305_32.o Hacl_Chacha20Poly1305_32.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_HPKE_Curve51_CP32_SHA256.o Hacl_HPKE_Curve51_CP32_SHA256.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Streaming_Poly1305_32.o Hacl_Streaming_Poly1305_32.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_HPKE_Curve51_CP32_SHA512.o Hacl_HPKE_Curve51_CP32_SHA512.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_HPKE_P256_CP32_SHA256.o Hacl_HPKE_P256_CP32_SHA256.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Bignum64.o Hacl_Bignum64.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Frodo64.o Hacl_Frodo64.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Streaming_SHA1.o Hacl_Streaming_SHA1.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_Streaming_MD5.o Hacl_Streaming_MD5.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_EC_Ed25519.o Hacl_EC_Ed25519.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_Chacha20Poly1305.o EverCrypt_Chacha20Poly1305.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_AEAD.o EverCrypt_AEAD.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_HMAC.o EverCrypt_HMAC.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_HKDF.o EverCrypt_HKDF.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Hacl_HMAC_DRBG.o Hacl_HMAC_DRBG.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_DRBG.o EverCrypt_DRBG.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_Poly1305.o EverCrypt_Poly1305.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_Curve25519.o EverCrypt_Curve25519.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_Cipher.o EverCrypt_Cipher.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o EverCrypt_StaticConfig.o EverCrypt_StaticConfig.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Lib_PrintBuffer.o Lib_PrintBuffer.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Lib_Memzero0.o Lib_Memzero0.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -c -o Lib_RandomBuffer_System.o Lib_RandomBuffer_System.c
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Spec_bindings.ml -o lib/Hacl_Spec_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Error_bindings.ml -o lib/EverCrypt_Error_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_AutoConfig2_bindings.ml -o lib/EverCrypt_AutoConfig2_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Chacha20Poly1305_bindings.ml -o lib/EverCrypt_Chacha20Poly1305_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Cipher_bindings.ml -o lib/EverCrypt_Cipher_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Curve25519_bindings.ml -o lib/EverCrypt_Curve25519_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Ed25519_bindings.ml -o lib/EverCrypt_Ed25519_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Poly1305_bindings.ml -o lib/EverCrypt_Poly1305_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_StaticConfig_bindings.ml -o lib/EverCrypt_StaticConfig_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Vale_bindings.ml -o lib/EverCrypt_Vale_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum25519_51_bindings.ml -o lib/Hacl_Bignum25519_51_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_GenericField32_bindings.ml -o lib/Hacl_GenericField32_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum256_bindings.ml -o lib/Hacl_Bignum256_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum_Base_bindings.ml -o lib/Hacl_Bignum_Base_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum_bindings.ml -o lib/Hacl_Bignum_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Chacha20Poly1305_32_bindings.ml -o lib/Hacl_Chacha20Poly1305_32_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Chacha20_Vec32_bindings.ml -o lib/Hacl_Chacha20_Vec32_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Chacha20_bindings.ml -o lib/Hacl_Chacha20_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Curve25519_51_bindings.ml -o lib/Hacl_Curve25519_51_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Curve25519_64_Slow_bindings.ml -o lib/Hacl_Curve25519_64_Slow_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_EC_Ed25519_bindings.ml -o lib/Hacl_EC_Ed25519_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Ed25519_bindings.ml -o lib/Hacl_Ed25519_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo1344_bindings.ml -o lib/Hacl_Frodo1344_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo640_bindings.ml -o lib/Hacl_Frodo640_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo64_bindings.ml -o lib/Hacl_Frodo64_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo976_bindings.ml -o lib/Hacl_Frodo976_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HKDF_bindings.ml -o lib/Hacl_HKDF_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HMAC_bindings.ml -o lib/Hacl_HMAC_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HPKE_Curve51_CP32_SHA256_bindings.ml -o lib/Hacl_HPKE_Curve51_CP32_SHA256_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HPKE_Curve51_CP32_SHA512_bindings.ml -o lib/Hacl_HPKE_Curve51_CP32_SHA512_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HPKE_P256_CP32_SHA256_bindings.ml -o lib/Hacl_HPKE_P256_CP32_SHA256_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_Blake2_bindings.ml -o lib/Hacl_Hash_Blake2_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_MD5_bindings.ml -o lib/Hacl_Hash_MD5_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_SHA1_bindings.ml -o lib/Hacl_Hash_SHA1_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_SHA2_bindings.ml -o lib/Hacl_Hash_SHA2_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_IntTypes_Intrinsics_128_bindings.ml -o lib/Hacl_IntTypes_Intrinsics_128_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_IntTypes_Intrinsics_bindings.ml -o lib/Hacl_IntTypes_Intrinsics_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_NaCl_bindings.ml -o lib/Hacl_NaCl_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_P256_bindings.ml -o lib/Hacl_P256_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Poly1305_32_bindings.ml -o lib/Hacl_Poly1305_32_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_SHA2_Scalar32_bindings.ml -o lib/Hacl_SHA2_Scalar32_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_SHA3_bindings.ml -o lib/Hacl_SHA3_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Salsa20_bindings.ml -o lib/Hacl_Salsa20_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Hash_Blake2_gen.ml lib/Hacl_Hash_Blake2_bindings.cmx -o lib_gen/Hacl_Hash_Blake2_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_SHA2_bindings.ml -o lib/Hacl_Streaming_SHA2_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_Poly1305_32_bindings.ml -o lib/Hacl_Streaming_Poly1305_32_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Lib_RandomBuffer_System_bindings.ml -o lib/Lib_RandomBuffer_System_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_AutoConfig2_gen.ml lib/EverCrypt_AutoConfig2_bindings.cmx -o lib_gen/EverCrypt_AutoConfig2_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_Chacha20Poly1305_gen.ml lib/EverCrypt_Chacha20Poly1305_bindings.cmx -o lib_gen/EverCrypt_Chacha20Poly1305_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_Cipher_gen.ml lib/EverCrypt_Cipher_bindings.cmx -o lib_gen/EverCrypt_Cipher_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_Curve25519_gen.ml lib/EverCrypt_Curve25519_bindings.cmx -o lib_gen/EverCrypt_Curve25519_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_Ed25519_gen.ml lib/EverCrypt_Ed25519_bindings.cmx -o lib_gen/EverCrypt_Ed25519_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_Poly1305_gen.ml lib/EverCrypt_Poly1305_bindings.cmx -o lib_gen/EverCrypt_Poly1305_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_StaticConfig_gen.ml lib/EverCrypt_StaticConfig_bindings.cmx -o lib_gen/EverCrypt_StaticConfig_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_Vale_gen.ml lib/EverCrypt_Vale_bindings.cmx -o lib_gen/EverCrypt_Vale_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Bignum25519_51_gen.ml lib/Hacl_Bignum25519_51_bindings.cmx -o lib_gen/Hacl_Bignum25519_51_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Bignum_Base_gen.ml lib/Hacl_Bignum_Base_bindings.cmx -o lib_gen/Hacl_Bignum_Base_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Bignum_gen.ml lib/Hacl_Bignum_bindings.cmx -o lib_gen/Hacl_Bignum_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Chacha20Poly1305_32_gen.ml lib/Hacl_Chacha20Poly1305_32_bindings.cmx -o lib_gen/Hacl_Chacha20Poly1305_32_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Chacha20_Vec32_gen.ml lib/Hacl_Chacha20_Vec32_bindings.cmx -o lib_gen/Hacl_Chacha20_Vec32_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Chacha20_gen.ml lib/Hacl_Chacha20_bindings.cmx -o lib_gen/Hacl_Chacha20_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Curve25519_51_gen.ml lib/Hacl_Curve25519_51_bindings.cmx -o lib_gen/Hacl_Curve25519_51_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Curve25519_64_Slow_gen.ml lib/Hacl_Curve25519_64_Slow_bindings.cmx -o lib_gen/Hacl_Curve25519_64_Slow_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_EC_Ed25519_gen.ml lib/Hacl_EC_Ed25519_bindings.cmx -o lib_gen/Hacl_EC_Ed25519_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Ed25519_gen.ml lib/Hacl_Ed25519_bindings.cmx -o lib_gen/Hacl_Ed25519_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Frodo1344_gen.ml lib/Hacl_Frodo1344_bindings.cmx -o lib_gen/Hacl_Frodo1344_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Frodo640_gen.ml lib/Hacl_Frodo640_bindings.cmx -o lib_gen/Hacl_Frodo640_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Frodo64_gen.ml lib/Hacl_Frodo64_bindings.cmx -o lib_gen/Hacl_Frodo64_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Frodo976_gen.ml lib/Hacl_Frodo976_bindings.cmx -o lib_gen/Hacl_Frodo976_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_HKDF_gen.ml lib/Hacl_HKDF_bindings.cmx -o lib_gen/Hacl_HKDF_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_HMAC_gen.ml lib/Hacl_HMAC_bindings.cmx -o lib_gen/Hacl_HMAC_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_HPKE_Curve51_CP32_SHA256_gen.ml lib/Hacl_HPKE_Curve51_CP32_SHA256_bindings.cmx -o lib_gen/Hacl_HPKE_Curve51_CP32_SHA256_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_HPKE_Curve51_CP32_SHA512_gen.ml lib/Hacl_HPKE_Curve51_CP32_SHA512_bindings.cmx -o lib_gen/Hacl_HPKE_Curve51_CP32_SHA512_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_HPKE_P256_CP32_SHA256_gen.ml lib/Hacl_HPKE_P256_CP32_SHA256_bindings.cmx -o lib_gen/Hacl_HPKE_P256_CP32_SHA256_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Hash_MD5_gen.ml lib/Hacl_Hash_MD5_bindings.cmx -o lib_gen/Hacl_Hash_MD5_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Hash_SHA1_gen.ml lib/Hacl_Hash_SHA1_bindings.cmx -o lib_gen/Hacl_Hash_SHA1_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Hash_SHA2_gen.ml lib/Hacl_Hash_SHA2_bindings.cmx -o lib_gen/Hacl_Hash_SHA2_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_IntTypes_Intrinsics_128_gen.ml lib/Hacl_IntTypes_Intrinsics_128_bindings.cmx -o lib_gen/Hacl_IntTypes_Intrinsics_128_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_IntTypes_Intrinsics_gen.ml lib/Hacl_IntTypes_Intrinsics_bindings.cmx -o lib_gen/Hacl_IntTypes_Intrinsics_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_NaCl_gen.ml lib/Hacl_NaCl_bindings.cmx -o lib_gen/Hacl_NaCl_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_P256_gen.ml lib/Hacl_P256_bindings.cmx -o lib_gen/Hacl_P256_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Poly1305_32_gen.ml lib/Hacl_Poly1305_32_bindings.cmx -o lib_gen/Hacl_Poly1305_32_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_SHA2_Scalar32_gen.ml lib/Hacl_SHA2_Scalar32_bindings.cmx -o lib_gen/Hacl_SHA2_Scalar32_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_SHA3_gen.ml lib/Hacl_SHA3_bindings.cmx -o lib_gen/Hacl_SHA3_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Salsa20_gen.ml lib/Hacl_Salsa20_bindings.cmx -o lib_gen/Hacl_Salsa20_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Streaming_Poly1305_32_gen.ml lib/Hacl_Streaming_Poly1305_32_bindings.cmx -o lib_gen/Hacl_Streaming_Poly1305_32_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Lib_RandomBuffer_System_gen.ml lib/Lib_RandomBuffer_System_bindings.cmx -o lib_gen/Lib_RandomBuffer_System_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Spec_gen.ml lib/Hacl_Spec_bindings.cmx -o lib_gen/Hacl_Spec_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_Error_gen.ml lib/EverCrypt_Error_bindings.cmx -o lib_gen/EverCrypt_Error_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_GenericField32_gen.ml lib/Hacl_GenericField32_bindings.cmx -o lib_gen/Hacl_GenericField32_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Bignum256_gen.ml lib/Hacl_Bignum256_bindings.cmx -o lib_gen/Hacl_Bignum256_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Streaming_SHA2_gen.ml lib/Hacl_Streaming_SHA2_bindings.cmx -o lib_gen/Hacl_Streaming_SHA2_gen.cmx
ar cr libevercrypt.a aes-x86_64-linux.o aesgcm-x86_64-linux.o cpuid-x86_64-linux.o curve25519-x86_64-linux.o oldaesgcm-x86_64-linux.o poly1305-x86_64-linux.o sha256-x86_64-linux.o Hacl_Spec.o Hacl_Kremlib.o Hacl_Hash_Base.o Hacl_Hash_Blake2.o Hacl_Hash_MD5.o Hacl_Hash_SHA1.o Hacl_Hash_SHA2.o Vale.o EverCrypt_AutoConfig2.o EverCrypt_Hash.o Hacl_SHA3.o Hacl_Chacha20.o Hacl_Salsa20.o Hacl_Bignum.o Hacl_Curve25519_64_Slow.o Hacl_Curve25519_51.o Hacl_Streaming_SHA2.o Hacl_Ed25519.o Hacl_Poly1305_32.o Hacl_NaCl.o MerkleTree.o EverCrypt_Error.o EverCrypt_CTR.o Hacl_P256.o Hacl_Frodo_KEM.o Hacl_RSAPSS.o Hacl_FFDHE.o Hacl_Streaming_Blake2.o Hacl_Frodo640.o Hacl_HMAC.o Hacl_HKDF.o Hacl_GenericField32.o Hacl_Bignum256.o Hacl_Bignum4096.o Hacl_Chacha20_Vec32.o EverCrypt_Ed25519.o Hacl_Bignum4096_32.o Hacl_SHA2_Scalar32.o Hacl_Frodo976.o Hacl_GenericField64.o Hacl_Frodo1344.o Hacl_Bignum32.o Hacl_Bignum256_32.o Hacl_Chacha20Poly1305_32.o Hacl_HPKE_Curve51_CP32_SHA256.o Hacl_Streaming_Poly1305_32.o Hacl_HPKE_Curve51_CP32_SHA512.o Hacl_HPKE_P256_CP32_SHA256.o Hacl_Bignum64.o Hacl_Frodo64.o Hacl_Streaming_SHA1.o Hacl_Streaming_MD5.o Hacl_EC_Ed25519.o EverCrypt_Chacha20Poly1305.o EverCrypt_AEAD.o EverCrypt_HMAC.o EverCrypt_HKDF.o Hacl_HMAC_DRBG.o EverCrypt_DRBG.o EverCrypt_Poly1305.o EverCrypt_Curve25519.o EverCrypt_Cipher.o EverCrypt_StaticConfig.o Lib_PrintBuffer.o Lib_Memzero0.o Lib_RandomBuffer_System.o
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -shared -o libevercrypt.so aes-x86_64-linux.o aesgcm-x86_64-linux.o cpuid-x86_64-linux.o curve25519-x86_64-linux.o oldaesgcm-x86_64-linux.o poly1305-x86_64-linux.o sha256-x86_64-linux.o Hacl_Spec.o Hacl_Kremlib.o Hacl_Hash_Base.o Hacl_Hash_Blake2.o Hacl_Hash_MD5.o Hacl_Hash_SHA1.o Hacl_Hash_SHA2.o Vale.o EverCrypt_AutoConfig2.o EverCrypt_Hash.o Hacl_SHA3.o Hacl_Chacha20.o Hacl_Salsa20.o Hacl_Bignum.o Hacl_Curve25519_64_Slow.o Hacl_Curve25519_51.o Hacl_Streaming_SHA2.o Hacl_Ed25519.o Hacl_Poly1305_32.o Hacl_NaCl.o MerkleTree.o EverCrypt_Error.o EverCrypt_CTR.o Hacl_P256.o Hacl_Frodo_KEM.o Hacl_RSAPSS.o Hacl_FFDHE.o Hacl_Streaming_Blake2.o Hacl_Frodo640.o Hacl_HMAC.o Hacl_HKDF.o Hacl_GenericField32.o Hacl_Bignum256.o Hacl_Bignum4096.o Hacl_Chacha20_Vec32.o EverCrypt_Ed25519.o Hacl_Bignum4096_32.o Hacl_SHA2_Scalar32.o Hacl_Frodo976.o Hacl_GenericField64.o Hacl_Frodo1344.o Hacl_Bignum32.o Hacl_Bignum256_32.o Hacl_Chacha20Poly1305_32.o Hacl_HPKE_Curve51_CP32_SHA256.o Hacl_Streaming_Poly1305_32.o Hacl_HPKE_Curve51_CP32_SHA512.o Hacl_HPKE_P256_CP32_SHA256.o Hacl_Bignum64.o Hacl_Frodo64.o Hacl_Streaming_SHA1.o Hacl_Streaming_MD5.o Hacl_EC_Ed25519.o EverCrypt_Chacha20Poly1305.o EverCrypt_AEAD.o EverCrypt_HMAC.o EverCrypt_HKDF.o Hacl_HMAC_DRBG.o EverCrypt_DRBG.o EverCrypt_Poly1305.o EverCrypt_Curve25519.o EverCrypt_Cipher.o EverCrypt_StaticConfig.o Lib_PrintBuffer.o Lib_Memzero0.o Lib_RandomBuffer_System.o -Xlinker -z -Xlinker noexecstack -Xlinker --unresolved-symbols=report-all
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib_gen/Hacl_Spec_gen.cmx libevercrypt.a -o lib_gen/Hacl_Spec_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/EverCrypt_Error_bindings.cmx lib_gen/EverCrypt_Error_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_Error_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_GenericField32_bindings.cmx lib_gen/Hacl_GenericField32_gen.cmx libevercrypt.a -o lib_gen/Hacl_GenericField32_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Bignum256_bindings.cmx lib_gen/Hacl_Bignum256_gen.cmx libevercrypt.a -o lib_gen/Hacl_Bignum256_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Hash_Blake2_bindings.cmx lib_gen/Hacl_Hash_Blake2_gen.cmx libevercrypt.a -o lib_gen/Hacl_Hash_Blake2_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Streaming_SHA2_bindings.cmx lib_gen/Hacl_Streaming_SHA2_gen.cmx libevercrypt.a -o lib_gen/Hacl_Streaming_SHA2_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/EverCrypt_AutoConfig2_bindings.cmx lib_gen/EverCrypt_AutoConfig2_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_AutoConfig2_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/EverCrypt_Chacha20Poly1305_bindings.cmx lib_gen/EverCrypt_Chacha20Poly1305_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_Chacha20Poly1305_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/EverCrypt_Cipher_bindings.cmx lib_gen/EverCrypt_Cipher_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_Cipher_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/EverCrypt_Curve25519_bindings.cmx lib_gen/EverCrypt_Curve25519_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_Curve25519_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/EverCrypt_Ed25519_bindings.cmx lib_gen/EverCrypt_Ed25519_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_Ed25519_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/EverCrypt_Poly1305_bindings.cmx lib_gen/EverCrypt_Poly1305_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_Poly1305_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/EverCrypt_StaticConfig_bindings.cmx lib_gen/EverCrypt_StaticConfig_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_StaticConfig_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/EverCrypt_Vale_bindings.cmx lib_gen/EverCrypt_Vale_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_Vale_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Bignum25519_51_bindings.cmx lib_gen/Hacl_Bignum25519_51_gen.cmx libevercrypt.a -o lib_gen/Hacl_Bignum25519_51_gen.exe
lib_gen/Hacl_GenericField32_gen.exe
lib_gen/Hacl_Bignum256_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Bignum_Base_bindings.cmx lib_gen/Hacl_Bignum_Base_gen.cmx libevercrypt.a -o lib_gen/Hacl_Bignum_Base_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Bignum_bindings.cmx lib_gen/Hacl_Bignum_gen.cmx libevercrypt.a -o lib_gen/Hacl_Bignum_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Chacha20Poly1305_32_bindings.cmx lib_gen/Hacl_Chacha20Poly1305_32_gen.cmx libevercrypt.a -o lib_gen/Hacl_Chacha20Poly1305_32_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Chacha20_Vec32_bindings.cmx lib_gen/Hacl_Chacha20_Vec32_gen.cmx libevercrypt.a -o lib_gen/Hacl_Chacha20_Vec32_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Chacha20_bindings.cmx lib_gen/Hacl_Chacha20_gen.cmx libevercrypt.a -o lib_gen/Hacl_Chacha20_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Curve25519_51_bindings.cmx lib_gen/Hacl_Curve25519_51_gen.cmx libevercrypt.a -o lib_gen/Hacl_Curve25519_51_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Curve25519_64_Slow_bindings.cmx lib_gen/Hacl_Curve25519_64_Slow_gen.cmx libevercrypt.a -o lib_gen/Hacl_Curve25519_64_Slow_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_EC_Ed25519_bindings.cmx lib_gen/Hacl_EC_Ed25519_gen.cmx libevercrypt.a -o lib_gen/Hacl_EC_Ed25519_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Ed25519_bindings.cmx lib_gen/Hacl_Ed25519_gen.cmx libevercrypt.a -o lib_gen/Hacl_Ed25519_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Frodo1344_bindings.cmx lib_gen/Hacl_Frodo1344_gen.cmx libevercrypt.a -o lib_gen/Hacl_Frodo1344_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Frodo640_bindings.cmx lib_gen/Hacl_Frodo640_gen.cmx libevercrypt.a -o lib_gen/Hacl_Frodo640_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Frodo64_bindings.cmx lib_gen/Hacl_Frodo64_gen.cmx libevercrypt.a -o lib_gen/Hacl_Frodo64_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Frodo976_bindings.cmx lib_gen/Hacl_Frodo976_gen.cmx libevercrypt.a -o lib_gen/Hacl_Frodo976_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_HKDF_bindings.cmx lib_gen/Hacl_HKDF_gen.cmx libevercrypt.a -o lib_gen/Hacl_HKDF_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_HMAC_bindings.cmx lib_gen/Hacl_HMAC_gen.cmx libevercrypt.a -o lib_gen/Hacl_HMAC_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_HPKE_Curve51_CP32_SHA256_bindings.cmx lib_gen/Hacl_HPKE_Curve51_CP32_SHA256_gen.cmx libevercrypt.a -o lib_gen/Hacl_HPKE_Curve51_CP32_SHA256_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_HPKE_Curve51_CP32_SHA512_bindings.cmx lib_gen/Hacl_HPKE_Curve51_CP32_SHA512_gen.cmx libevercrypt.a -o lib_gen/Hacl_HPKE_Curve51_CP32_SHA512_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_HPKE_P256_CP32_SHA256_bindings.cmx lib_gen/Hacl_HPKE_P256_CP32_SHA256_gen.cmx libevercrypt.a -o lib_gen/Hacl_HPKE_P256_CP32_SHA256_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Hash_MD5_bindings.cmx lib_gen/Hacl_Hash_MD5_gen.cmx libevercrypt.a -o lib_gen/Hacl_Hash_MD5_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Hash_SHA1_bindings.cmx lib_gen/Hacl_Hash_SHA1_gen.cmx libevercrypt.a -o lib_gen/Hacl_Hash_SHA1_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Hash_SHA2_bindings.cmx lib_gen/Hacl_Hash_SHA2_gen.cmx libevercrypt.a -o lib_gen/Hacl_Hash_SHA2_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_IntTypes_Intrinsics_128_bindings.cmx lib_gen/Hacl_IntTypes_Intrinsics_128_gen.cmx libevercrypt.a -o lib_gen/Hacl_IntTypes_Intrinsics_128_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_IntTypes_Intrinsics_bindings.cmx lib_gen/Hacl_IntTypes_Intrinsics_gen.cmx libevercrypt.a -o lib_gen/Hacl_IntTypes_Intrinsics_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_NaCl_bindings.cmx lib_gen/Hacl_NaCl_gen.cmx libevercrypt.a -o lib_gen/Hacl_NaCl_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_P256_bindings.cmx lib_gen/Hacl_P256_gen.cmx libevercrypt.a -o lib_gen/Hacl_P256_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Poly1305_32_bindings.cmx lib_gen/Hacl_Poly1305_32_gen.cmx libevercrypt.a -o lib_gen/Hacl_Poly1305_32_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_SHA2_Scalar32_bindings.cmx lib_gen/Hacl_SHA2_Scalar32_gen.cmx libevercrypt.a -o lib_gen/Hacl_SHA2_Scalar32_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_SHA3_bindings.cmx lib_gen/Hacl_SHA3_gen.cmx libevercrypt.a -o lib_gen/Hacl_SHA3_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Salsa20_bindings.cmx lib_gen/Hacl_Salsa20_gen.cmx libevercrypt.a -o lib_gen/Hacl_Salsa20_gen.exe
lib_gen/Hacl_Hash_Blake2_gen.exe
lib_gen/Hacl_Streaming_SHA2_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Streaming_Poly1305_32_bindings.cmx lib_gen/Hacl_Streaming_Poly1305_32_gen.cmx libevercrypt.a -o lib_gen/Hacl_Streaming_Poly1305_32_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Lib_RandomBuffer_System_bindings.cmx lib_gen/Lib_RandomBuffer_System_gen.cmx libevercrypt.a -o lib_gen/Lib_RandomBuffer_System_gen.exe
lib_gen/EverCrypt_AutoConfig2_gen.exe
lib_gen/EverCrypt_Chacha20Poly1305_gen.exe
lib_gen/EverCrypt_Cipher_gen.exe
lib_gen/EverCrypt_Curve25519_gen.exe
lib_gen/EverCrypt_Ed25519_gen.exe
lib_gen/EverCrypt_Poly1305_gen.exe
lib_gen/EverCrypt_StaticConfig_gen.exe
lib_gen/EverCrypt_Vale_gen.exe
lib_gen/Hacl_Bignum25519_51_gen.exe
lib_gen/Hacl_Bignum_Base_gen.exe
lib_gen/Hacl_Bignum_gen.exe
lib_gen/Hacl_Chacha20Poly1305_32_gen.exe
lib_gen/Hacl_Chacha20_Vec32_gen.exe
lib_gen/Hacl_Chacha20_gen.exe
lib_gen/Hacl_Curve25519_51_gen.exe
lib_gen/Hacl_Curve25519_64_Slow_gen.exe
lib_gen/Hacl_EC_Ed25519_gen.exe
lib_gen/Hacl_Ed25519_gen.exe
lib_gen/Hacl_Frodo1344_gen.exe
lib_gen/Hacl_Frodo640_gen.exe
lib_gen/Hacl_Frodo64_gen.exe
lib_gen/Hacl_Frodo976_gen.exe
lib_gen/Hacl_HKDF_gen.exe
lib_gen/Hacl_HMAC_gen.exe
lib_gen/Hacl_HPKE_Curve51_CP32_SHA256_gen.exe
lib_gen/Hacl_HPKE_Curve51_CP32_SHA512_gen.exe
lib_gen/Hacl_HPKE_P256_CP32_SHA256_gen.exe
lib_gen/Hacl_Hash_MD5_gen.exe
lib_gen/Hacl_Hash_SHA1_gen.exe
lib_gen/Hacl_Hash_SHA2_gen.exe
lib_gen/Hacl_IntTypes_Intrinsics_128_gen.exe
lib_gen/Hacl_IntTypes_Intrinsics_gen.exe
lib_gen/Hacl_NaCl_gen.exe
lib_gen/Hacl_P256_gen.exe
lib_gen/Hacl_Poly1305_32_gen.exe
lib_gen/Hacl_Spec_gen.exe
lib_gen/EverCrypt_Error_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_GenericField32_stubs.ml -o lib/Hacl_GenericField32_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum256_stubs.ml -o lib/Hacl_Bignum256_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_Blake2_stubs.ml -o lib/Hacl_Hash_Blake2_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_SHA2_stubs.ml -o lib/Hacl_Streaming_SHA2_stubs.cmx
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Spec_c_stubs.o lib/Hacl_Spec_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_Error_c_stubs.o lib/EverCrypt_Error_c_stubs.c
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_AutoConfig2_stubs.ml -o lib/EverCrypt_AutoConfig2_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Chacha20Poly1305_stubs.ml -o lib/EverCrypt_Chacha20Poly1305_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Cipher_stubs.ml -o lib/EverCrypt_Cipher_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Curve25519_stubs.ml -o lib/EverCrypt_Curve25519_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Ed25519_stubs.ml -o lib/EverCrypt_Ed25519_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Poly1305_stubs.ml -o lib/EverCrypt_Poly1305_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_StaticConfig_stubs.ml -o lib/EverCrypt_StaticConfig_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Vale_stubs.ml -o lib/EverCrypt_Vale_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum25519_51_stubs.ml -o lib/Hacl_Bignum25519_51_stubs.cmx
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_GenericField32_c_stubs.o lib/Hacl_GenericField32_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Bignum256_c_stubs.o lib/Hacl_Bignum256_c_stubs.c
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum_Base_stubs.ml -o lib/Hacl_Bignum_Base_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum_stubs.ml -o lib/Hacl_Bignum_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Chacha20Poly1305_32_stubs.ml -o lib/Hacl_Chacha20Poly1305_32_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Chacha20_Vec32_stubs.ml -o lib/Hacl_Chacha20_Vec32_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Chacha20_stubs.ml -o lib/Hacl_Chacha20_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Curve25519_51_stubs.ml -o lib/Hacl_Curve25519_51_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Curve25519_64_Slow_stubs.ml -o lib/Hacl_Curve25519_64_Slow_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_EC_Ed25519_stubs.ml -o lib/Hacl_EC_Ed25519_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Ed25519_stubs.ml -o lib/Hacl_Ed25519_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo1344_stubs.ml -o lib/Hacl_Frodo1344_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo640_stubs.ml -o lib/Hacl_Frodo640_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo64_stubs.ml -o lib/Hacl_Frodo64_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo976_stubs.ml -o lib/Hacl_Frodo976_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HKDF_stubs.ml -o lib/Hacl_HKDF_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HMAC_stubs.ml -o lib/Hacl_HMAC_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HPKE_Curve51_CP32_SHA256_stubs.ml -o lib/Hacl_HPKE_Curve51_CP32_SHA256_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HPKE_Curve51_CP32_SHA512_stubs.ml -o lib/Hacl_HPKE_Curve51_CP32_SHA512_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HPKE_P256_CP32_SHA256_stubs.ml -o lib/Hacl_HPKE_P256_CP32_SHA256_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_MD5_stubs.ml -o lib/Hacl_Hash_MD5_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_SHA1_stubs.ml -o lib/Hacl_Hash_SHA1_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_SHA2_stubs.ml -o lib/Hacl_Hash_SHA2_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_IntTypes_Intrinsics_128_stubs.ml -o lib/Hacl_IntTypes_Intrinsics_128_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_IntTypes_Intrinsics_stubs.ml -o lib/Hacl_IntTypes_Intrinsics_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_NaCl_stubs.ml -o lib/Hacl_NaCl_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_P256_stubs.ml -o lib/Hacl_P256_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Poly1305_32_stubs.ml -o lib/Hacl_Poly1305_32_stubs.cmx
lib_gen/Hacl_SHA2_Scalar32_gen.exe
lib_gen/Hacl_SHA3_gen.exe
lib_gen/Hacl_Salsa20_gen.exe
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Hash_Blake2_c_stubs.o lib/Hacl_Hash_Blake2_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Streaming_SHA2_c_stubs.o lib/Hacl_Streaming_SHA2_c_stubs.c
lib_gen/Hacl_Streaming_Poly1305_32_gen.exe
lib_gen/Lib_RandomBuffer_System_gen.exe
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_AutoConfig2_c_stubs.o lib/EverCrypt_AutoConfig2_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_Chacha20Poly1305_c_stubs.o lib/EverCrypt_Chacha20Poly1305_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_Cipher_c_stubs.o lib/EverCrypt_Cipher_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_Curve25519_c_stubs.o lib/EverCrypt_Curve25519_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecate-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_Ed25519_c_stubs.o lib/EverCrypt_Ed25519_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_Poly1305_c_stubs.o lib/EverCrypt_Poly1305_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_StaticConfig_c_stubs.o lib/EverCrypt_StaticConfig_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_Vale_c_stubs.o lib/EverCrypt_Vale_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Bignum25519_51_c_stubs.o lib/Hacl_Bignum25519_51_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Bignum_Base_c_stubs.o lib/Hacl_Bignum_Base_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Bignum_c_stubs.o lib/Hacl_Bignum_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Chacha20Poly1305_32_c_stubs.o lib/Hacl_Chacha20Poly1305_32_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Chacha20_Vec32_c_stubs.o lib/Hacl_Chacha20_Vec32_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Chacha20_c_stubs.o lib/Hacl_Chacha20_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Curve25519_51_c_stubs.o lib/Hacl_Curve25519_51_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Curve25519_64_Slow_c_stubs.o lib/Hacl_Curve25519_64_Slow_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_EC_Ed25519_c_stubs.o lib/Hacl_EC_Ed25519_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Ed25519_c_stubs.o lib/Hacl_Ed25519_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Frodo1344_c_stubs.o lib/Hacl_Frodo1344_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Frodo640_c_stubs.o lib/Hacl_Frodo640_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Frodo64_c_stubs.o lib/Hacl_Frodo64_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Frodo976_c_stubs.o lib/Hacl_Frodo976_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_HKDF_c_stubs.o lib/Hacl_HKDF_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_HMAC_c_stubs.o lib/Hacl_HMAC_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_HPKE_Curve51_CP32_SHA256_c_stubs.o lib/Hacl_HPKE_Curve51_CP32_SHA256_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_HPKE_Curve51_CP32_SHA512_c_stubs.o lib/Hacl_HPKE_Curve51_CP32_SHA512_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_HPKE_P256_CP32_SHA256_c_stubs.o lib/Hacl_HPKE_P256_CP32_SHA256_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Hash_MD5_c_stubs.o lib/Hacl_Hash_MD5_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Hash_SHA1_c_stubs.o lib/Hacl_Hash_SHA1_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Hash_SHA2_c_stubs.o lib/Hacl_Hash_SHA2_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_IntTypes_Intrinsics_128_c_stubs.o lib/Hacl_IntTypes_Intrinsics_128_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_IntTypes_Intrinsics_c_stubs.o lib/Hacl_IntTypes_Intrinsics_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_NaCl_c_stubs.o lib/Hacl_NaCl_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_P256_c_stubs.o lib/Hacl_P256_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Poly1305_32_c_stubs.o lib/Hacl_Poly1305_32_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_SHA2_Scalar32_c_stubs.o lib/Hacl_SHA2_Scalar32_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_SHA3_c_stubs.o lib/Hacl_SHA3_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Salsa20_c_stubs.o lib/Hacl_Salsa20_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Streaming_Poly1305_32_c_stubs.o lib/Hacl_Streaming_Poly1305_32_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Lib_RandomBuffer_System_c_stubs.o lib/Lib_RandomBuffer_System_c_stubs.c
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Spec_stubs.ml -o lib/Hacl_Spec_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Error_stubs.ml -o lib/EverCrypt_Error_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_DRBG_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx -o lib/EverCrypt_DRBG_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_HKDF_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx -o lib/EverCrypt_HKDF_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_HMAC_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx -o lib/EverCrypt_HMAC_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Hash_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx -o lib/EverCrypt_Hash_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum256_32_bindings.ml lib/Hacl_GenericField32_bindings.cmx lib/Hacl_GenericField32_stubs.cmx -o lib/Hacl_Bignum256_32_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum32_bindings.ml lib/Hacl_GenericField32_bindings.cmx lib/Hacl_GenericField32_stubs.cmx -o lib/Hacl_Bignum32_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum4096_32_bindings.ml lib/Hacl_GenericField32_bindings.cmx lib/Hacl_GenericField32_stubs.cmx -o lib/Hacl_Bignum4096_32_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum4096_bindings.ml lib/Hacl_Bignum256_bindings.cmx lib/Hacl_Bignum256_stubs.cmx -o lib/Hacl_Bignum4096_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum64_bindings.ml lib/Hacl_Bignum256_bindings.cmx lib/Hacl_Bignum256_stubs.cmx -o lib/Hacl_Bignum64_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_FFDHE_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx -o lib/Hacl_FFDHE_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo_KEM_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx -o lib/Hacl_Frodo_KEM_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_GenericField64_bindings.ml lib/Hacl_Bignum256_bindings.cmx lib/Hacl_Bignum256_stubs.cmx -o lib/Hacl_GenericField64_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HMAC_DRBG_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx -o lib/Hacl_HMAC_DRBG_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_Base_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx -o lib/Hacl_Hash_Base_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_RSAPSS_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx -o lib/Hacl_RSAPSS_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_Blake2_bindings.ml lib/Hacl_Spec_bindings.cmx lib/Hacl_Hash_Blake2_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Hash_Blake2_stubs.cmx -o lib/Hacl_Streaming_Blake2_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_MD5_bindings.ml lib/Hacl_Streaming_SHA2_bindings.cmx lib/Hacl_Streaming_SHA2_stubs.cmx -o lib/Hacl_Streaming_MD5_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_SHA1_bindings.ml lib/Hacl_Streaming_SHA2_bindings.cmx lib/Hacl_Streaming_SHA2_stubs.cmx -o lib/Hacl_Streaming_SHA1_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_DRBG_gen.ml lib/EverCrypt_DRBG_bindings.cmx -o lib_gen/EverCrypt_DRBG_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_HKDF_gen.ml lib/EverCrypt_HKDF_bindings.cmx -o lib_gen/EverCrypt_HKDF_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_HMAC_gen.ml lib/EverCrypt_HMAC_bindings.cmx -o lib_gen/EverCrypt_HMAC_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_Hash_gen.ml lib/EverCrypt_Hash_bindings.cmx -o lib_gen/EverCrypt_Hash_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Bignum256_32_gen.ml lib/Hacl_Bignum256_32_bindings.cmx -o lib_gen/Hacl_Bignum256_32_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Bignum32_gen.ml lib/Hacl_Bignum32_bindings.cmx -o lib_gen/Hacl_Bignum32_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Bignum4096_32_gen.ml lib/Hacl_Bignum4096_32_bindings.cmx -o lib_gen/Hacl_Bignum4096_32_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Bignum4096_gen.ml lib/Hacl_Bignum4096_bindings.cmx -o lib_gen/Hacl_Bignum4096_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Bignum64_gen.ml lib/Hacl_Bignum64_bindings.cmx -o lib_gen/Hacl_Bignum64_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_FFDHE_gen.ml lib/Hacl_FFDHE_bindings.cmx -o lib_gen/Hacl_FFDHE_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Frodo_KEM_gen.ml lib/Hacl_Frodo_KEM_bindings.cmx -o lib_gen/Hacl_Frodo_KEM_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_GenericField64_gen.ml lib/Hacl_GenericField64_bindings.cmx -o lib_gen/Hacl_GenericField64_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_HMAC_DRBG_gen.ml lib/Hacl_HMAC_DRBG_bindings.cmx -o lib_gen/Hacl_HMAC_DRBG_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Hash_Base_gen.ml lib/Hacl_Hash_Base_bindings.cmx -o lib_gen/Hacl_Hash_Base_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_RSAPSS_gen.ml lib/Hacl_RSAPSS_bindings.cmx -o lib_gen/Hacl_RSAPSS_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_SHA2_Scalar32_stubs.ml -o lib/Hacl_SHA2_Scalar32_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_SHA3_stubs.ml -o lib/Hacl_SHA3_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Salsa20_stubs.ml -o lib/Hacl_Salsa20_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Streaming_Blake2_gen.ml lib/Hacl_Streaming_Blake2_bindings.cmx -o lib_gen/Hacl_Streaming_Blake2_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Streaming_MD5_gen.ml lib/Hacl_Streaming_MD5_bindings.cmx -o lib_gen/Hacl_Streaming_MD5_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_Poly1305_32_stubs.ml -o lib/Hacl_Streaming_Poly1305_32_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/Hacl_Streaming_SHA1_gen.ml lib/Hacl_Streaming_SHA1_bindings.cmx -o lib_gen/Hacl_Streaming_SHA1_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Lib_RandomBuffer_System_stubs.ml -o lib/Lib_RandomBuffer_System_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_AEAD_bindings.ml lib/Hacl_Spec_bindings.cmx lib/EverCrypt_Error_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/EverCrypt_Error_stubs.cmx -o lib/EverCrypt_AEAD_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_CTR_bindings.ml lib/Hacl_Spec_bindings.cmx lib/EverCrypt_Error_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/EverCrypt_Error_stubs.cmx -o lib/EverCrypt_CTR_bindings.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/EverCrypt_DRBG_bindings.cmx lib_gen/EverCrypt_DRBG_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_DRBG_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/EverCrypt_HKDF_bindings.cmx lib_gen/EverCrypt_HKDF_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_HKDF_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/EverCrypt_HMAC_bindings.cmx lib_gen/EverCrypt_HMAC_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_HMAC_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/EverCrypt_Hash_bindings.cmx lib_gen/EverCrypt_Hash_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_Hash_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_GenericField32_bindings.cmx lib/Hacl_GenericField32_stubs.cmx lib/Hacl_GenericField32_c_stubs.o lib/Hacl_Bignum256_32_bindings.cmx lib_gen/Hacl_Bignum256_32_gen.cmx libevercrypt.a -o lib_gen/Hacl_Bignum256_32_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_GenericField32_bindings.cmx lib/Hacl_GenericField32_stubs.cmx lib/Hacl_GenericField32_c_stubs.o lib/Hacl_Bignum32_bindings.cmx lib_gen/Hacl_Bignum32_gen.cmx libevercrypt.a -o lib_gen/Hacl_Bignum32_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_GenericField32_bindings.cmx lib/Hacl_GenericField32_stubs.cmx lib/Hacl_GenericField32_c_stubs.o lib/Hacl_Bignum4096_32_bindings.cmx lib_gen/Hacl_Bignum4096_32_gen.cmx libevercrypt.a -o lib_gen/Hacl_Bignum4096_32_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Bignum256_bindings.cmx lib/Hacl_Bignum256_stubs.cmx lib/Hacl_Bignum256_c_stubs.o lib/Hacl_Bignum4096_bindings.cmx lib_gen/Hacl_Bignum4096_gen.cmx libevercrypt.a -o lib_gen/Hacl_Bignum4096_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Bignum256_bindings.cmx lib/Hacl_Bignum256_stubs.cmx lib/Hacl_Bignum256_c_stubs.o lib/Hacl_Bignum64_bindings.cmx lib_gen/Hacl_Bignum64_gen.cmx libevercrypt.a -o lib_gen/Hacl_Bignum64_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/Hacl_FFDHE_bindings.cmx lib_gen/Hacl_FFDHE_gen.cmx libevercrypt.a -o lib_gen/Hacl_FFDHE_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/Hacl_Frodo_KEM_bindings.cmx lib_gen/Hacl_Frodo_KEM_gen.cmx libevercrypt.a -o lib_gen/Hacl_Frodo_KEM_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Bignum256_bindings.cmx lib/Hacl_Bignum256_stubs.cmx lib/Hacl_Bignum256_c_stubs.o lib/Hacl_GenericField64_bindings.cmx lib_gen/Hacl_GenericField64_gen.cmx libevercrypt.a -o lib_gen/Hacl_GenericField64_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/Hacl_HMAC_DRBG_bindings.cmx lib_gen/Hacl_HMAC_DRBG_gen.cmx libevercrypt.a -o lib_gen/Hacl_HMAC_DRBG_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/Hacl_Hash_Base_bindings.cmx lib_gen/Hacl_Hash_Base_gen.cmx libevercrypt.a -o lib_gen/Hacl_Hash_Base_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/Hacl_RSAPSS_bindings.cmx lib_gen/Hacl_RSAPSS_gen.cmx libevercrypt.a -o lib_gen/Hacl_RSAPSS_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/Hacl_Hash_Blake2_bindings.cmx lib/Hacl_Hash_Blake2_stubs.cmx lib/Hacl_Hash_Blake2_c_stubs.o lib/Hacl_Streaming_Blake2_bindings.cmx lib_gen/Hacl_Streaming_Blake2_gen.cmx libevercrypt.a -o lib_gen/Hacl_Streaming_Blake2_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Streaming_SHA2_bindings.cmx lib/Hacl_Streaming_SHA2_stubs.cmx lib/Hacl_Streaming_SHA2_c_stubs.o lib/Hacl_Streaming_MD5_bindings.cmx lib_gen/Hacl_Streaming_MD5_gen.cmx libevercrypt.a -o lib_gen/Hacl_Streaming_MD5_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Streaming_SHA2_bindings.cmx lib/Hacl_Streaming_SHA2_stubs.cmx lib/Hacl_Streaming_SHA2_c_stubs.o lib/Hacl_Streaming_SHA1_bindings.cmx lib_gen/Hacl_Streaming_SHA1_gen.cmx libevercrypt.a -o lib_gen/Hacl_Streaming_SHA1_gen.exe
lib_gen/EverCrypt_DRBG_gen.exe
lib_gen/EverCrypt_HKDF_gen.exe
lib_gen/EverCrypt_HMAC_gen.exe
lib_gen/EverCrypt_Hash_gen.exe
lib_gen/Hacl_Bignum256_32_gen.exe
lib_gen/Hacl_Bignum32_gen.exe
lib_gen/Hacl_Bignum4096_32_gen.exe
lib_gen/Hacl_Bignum4096_gen.exe
lib_gen/Hacl_Bignum64_gen.exe
lib_gen/Hacl_FFDHE_gen.exe
lib_gen/Hacl_Frodo_KEM_gen.exe
lib_gen/Hacl_GenericField64_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_AEAD_gen.ml lib/EverCrypt_AEAD_bindings.cmx -o lib_gen/EverCrypt_AEAD_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib_gen/EverCrypt_CTR_gen.ml lib/EverCrypt_CTR_bindings.cmx -o lib_gen/EverCrypt_CTR_gen.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_DRBG_stubs.ml -o lib/EverCrypt_DRBG_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_HKDF_stubs.ml -o lib/EverCrypt_HKDF_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_HMAC_stubs.ml -o lib/EverCrypt_HMAC_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_Hash_stubs.ml -o lib/EverCrypt_Hash_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum256_32_stubs.ml -o lib/Hacl_Bignum256_32_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum32_stubs.ml -o lib/Hacl_Bignum32_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum4096_32_stubs.ml -o lib/Hacl_Bignum4096_32_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum4096_stubs.ml -o lib/Hacl_Bignum4096_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Bignum64_stubs.ml -o lib/Hacl_Bignum64_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_FFDHE_stubs.ml -o lib/Hacl_FFDHE_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Frodo_KEM_stubs.ml -o lib/Hacl_Frodo_KEM_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_GenericField64_stubs.ml -o lib/Hacl_GenericField64_stubs.cmx
lib_gen/Hacl_HMAC_DRBG_gen.exe
lib_gen/Hacl_Hash_Base_gen.exe
lib_gen/Hacl_RSAPSS_gen.exe
lib_gen/Hacl_Streaming_Blake2_gen.exe
lib_gen/Hacl_Streaming_SHA1_gen.exe
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_DRBG_c_stubs.o lib/EverCrypt_DRBG_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_HKDF_c_stubs.o lib/EverCrypt_HKDF_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_HMAC_c_stubs.o lib/EverCrypt_HMAC_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_Hash_c_stubs.o lib/EverCrypt_Hash_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Bignum256_32_c_stubs.o lib/Hacl_Bignum256_32_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Bignum32_c_stubs.o lib/Hacl_Bignum32_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Bignum4096_32_c_stubs.o lib/Hacl_Bignum4096_32_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Bignum4096_c_stubs.o lib/Hacl_Bignum4096_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Bignum64_c_stubs.o lib/Hacl_Bignum64_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_FFDHE_c_stubs.o lib/Hacl_FFDHE_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Frodo_KEM_c_stubs.o lib/Hacl_Frodo_KEM_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_GenericField64_c_stubs.o lib/Hacl_GenericField64_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_HMAC_DRBG_c_stubs.o lib/Hacl_HMAC_DRBG_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Hash_Base_c_stubs.o lib/Hacl_Hash_Base_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_RSAPSS_c_stubs.o lib/Hacl_RSAPSS_c_stubs.c
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Streaming_Blake2_c_stubs.o lib/Hacl_Streaming_Blake2_c_stubs.c
lib_gen/Hacl_Streaming_MD5_gen.exe
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Streaming_SHA1_c_stubs.o lib/Hacl_Streaming_SHA1_c_stubs.c
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/EverCrypt_Error_bindings.cmx lib/EverCrypt_Error_stubs.cmx lib/EverCrypt_Error_c_stubs.o lib/EverCrypt_AEAD_bindings.cmx lib_gen/EverCrypt_AEAD_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_AEAD_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib lib/Hacl_Spec_bindings.cmx lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_c_stubs.o lib/EverCrypt_Error_bindings.cmx lib/EverCrypt_Error_stubs.cmx lib/EverCrypt_Error_c_stubs.o lib/EverCrypt_CTR_bindings.cmx lib_gen/EverCrypt_CTR_gen.cmx libevercrypt.a -o lib_gen/EverCrypt_CTR_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_HMAC_DRBG_stubs.ml -o lib/Hacl_HMAC_DRBG_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Hash_Base_stubs.ml -o lib/Hacl_Hash_Base_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_RSAPSS_stubs.ml -o lib/Hacl_RSAPSS_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_Blake2_stubs.ml -o lib/Hacl_Streaming_Blake2_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_MD5_stubs.ml -o lib/Hacl_Streaming_MD5_stubs.cmx
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/Hacl_Streaming_SHA1_stubs.ml -o lib/Hacl_Streaming_SHA1_stubs.cmx
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/Hacl_Streaming_MD5_c_stubs.o lib/Hacl_Streaming_MD5_c_stubs.c
lib_gen/EverCrypt_CTR_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_CTR_stubs.ml -o lib/EverCrypt_CTR_stubs.cmx
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_CTR_c_stubs.o lib/EverCrypt_CTR_c_stubs.c
lib_gen/EverCrypt_AEAD_gen.exe
ocamlfind opt -package ctypes,ctypes.stubs -linkpkg -I lib -c lib/EverCrypt_AEAD_stubs.ml -o lib/EverCrypt_AEAD_stubs.cmx
cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -I "/home/opam/.opam/4.08/lib/ctypes" -I "/home/opam/.opam/4.08/lib/ocaml" -Wno-pointer-sign -c -o lib/EverCrypt_AEAD_c_stubs.o lib/EverCrypt_AEAD_c_stubs.c
ocamlmklib -o ocamlevercrypt lib/Hacl_Spec_stubs.cmx lib/Hacl_Spec_bindings.cmx lib/Hacl_Hash_Base_stubs.cmx lib/Hacl_Hash_Base_bindings.cmx lib/Hacl_Hash_Blake2_stubs.cmx lib/Hacl_Hash_Blake2_bindings.cmx lib/Hacl_Hash_MD5_stubs.cmx lib/Hacl_Hash_MD5_bindings.cmx lib/Hacl_Hash_SHA1_stubs.cmx lib/Hacl_Hash_SHA1_bindings.cmx lib/Hacl_Hash_SHA2_stubs.cmx lib/Hacl_Hash_SHA2_bindings.cmx lib/EverCrypt_AutoConfig2_stubs.cmx lib/EverCrypt_AutoConfig2_bindings.cmx lib/EverCrypt_Hash_stubs.cmx lib/EverCrypt_Hash_bindings.cmx lib/Hacl_SHA3_stubs.cmx lib/Hacl_SHA3_bindings.cmx lib/Hacl_Chacha20_stubs.cmx lib/Hacl_Chacha20_bindings.cmx lib/Hacl_Salsa20_stubs.cmx lib/Hacl_Salsa20_bindings.cmx lib/Hacl_Bignum_Base_stubs.cmx lib/Hacl_Bignum_Base_bindings.cmx lib/Hacl_Bignum_stubs.cmx lib/Hacl_Bignum_bindings.cmx lib/Hacl_Curve25519_64_Slow_stubs.cmx lib/Hacl_Curve25519_64_Slow_bindings.cmx lib/Hacl_Bignum25519_51_stubs.cmx lib/Hacl_Bignum25519_51_bindings.cmx lib/Hacl_Curve25519_51_stubs.cmx lib/Hacl_Curve25519_51_bindings.cmx lib/Hacl_Streaming_SHA2_stubs.cmx lib/Hacl_Streaming_SHA2_bindings.cmx lib/Hacl_Ed25519_stubs.cmx lib/Hacl_Ed25519_bindings.cmx lib/Hacl_Poly1305_32_stubs.cmx lib/Hacl_Poly1305_32_bindings.cmx lib/Hacl_NaCl_stubs.cmx lib/Hacl_NaCl_bindings.cmx lib/EverCrypt_Error_stubs.cmx lib/EverCrypt_Error_bindings.cmx lib/EverCrypt_CTR_stubs.cmx lib/EverCrypt_CTR_bindings.cmx lib/Hacl_P256_stubs.cmx lib/Hacl_P256_bindings.cmx lib/Hacl_Frodo_KEM_stubs.cmx lib/Hacl_Frodo_KEM_bindings.cmx lib/Hacl_IntTypes_Intrinsics_stubs.cmx lib/Hacl_IntTypes_Intrinsics_bindings.cmx lib/Hacl_IntTypes_Intrinsics_128_stubs.cmx lib/Hacl_IntTypes_Intrinsics_128_bindings.cmx lib/Hacl_RSAPSS_stubs.cmx lib/Hacl_RSAPSS_bindings.cmx lib/Hacl_FFDHE_stubs.cmx lib/Hacl_FFDHE_bindings.cmx lib/Hacl_Streaming_Blake2_stubs.cmx lib/Hacl_Streaming_Blake2_bindings.cmx lib/Hacl_Frodo640_stubs.cmx lib/Hacl_Frodo640_bindings.cmx lib/Hacl_HMAC_stubs.cmx lib/Hacl_HMAC_bindings.cmx lib/Hacl_HKDF_stubs.cmx lib/Hacl_HKDF_bindings.cmx lib/Hacl_GenericField32_stubs.cmx lib/Hacl_GenericField32_bindings.cmx lib/Hacl_Bignum256_stubs.cmx lib/Hacl_Bignum256_bindings.cmx lib/Hacl_Bignum4096_stubs.cmx lib/Hacl_Bignum4096_bindings.cmx lib/Hacl_Chacha20_Vec32_stubs.cmx lib/Hacl_Chacha20_Vec32_bindings.cmx lib/EverCrypt_Ed25519_stubs.cmx lib/EverCrypt_Ed25519_bindings.cmx lib/Hacl_Bignum4096_32_stubs.cmx lib/Hacl_Bignum4096_32_bindings.cmx lib/Hacl_SHA2_Scalar32_stubs.cmx lib/Hacl_SHA2_Scalar32_bindings.cmx lib/Hacl_Frodo976_stubs.cmx lib/Hacl_Frodo976_bindings.cmx lib/Hacl_GenericField64_stubs.cmx lib/Hacl_GenericField64_bindings.cmx lib/Hacl_Frodo1344_stubs.cmx lib/Hacl_Frodo1344_bindings.cmx lib/Hacl_Bignum32_stubs.cmx lib/Hacl_Bignum32_bindings.cmx lib/Hacl_Bignum256_32_stubs.cmx lib/Hacl_Bignum256_32_bindings.cmx lib/Hacl_Chacha20Poly1305_32_stubs.cmx lib/Hacl_Chacha20Poly1305_32_bindings.cmx lib/Hacl_HPKE_Curve51_CP32_SHA256_stubs.cmx lib/Hacl_HPKE_Curve51_CP32_SHA256_bindings.cmx lib/Hacl_Streaming_Poly1305_32_stubs.cmx lib/Hacl_Streaming_Poly1305_32_bindings.cmx lib/Hacl_HPKE_Curve51_CP32_SHA512_stubs.cmx lib/Hacl_HPKE_Curve51_CP32_SHA512_bindings.cmx lib/Hacl_HPKE_P256_CP32_SHA256_stubs.cmx lib/Hacl_HPKE_P256_CP32_SHA256_bindings.cmx lib/Hacl_Bignum64_stubs.cmx lib/Hacl_Bignum64_bindings.cmx lib/Hacl_Frodo64_stubs.cmx lib/Hacl_Frodo64_bindings.cmx lib/Hacl_Streaming_SHA1_stubs.cmx lib/Hacl_Streaming_SHA1_bindings.cmx lib/Hacl_Streaming_MD5_stubs.cmx lib/Hacl_Streaming_MD5_bindings.cmx lib/Hacl_EC_Ed25519_stubs.cmx lib/Hacl_EC_Ed25519_bindings.cmx lib/EverCrypt_Chacha20Poly1305_stubs.cmx lib/EverCrypt_Chacha20Poly1305_bindings.cmx lib/EverCrypt_AEAD_stubs.cmx lib/EverCrypt_AEAD_bindings.cmx lib/EverCrypt_HMAC_stubs.cmx lib/EverCrypt_HMAC_bindings.cmx lib/EverCrypt_HKDF_stubs.cmx lib/EverCrypt_HKDF_bindings.cmx lib/Hacl_HMAC_DRBG_stubs.cmx lib/Hacl_HMAC_DRBG_bindings.cmx lib/EverCrypt_DRBG_stubs.cmx lib/EverCrypt_DRBG_bindings.cmx lib/EverCrypt_Poly1305_stubs.cmx lib/EverCrypt_Poly1305_bindings.cmx lib/EverCrypt_Curve25519_stubs.cmx lib/EverCrypt_Curve25519_bindings.cmx lib/EverCrypt_Cipher_stubs.cmx lib/EverCrypt_Cipher_bindings.cmx lib/EverCrypt_Vale_stubs.cmx lib/EverCrypt_Vale_bindings.cmx lib/EverCrypt_StaticConfig_stubs.cmx lib/EverCrypt_StaticConfig_bindings.cmx lib/Lib_RandomBuffer_System_stubs.cmx lib/Lib_RandomBuffer_System_bindings.cmx -L. -levercrypt
rm lib/Hacl_Frodo64_c_stubs.c lib/EverCrypt_HMAC_c_stubs.c lib/Hacl_Bignum64_c_stubs.c lib/EverCrypt_AutoConfig2_c_stubs.c lib/EverCrypt_Ed25519_c_stubs.c lib/Hacl_IntTypes_Intrinsics_128_c_stubs.c lib/EverCrypt_Error_c_stubs.c lib/Hacl_HMAC_c_stubs.c lib/Hacl_Bignum_Base_c_stubs.c lib/Hacl_P256_c_stubs.c lib/EverCrypt_Hash_c_stubs.c lib/Lib_RandomBuffer_System_c_stubs.c lib/Hacl_Hash_SHA2_c_stubs.c lib/EverCrypt_AEAD_c_stubs.c lib/EverCrypt_StaticConfig_c_stubs.c lib/Hacl_Chacha20_c_stubs.c lib/Hacl_Curve25519_64_Slow_c_stubs.c lib/Hacl_FFDHE_c_stubs.c lib/EverCrypt_Poly1305_c_stubs.c lib/Hacl_Salsa20_c_stubs.c lib/Hacl_HPKE_Curve51_CP32_SHA256_c_stubs.c lib/Hacl_HKDF_c_stubs.c lib/Hacl_Poly1305_32_c_stubs.c lib/Hacl_Chacha20Poly1305_32_c_stubs.c lib/Hacl_IntTypes_Intrinsics_c_stubs.c lib/Hacl_Hash_Base_c_stubs.c lib/EverCrypt_Cipher_c_stubs.c lib/Hacl_Bignum25519_51_c_stubs.c lib/Hacl_Hash_SHA1_c_stubs.c lib/Hacl_HPKE_Curve51_CP32_SHA512_c_stubs.c lib/Hacl_Bignum4096_c_stubs.c lib/EverCrypt_Vale_c_stubs.c lib/Hacl_Bignum_c_stubs.c lib/Hacl_GenericField64_c_stubs.c lib/Hacl_Frodo640_c_stubs.c lib/Hacl_Streaming_SHA2_c_stubs.c lib/EverCrypt_DRBG_c_stubs.c lib/Hacl_NaCl_c_stubs.c lib/Hacl_Streaming_Blake2_c_stubs.c lib/Hacl_Hash_Blake2_c_stubs.c lib/Hacl_HMAC_DRBG_c_stubs.c lib/Hacl_Hash_MD5_c_stubs.c lib/Hacl_RSAPSS_c_stubs.c lib/Hacl_GenericField32_c_stubs.c lib/Hacl_Spec_c_stubs.c lib/Hacl_EC_Ed25519_c_stubs.c lib/Hacl_Frodo1344_c_stubs.c lib/Hacl_Bignum32_c_stubs.c lib/Hacl_SHA2_Scalar32_c_stubs.c lib/EverCrypt_HKDF_c_stubs.c lib/Hacl_Bignum4096_32_c_stubs.c lib/EverCrypt_CTR_c_stubs.c lib/EverCrypt_Curve25519_c_stubs.c lib/Hacl_Bignum256_c_stubs.c lib/Hacl_Streaming_SHA1_c_stubs.c lib/Hacl_Chacha20_Vec32_c_stubs.c lib/Hacl_SHA3_c_stubs.c lib/Hacl_Curve25519_51_c_stubs.c lib/Hacl_Frodo_KEM_c_stubs.c lib/Hacl_HPKE_P256_CP32_SHA256_c_stubs.c lib/Hacl_Frodo976_c_stubs.c lib/Hacl_Bignum256_32_c_stubs.c lib/Hacl_Ed25519_c_stubs.c lib/Hacl_Streaming_MD5_c_stubs.c lib/EverCrypt_Chacha20Poly1305_c_stubs.c lib/Hacl_Streaming_Poly1305_32_c_stubs.c
make EverCrypt_AEAD_bindings.ml,EverCrypt_AEAD_stubs.ml,EverCrypt_AutoConfig2_bindings.ml,EverCrypt_AutoConfig2_stubs.ml,EverCrypt_CTR_bindings.ml,EverCrypt_CTR_stubs.ml,EverCrypt_Chacha20Poly1305_bindings.ml,EverCrypt_Chacha20Poly1305_stubs.ml,EverCrypt_Cipher_bindings.ml,EverCrypt_Cipher_stubs.ml,EverCrypt_Curve25519_bindings.ml,EverCrypt_Curve25519_stubs.ml,EverCrypt_DRBG_bindings.ml,EverCrypt_DRBG_stubs.ml,EverCrypt_Ed25519_bindings.ml,EverCrypt_Ed25519_stubs.ml,EverCrypt_Error_bindings.ml,EverCrypt_Error_stubs.ml,EverCrypt_HKDF_bindings.ml,EverCrypt_HKDF_stubs.ml,EverCrypt_HMAC_bindings.ml,EverCrypt_HMAC_stubs.ml,EverCrypt_Hash_bindings.ml,EverCrypt_Hash_stubs.ml,EverCrypt_Poly1305_bindings.ml,EverCrypt_Poly1305_stubs.ml,EverCrypt_StaticConfig_bindings.ml,EverCrypt_StaticConfig_stubs.ml,EverCrypt_Vale_bindings.ml,EverCrypt_Vale_stubs.ml,Hacl_Bignum25519_51_bindings.ml,Hacl_Bignum25519_51_stubs.ml,Hacl_Bignum256_32_bindings.ml,Hacl_Bignum256_32_stubs.ml,Hacl_Bignum256_bindings.ml,Hacl_Bignum256_stubs.ml,Hacl_Bignum32_bindings.ml,Hacl_Bignum32_stubs.ml,Hacl_Bignum4096_32_bindings.ml,Hacl_Bignum4096_32_stubs.ml,Hacl_Bignum4096_bindings.ml,Hacl_Bignum4096_stubs.ml,Hacl_Bignum64_bindings.ml,Hacl_Bignum64_stubs.ml,Hacl_Bignum_Base_bindings.ml,Hacl_Bignum_Base_stubs.ml,Hacl_Bignum_bindings.ml,Hacl_Bignum_stubs.ml,Hacl_Chacha20Poly1305_32_bindings.ml,Hacl_Chacha20Poly1305_32_stubs.ml,Hacl_Chacha20_Vec32_bindings.ml,Hacl_Chacha20_Vec32_stubs.ml,Hacl_Chacha20_bindings.ml,Hacl_Chacha20_stubs.ml,Hacl_Curve25519_51_bindings.ml,Hacl_Curve25519_51_stubs.ml,Hacl_Curve25519_64_Slow_bindings.ml,Hacl_Curve25519_64_Slow_stubs.ml,Hacl_EC_Ed25519_bindings.ml,Hacl_EC_Ed25519_stubs.ml,Hacl_Ed25519_bindings.ml,Hacl_Ed25519_stubs.ml,Hacl_FFDHE_bindings.ml,Hacl_FFDHE_stubs.ml,Hacl_Frodo1344_bindings.ml,Hacl_Frodo1344_stubs.ml,Hacl_Frodo640_bindings.ml,Hacl_Frodo640_stubs.ml,Hacl_Frodo64_bindings.ml,Hacl_Frodo64_stubs.ml,Hacl_Frodo976_bindings.ml,Hacl_Frodo976_stubs.ml,Hacl_Frodo_KEM_bindings.ml,Hacl_Frodo_KEM_stubs.ml,Hacl_GenericField32_bindings.ml,Hacl_GenericField32_stubs.ml,Hacl_GenericField64_bindings.ml,Hacl_GenericField64_stubs.ml,Hacl_HKDF_bindings.ml,Hacl_HKDF_stubs.ml,Hacl_HMAC_DRBG_bindings.ml,Hacl_HMAC_DRBG_stubs.ml,Hacl_HMAC_bindings.ml,Hacl_HMAC_stubs.ml,Hacl_HPKE_Curve51_CP32_SHA256_bindings.ml,Hacl_HPKE_Curve51_CP32_SHA256_stubs.ml,Hacl_HPKE_Curve51_CP32_SHA512_bindings.ml,Hacl_HPKE_Curve51_CP32_SHA512_stubs.ml,Hacl_HPKE_P256_CP32_SHA256_bindings.ml,Hacl_HPKE_P256_CP32_SHA256_stubs.ml,Hacl_Hash_Base_bindings.ml,Hacl_Hash_Base_stubs.ml,Hacl_Hash_Blake2_bindings.ml,Hacl_Hash_Blake2_stubs.ml,Hacl_Hash_MD5_bindings.ml,Hacl_Hash_MD5_stubs.ml,Hacl_Hash_SHA1_bindings.ml,Hacl_Hash_SHA1_stubs.ml,Hacl_Hash_SHA2_bindings.ml,Hacl_Hash_SHA2_stubs.ml,Hacl_IntTypes_Intrinsics_bindings.ml,Hacl_IntTypes_Intrinsics_stubs.ml,Hacl_NaCl_bindings.ml,Hacl_NaCl_stubs.ml,Hacl_P256_bindings.ml,Hacl_P256_stubs.ml,Hacl_Poly1305_32_bindings.ml,Hacl_Poly1305_32_stubs.ml,Hacl_RSAPSS_bindings.ml,Hacl_RSAPSS_stubs.ml,Hacl_SHA2_Scalar32_bindings.ml,Hacl_SHA2_Scalar32_stubs.ml,Hacl_SHA3_bindings.ml,Hacl_SHA3_stubs.ml,Hacl_Salsa20_bindings.ml,Hacl_Salsa20_stubs.ml,Hacl_Spec_bindings.ml,Hacl_Spec_stubs.ml,Hacl_Streaming_Blake2_bindings.ml,Hacl_Streaming_Blake2_stubs.ml,Hacl_Streaming_MD5_bindings.ml,Hacl_Streaming_MD5_stubs.ml,Hacl_Streaming_Poly1305_32_bindings.ml,Hacl_Streaming_Poly1305_32_stubs.ml,Hacl_Streaming_SHA1_bindings.ml,Hacl_Streaming_SHA1_stubs.ml,Hacl_Streaming_SHA2_bindings.ml,Hacl_Streaming_SHA2_stubs.ml,Lib_RandomBuffer_System_bindings.ml,Lib_RandomBuffer_System_stubs.ml,config.h,dllevercrypt.so,dllevercrypt_c_stubs.so,libevercrypt.a,libevercrypt_c_stubs.a
ar rc libevercrypt_c_stubs.a lib/EverCrypt_AEAD_c_stubs.o lib/EverCrypt_AutoConfig2_c_stubs.o lib/EverCrypt_CTR_c_stubs.o lib/EverCrypt_Chacha20Poly1305_c_stubs.o lib/EverCrypt_Cipher_c_stubs.o lib/EverCrypt_Curve25519_c_stubs.o lib/EverCrypt_DRBG_c_stubs.o lib/EverCrypt_Ed25519_c_stubs.o lib/EverCrypt_Error_c_stubs.o lib/EverCrypt_HKDF_c_stubs.o lib/EverCrypt_HMAC_c_stubs.o lib/EverCrypt_Hash_c_stubs.o lib/EverCrypt_Poly1305_c_stubs.o lib/EverCrypt_StaticConfig_c_stubs.o lib/EverCrypt_Vale_c_stubs.o lib/Hacl_Bignum25519_51_c_stubs.o lib/Hacl_Bignum256_32_c_stubs.o lib/Hacl_Bignum256_c_stubs.o lib/Hacl_Bignum32_c_stubs.o lib/Hacl_Bignum4096_32_c_stubs.o lib/Hacl_Bignum4096_c_stubs.o lib/Hacl_Bignum64_c_stubs.o lib/Hacl_Bignum_Base_c_stubs.o lib/Hacl_Bignum_c_stubs.o lib/Hacl_Chacha20Poly1305_32_c_stubs.o lib/Hacl_Chacha20_Vec32_c_stubs.o lib/Hacl_Chacha20_c_stubs.o lib/Hacl_Curve25519_51_c_stubs.o lib/Hacl_Curve25519_64_Slow_c_stubs.o lib/Hacl_EC_Ed25519_c_stubs.o lib/Hacl_Ed25519_c_stubs.o lib/Hacl_FFDHE_c_stubs.o lib/Hacl_Frodo1344_c_stubs.o lib/Hacl_Frodo640_c_stubs.o lib/Hacl_Frodo64_c_stubs.o lib/Hacl_Frodo976_c_stubs.o lib/Hacl_Frodo_KEM_c_stubs.o lib/Hacl_GenericField32_c_stubs.o lib/Hacl_GenericField64_c_stubs.o lib/Hacl_HKDF_c_stubs.o lib/Hacl_HMAC_DRBG_c_stubs.o lib/Hacl_HMAC_c_stubs.o lib/Hacl_HPKE_Curve51_CP32_SHA256_c_stubs.o lib/Hacl_HPKE_Curve51_CP32_SHA512_c_stubs.o lib/Hacl_HPKE_P256_CP32_SHA256_c_stubs.o lib/Hacl_Hash_Base_c_stubs.o lib/Hacl_Hash_Blake2_c_stubs.o lib/Hacl_Hash_MD5_c_stubs.o lib/Hacl_Hash_SHA1_c_stubs.o lib/Hacl_Hash_SHA2_c_stubs.o lib/Hacl_IntTypes_Intrinsics_128_c_stubs.o lib/Hacl_IntTypes_Intrinsics_c_stubs.o lib/Hacl_NaCl_c_stubs.o lib/Hacl_P256_c_stubs.o lib/Hacl_Poly1305_32_c_stubs.o lib/Hacl_RSAPSS_c_stubs.o lib/Hacl_SHA2_Scalar32_c_stubs.o lib/Hacl_SHA3_c_stubs.o lib/Hacl_Salsa20_c_stubs.o lib/Hacl_Spec_c_stubs.o lib/Hacl_Streaming_Blake2_c_stubs.o lib/Hacl_Streaming_MD5_c_stubs.o lib/Hacl_Streaming_Poly1305_32_c_stubs.o lib/Hacl_Streaming_SHA1_c_stubs.o lib/Hacl_Streaming_SHA2_c_stubs.o lib/Lib_RandomBuffer_System_c_stubs.o
gcc -shared -o dllevercrypt_c_stubs.so lib/EverCrypt_AEAD_c_stubs.o lib/EverCrypt_AutoConfig2_c_stubs.o lib/EverCrypt_CTR_c_stubs.o lib/EverCrypt_Chacha20Poly1305_c_stubs.o lib/EverCrypt_Cipher_c_stubs.o lib/EverCrypt_Curve25519_c_stubs.o lib/EverCrypt_DRBG_c_stubs.o lib/EverCrypt_Ed25519_c_stubs.o lib/EverCrypt_Error_c_stubs.o lib/EverCrypt_HKDF_c_stubs.o lib/EverCrypt_HMAC_c_stubs.o lib/EverCrypt_Hash_c_stubs.o lib/EverCrypt_Poly1305_c_stubs.o lib/EverCrypt_StaticConfig_c_stubs.o lib/EverCrypt_Vale_c_stubs.o lib/Hacl_Bignum25519_51_c_stubs.o lib/Hacl_Bignum256_32_c_stubs.o lib/Hacl_Bignum256_c_stubs.o lib/Hacl_Bignum32_c_stubs.o lib/Hacl_Bignum4096_32_c_stubs.o lib/Hacl_Bignum4096_c_stubs.o lib/Hacl_Bignum64_c_stubs.o lib/Hacl_Bignum_Base_c_stubs.o lib/Hacl_Bignum_c_stubs.o lib/Hacl_Chacha20Poly1305_32_c_stubs.o lib/Hacl_Chacha20_Vec32_c_stubs.o lib/Hacl_Chacha20_c_stubs.o lib/Hacl_Curve25519_51_c_stubs.o lib/Hacl_Curve25519_64_Slow_c_stubs.o lib/Hacl_EC_Ed25519_c_stubs.o lib/Hacl_Ed25519_c_stubs.o lib/Hacl_FFDHE_c_stubs.o lib/Hacl_Frodo1344_c_stubs.o lib/Hacl_Frodo640_c_stubs.o lib/Hacl_Frodo64_c_stubs.o lib/Hacl_Frodo976_c_stubs.o lib/Hacl_Frodo_KEM_c_stubs.o lib/Hacl_GenericField32_c_stubs.o lib/Hacl_GenericField64_c_stubs.o lib/Hacl_HKDF_c_stubs.o lib/Hacl_HMAC_DRBG_c_stubs.o lib/Hacl_HMAC_c_stubs.o lib/Hacl_HPKE_Curve51_CP32_SHA256_c_stubs.o lib/Hacl_HPKE_Curve51_CP32_SHA512_c_stubs.o lib/Hacl_HPKE_P256_CP32_SHA256_c_stubs.o lib/Hacl_Hash_Base_c_stubs.o lib/Hacl_Hash_Blake2_c_stubs.o lib/Hacl_Hash_MD5_c_stubs.o lib/Hacl_Hash_SHA1_c_stubs.o lib/Hacl_Hash_SHA2_c_stubs.o lib/Hacl_IntTypes_Intrinsics_128_c_stubs.o lib/Hacl_IntTypes_Intrinsics_c_stubs.o lib/Hacl_NaCl_c_stubs.o lib/Hacl_P256_c_stubs.o lib/Hacl_Poly1305_32_c_stubs.o lib/Hacl_RSAPSS_c_stubs.o lib/Hacl_SHA2_Scalar32_c_stubs.o lib/Hacl_SHA3_c_stubs.o lib/Hacl_Salsa20_c_stubs.o lib/Hacl_Spec_c_stubs.o lib/Hacl_Streaming_Blake2_c_stubs.o lib/Hacl_Streaming_MD5_c_stubs.o lib/Hacl_Streaming_Poly1305_32_c_stubs.o lib/Hacl_Streaming_SHA1_c_stubs.o lib/Hacl_Streaming_SHA2_c_stubs.o lib/Lib_RandomBuffer_System_c_stubs.o
ocamlc .raw.objs/byte/everCrypt_Error_bindings.{cmi,cmo,cmt}
File "EverCrypt_Error_bindings.ml", line 4, characters 4-10:
4 | open F
^^^^^^
Warning 33: unused open F.
ocamlc .raw.objs/byte/everCrypt_Vale_bindings.{cmi,cmo,cmt}
File "EverCrypt_Vale_bindings.ml", line 4, characters 4-10:
4 | open F
^^^^^^
Warning 33: unused open F.
ocamlopt .raw.objs/native/everCrypt_Error_bindings.{cmx,o}
File "EverCrypt_Error_bindings.ml", line 4, characters 4-10:
4 | open F
^^^^^^
Warning 33: unused open F.
ocamlopt .raw.objs/native/everCrypt_Vale_bindings.{cmx,o}
File "EverCrypt_Vale_bindings.ml", line 4, characters 4-10:
4 | open F
^^^^^^
Warning 33: unused open F.
ocamlc .raw.objs/byte/hacl_Spec_bindings.{cmi,cmo,cmt}
File "Hacl_Spec_bindings.ml", line 4, characters 4-10:
4 | open F
^^^^^^
Warning 33: unused open F.
ocamlopt .raw.objs/native/hacl_Spec_bindings.{cmx,o}
File "Hacl_Spec_bindings.ml", line 4, characters 4-10:
4 | open F
^^^^^^
Warning 33: unused open F.
ocamlc .raw.objs/byte/everCrypt_Hash_bindings.{cmi,cmo,cmt}
File "EverCrypt_Hash_bindings.ml", line 10, characters 17-45:
10 | let constant everCrypt_Hash_string_of_alg =
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 27: unused variable everCrypt_Hash_string_of_alg.
ocamlopt .raw.objs/native/everCrypt_Hash_bindings.{cmx,o}
File "EverCrypt_Hash_bindings.ml", line 10, characters 17-45:
10 | let constant everCrypt_Hash_string_of_alg =
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 27: unused variable everCrypt_Hash_string_of_alg.
ocamlc .hacl_star.objs/byte/hacl_star__SharedDefs.{cmi,cmo,cmt}
File "SharedDefs.ml", line 99, characters 16-30:
Alert deprecated: deprecated_alg
ocamlopt .hacl_star.objs/native/hacl_star__SharedDefs.{cmx,o}
File "SharedDefs.ml", line 99, characters 16-30:
Alert deprecated: deprecated_alg
ocamlc tests/.config_test.eobjs/byte/dune__exe__Hash_test.{cmi,cmo,cmt}
File "tests/hash_test.ml", line 333, characters 33-47:
Alert deprecated: module Hacl_star.Hacl.SHA1
File "tests/hash_test.ml", line 333, characters 48-70:
Alert deprecated: module Hacl_star.Hacl.SHA1
File "tests/hash_test.ml", line 334, characters 32-45:
Alert deprecated: module Hacl_star.Hacl.MD5
File "tests/hash_test.ml", line 334, characters 46-67:
Alert deprecated: module Hacl_star.Hacl.MD5
ocamlopt tests/.config_test.eobjs/native/dune__exe__Hash_test.{cmx,o}
File "tests/hash_test.ml", line 333, characters 33-47:
Alert deprecated: module Hacl_star.Hacl.SHA1
File "tests/hash_test.ml", line 333, characters 48-70:
Alert deprecated: module Hacl_star.Hacl.SHA1
File "tests/hash_test.ml", line 334, characters 32-45:
Alert deprecated: module Hacl_star.Hacl.MD5
File "tests/hash_test.ml", line 334, characters 46-67:
Alert deprecated: module Hacl_star.Hacl.MD5
hmac_test alias tests/runtest
[Agile EverCrypt.HMAC with SHA2_256 Test 1] Success
[Agile EverCrypt.HMAC with SHA2_384 Test 1] Success
[Agile EverCrypt.HMAC with SHA2_512 Test 1] Success
[Agile EverCrypt.HMAC with SHA2_256 Test 2] Success
[Agile EverCrypt.HMAC with SHA2_384 Test 2] Success
[Agile EverCrypt.HMAC with SHA2_512 Test 2] Success
[EverCrypt.HMAC_SHA2_256 SHA2_256 Test 1] Success
[EverCrypt.HMAC_SHA2_256 SHA2_256 Test 2] Success
[EverCrypt.HMAC_SHA2_256 (noalloc) SHA2_256 Test 1] Success
[EverCrypt.HMAC_SHA2_256 (noalloc) SHA2_256 Test 2] Success
[EverCrypt.HMAC_SHA2_384 SHA2_384 Test 1] Success
[EverCrypt.HMAC_SHA2_384 SHA2_384 Test 2] Success
[EverCrypt.HMAC_SHA2_384 (noalloc) SHA2_384 Test 1] Success
[EverCrypt.HMAC_SHA2_384 (noalloc) SHA2_384 Test 2] Success
[EverCrypt.HMAC_SHA2_512 SHA2_512 Test 1] Success
[EverCrypt.HMAC_SHA2_512 SHA2_512 Test 2] Success
[EverCrypt.HMAC_SHA2_512 (noalloc) SHA2_512 Test 1] Success
[EverCrypt.HMAC_SHA2_512 (noalloc) SHA2_512 Test 2] Success
[Hacl.HMAC_SHA2_256 SHA2_256 Test 1] Success
[Hacl.HMAC_SHA2_256 SHA2_256 Test 2] Success
[Hacl.HMAC_SHA2_256 (noalloc) SHA2_256 Test 1] Success
[Hacl.HMAC_SHA2_256 (noalloc) SHA2_256 Test 2] Success
[Hacl.HMAC_SHA2_384 SHA2_384 Test 1] Success
[Hacl.HMAC_SHA2_384 SHA2_384 Test 2] Success
[Hacl.HMAC_SHA2_384 (noalloc) SHA2_384 Test 1] Success
[Hacl.HMAC_SHA2_384 (noalloc) SHA2_384 Test 2] Success
[Hacl.HMAC_SHA2_512 SHA2_512 Test 1] Success
[Hacl.HMAC_SHA2_512 SHA2_512 Test 2] Success
[Hacl.HMAC_SHA2_512 (noalloc) SHA2_512 Test 1] Success
[Hacl.HMAC_SHA2_512 (noalloc) SHA2_512 Test 2] Success
p256_test alias tests/runtest
[Hacl.P256_SHA_256 (noalloc) Test 1] Success
[Hacl.P256_SHA_256 (noalloc) Test 2] Success
[Hacl.P256_SHA_256 Test 1] Success
[Hacl.P256_SHA_256 Test 2] Success
[Hacl.P256 (noalloc) (noalloc) Test 1] Success
[Hacl.P256 Test 1] Success
[P-256 compression (noalloc) Test 1] Success: P256 point compression/decompression
[P-256 compression Test 1] Success: P256 point compression/decompression
drbg_test alias tests/runtest
[EverCrypt.DRBG with SHA2_256] Success
[EverCrypt.DRBG with SHA2_384] Success
[EverCrypt.DRBG with SHA2_512] Success
poly1305_test alias tests/runtest
[Hacl.Poly1305_32 Test 1] Success
[Hacl.Poly1305_32 (noalloc) Test 1] Success
[Hacl.Poly1305_128 Test 1] Skipped: Required CPU feature not detected
[Hacl.Poly1305_128 (noalloc) Test 1] Skipped: Required CPU feature not detected
[Hacl.Poly1305_256 Test 1] Skipped: Required CPU feature not detected
[Hacl.Poly1305_256 (noalloc) Test 1] Skipped: Required CPU feature not detected
[EverCrypt.Poly1305 Test 1] Success
[EverCrypt.Poly1305 (noalloc) Test 1] Success
curve25519_test alias tests/runtest
[EverCrypt.Curve25519.Noalloc Test 1] Success
[EverCrypt.Curve25519.Noalloc Test 2] Success
[EverCrypt.Curve25519 Test 1] Success
[EverCrypt.Curve25519 Test 2] Success
[Hacl.Curve25519_51.Noalloc Test 1] Success
[Hacl.Curve25519_51.Noalloc Test 2] Success
[Hacl.Curve25519_51 Test 1] Success
[Hacl.Curve25519_51 Test 2] Success
[Hacl.Curve25519_64.Noalloc Test 1] Skipped: Required CPU feature not detected
[Hacl.Curve25519_64.Noalloc Test 2] Skipped: Required CPU feature not detected
[Hacl.Curve25519_64 Test 1] Skipped: Required CPU feature not detected
[Hacl.Curve25519_64 Test 2] Skipped: Required CPU feature not detected
ed25519_test alias tests/runtest
[EverCrypt.Ed25519.Noalloc Test 1] Success
[EverCrypt.Ed25519.Noalloc Test 2] Success
[EverCrypt.Ed25519 Test 1] Success
[EverCrypt.Ed25519 Test 2] Success
[Hacl.Ed25519.Noalloc Test 1] Success
[Hacl.Ed25519.Noalloc Test 2] Success
[Hacl.Ed25519 Test 1] Success
[Hacl.Ed25519 Test 2] Success
aead_test alias tests/runtest
[EverCrypt.AEAD.Noalloc] Success: Encryption succeeded
[EverCrypt.AEAD.Noalloc] Success: Decryption succeeded
[EverCrypt.AEAD.Noalloc] Success: Encryption succeeded
[EverCrypt.AEAD.Noalloc] Success: Decryption succeeded
[EverCrypt.Chacha20_Poly1305.Noalloc] Success: Encryption succeeded
[EverCrypt.Chacha20_Poly1305.Noalloc] Success: Decryption succeeded
[EverCrypt.Chacha20_Poly1305] Success: Encryption succeeded
[EverCrypt.Chacha20_Poly1305] Success: Decryption succeeded
[Hacl.Chacha20_Poly1305_32.Noalloc] Success: Encryption succeeded
[Hacl.Chacha20_Poly1305_32.Noalloc] Success: Decryption succeeded
[Hacl.Chacha20_Poly1305_32] Success: Encryption succeeded
[Hacl.Chacha20_Poly1305_32] Success: Decryption succeeded
[Hacl.Chacha20_Poly1305_128.Noalloc] Skipped: Required CPU feature not detected
[Hacl.Chacha20_Poly1305_128] Skipped: Required CPU feature not detected
[Hacl.Chacha20_Poly1305_256.Noalloc] Skipped: Required CPU feature not detected
[Hacl.Chacha20_Poly1305_256] Skipped: Required CPU feature not detected
nacl_test alias tests/runtest
[Hacl.NaCl.Easy box Test 1] Success
[Hacl.NaCl.box_beforenm Test 1] Success
[Hacl.NaCl.Easy box_afternm Test 1] Success
[Hacl.NaCl.Easy box Test 2] Success
[Hacl.NaCl.box_beforenm Test 2] Success
[Hacl.NaCl.Easy box_afternm Test 2] Success
[Hacl.NaCl.Easy.Noalloc box Test 1] Success
[Hacl.NaCl.Noalloc.Detached box Test 1] Success
[Hacl.NaCl.box_beforenm_noalloc Test 1] Success
[Hacl.NaCl.Easy.Noalloc box_afternm Test 1] Success
[Hacl.NaCl.Noalloc.Detached box_afternm Test 1] Success
[Hacl.NaCl.Easy.Noalloc box Test 2] Success
[Hacl.NaCl.Noalloc.Detached box Test 2] Success
[Hacl.NaCl.box_beforenm_noalloc Test 2] Success
[Hacl.NaCl.Easy.Noalloc box_afternm Test 2] Success
[Hacl.NaCl.Noalloc.Detached box_afternm Test 2] Success
[Hacl.NaCl.Easy secretbox Test 1] Success
[Hacl.NaCl.Easy secretbox Test 2] Success
[Hacl.NaCl.Easy.Noalloc secretbox Test 1] Success
[Hacl.NaCl.Noalloc.Detached secretbox Test 1] Success
[Hacl.NaCl.Easy.Noalloc secretbox Test 2] Success
[Hacl.NaCl.Noalloc.Detached secretbox Test 2] Success
config_test alias tests/runtest
SHAEXT: false
AES_NI: false
PCLMULQDQ: false
VEC256: false
VEC128: false
BMI2: false
ADX: false
SSE: false
MOVBE: false
RDRAND: false
[Hacl.RandomBuffer.randombytes_noalloc] Success
[Hacl.RandomBuffer.randombytes] Success
hash_test alias tests/runtest
[EverCrypt.Hash SHA2_224 Test 1] Success: one-shot hash
[EverCrypt.Hash SHA2_224 Test 1] Success: incremental hash
[EverCrypt.Hash SHA2_256 Test 1] Success: one-shot hash
[EverCrypt.Hash SHA2_256 Test 1] Success: incremental hash
[EverCrypt.Hash SHA2_384 Test 1] Success: one-shot hash
[EverCrypt.Hash SHA2_384 Test 1] Success: incremental hash
[EverCrypt.Hash SHA2_512 Test 1] Success: one-shot hash
[EverCrypt.Hash SHA2_512 Test 1] Success: incremental hash
[EverCrypt.Hash BLAKE2b Test 1] Success: one-shot hash
[EverCrypt.Hash BLAKE2b Test 1] Success: incremental hash
[EverCrypt.Hash BLAKE2s Test 1] Success: one-shot hash
[EverCrypt.Hash BLAKE2s Test 1] Success: incremental hash
[Hacl.SHA2_224 Test 1] Success
[Hacl.SHA2_256 Test 1] Success
[Hacl.SHA2_384 Test 1] Success
[Hacl.SHA2_512 Test 1] Success
[Hacl.SHA3_224 Test 1] Success
[Hacl.SHA3_256 Test 1] Success
[Hacl.SHA3_384 Test 1] Success
[Hacl.SHA3_512 Test 1] Success
[EverCrypt.SHA2_224 Test 1] Success
[EverCrypt.SHA2_256 Test 1] Success
[EverCrypt.Hash SHA1 Test 1] Success: one-shot hash
[EverCrypt.Hash SHA1 Test 1] Success: incremental hash
[EverCrypt.Hash MD5 Test 1] Success: one-shot hash
[EverCrypt.Hash MD5 Test 1] Success: incremental hash
[Hacl.SHA1 Test 1] Success
[Hacl.MD5 Test 1] Success
[BLAKE2b_32 (noalloc) Test 1] Success
[BLAKE2b_32 Test 1] Success
[BLAKE2b_256 (noalloc) Test 1] Skipped: Required CPU feature not detected
[BLAKE2b_256 Test 1] Skipped: Required CPU feature not detected
[BLAKE2s_32 (noalloc) Test 1] Success
[BLAKE2s_32 Test 1] Success
[BLAKE2s_128 (noalloc) Test 1] Skipped: Required CPU feature not detected
[BLAKE2s_128 Test 1] Skipped: Required CPU feature not detected
[Keccak/SHAKE] Success
[Keccak/SHAKE (noalloc)] Success
hkdf_test alias tests/runtest
[Agile EverCrypt.HKDF with Test 1] Success
[EverCrypt.HKDF_SHA2_256 Test 1] Success
[EverCrypt.HKDF_SHA2_256 (noalloc) Test 1] Success
[EverCrypt.HKDF_SHA2_384 Test 1] Success: function calls
[EverCrypt.HKDF_SHA2_512 Test 1] Success: function calls
[Hacl.HKDF_SHA2_256 Test 1] Success
[Hacl.HKDF_SHA2_256 (noalloc) Test 1] Success
[Hacl.HKDF_SHA2_512 Test 1] Success: function calls
[Hacl.HKDF_BLAKE2b Test 1] Success: function calls
[Hacl.HKDF_BLAKE2s Test 1] Success: function calls
2026-04-25 18:02.04 ---> saved as "8a43eca8fa4cef8ea1f56f51a580b90e069f422ed698098bab2c07598fbef247"
Job succeeded
2026-04-25 18:02.04: Job succeeded