Stream: coqbot devs & users

Topic: findlib and Windows


view this post on Zulip Jason Gross (May 12 2022 at 06:26):

Does anyone know how to fix this issue?

#=== ERROR while compiling ocamlfind.1.9.3 ====================================#
# context     2.0.10 | win32/x86_64 | ocaml-variants.4.11.1+mingw64c | git+https://github.com/fdopen/opam-repository-mingw.git#opam2
# path        D:/a/fiat-crypto/fiat-crypto/_opam/.opam-switch/build/ocamlfind.1.9.3
# command     ./configure -bindir D:/a/fiat-crypto/fiat-crypto/_opam/bin -sitelib D:/a/fiat-crypto/fiat-crypto/_opam/lib -mandir D:/a/fiat-crypto/fiat-crypto/_opam/man -config D:/a/fiat-crypto/fiat-crypto/_opam/lib/findlib.conf -no-custom -no-camlp4
# exit-code   1
# env-file    D:/.opam/log/ocamlfind-3784-d0f245.env
# output-file D:/.opam/log/ocamlfind-3784-d0f245.out
### output ###
# Welcome to findlib version 1.9.3
# Configuring core...
# Cygwin build environment found; using .exe as suffix for binaries
# Checking for #remove_directory...
# Testing threading model...
# systhread_supported: true
# Testing DLLs...
# Testing whether ppxopt can be supported...
# Checking for ocamlc -opaque...
# Querying installation: META list not found
# make install will double-check installed META files
# Configuring libraries...
# unix: not present (possible since 4.08)
# configure: ocamlfind requires OCaml's Unix library

The build worked fine a week ago at https://github.com/mit-plv/fiat-crypto/runs/6325497843?check_suite_focus=true but is failing at https://github.com/mit-plv/fiat-crypto/actions/runs/2310010877 (though the failure seems strange and not restricted to Windows, so maybe it's just a transient error?)

view this post on Zulip Théo Zimmermann (May 12 2022 at 08:19):

Is this coqbot related or are you just in the wrong stream?


Last updated: Jan 31 2023 at 09:01 UTC