Virgile Prevosto authored 3 years ago and Allan Blanchard committed 3 years ago

Avoids https://github.com/ocaml/opam-repository/issues/20107
Probably only a temporary workaround before a correct alt-ergo
package is uploaded to opam-repository

Avoids https://github.com/ocaml/opam-repository/issues/20107
Probably only a temporary workaround before a correct alt-ergo
package is uploaded to opam-repository

Avoids https://github.com/ocaml/opam-repository/issues/20107
Probably only a temporary workaround before a correct alt-ergo
package is uploaded to opam-repository

package constraints have now been fixed upstream

Waiting for a fix the published opam package

It turns out that in newer nixpkgs version the (very outdated)
dependencies of these dynamic libraries do not exist anymore, leading
autoPatchelf to fail. Fortunately, since the CI server use the x86_64
versions that look for newer dependencies, we can simply remove the
offending files. This begs the question of whether these .so are
actually used in some configuration, though.

The warnings are treated as errors when executing `make check-headers`.

Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago

this is not the case in nix.

Virgile Prevosto authored 3 years ago and Andre Maroneze committed 3 years ago

otherwise, the tests won't be run...