eff: 20140928 -> 5.0

[vbgl]

Motivation for this change

Update to a released version.

Note that two tests fail, but that seems expected. This has been recently fixed upstream (matijapretnar/eff@be7442d) but not released yet.

Things done

• Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-sandbox in nix.conf on non-NixOS)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Fits CONTRIBUTING.md.

---

[GrahamcOfBorg]

Success on x86_64-linux (full log)

Attempted: eff

Partial log (click to expand)

install flags: install SHELL=/nix/store/xn5gv3lpfy91yvfy9b0i7klfcxh9xskz-bash-4.4-p19/bin/bash
ocaml setup.ml -install
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/d5pskx2s9gac39kn31n1jj04fc82gvg3-eff-5.0
shrinking /nix/store/d5pskx2s9gac39kn31n1jj04fc82gvg3-eff-5.0/bin/eff
strip is /nix/store/j75dgadrff2d1fyc4fczmcgqkid2imdx-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/d5pskx2s9gac39kn31n1jj04fc82gvg3-eff-5.0/bin
patching script interpreter paths in /nix/store/d5pskx2s9gac39kn31n1jj04fc82gvg3-eff-5.0
checking for references to /build in /nix/store/d5pskx2s9gac39kn31n1jj04fc82gvg3-eff-5.0...
/nix/store/d5pskx2s9gac39kn31n1jj04fc82gvg3-eff-5.0

[GrahamcOfBorg]

Failure on aarch64-linux (full log)

Attempted: eff

Partial log (click to expand)

cannot build derivation '/nix/store/c1r0z54kykvrxvy26hccdbpzarbfd6x2-ocaml4.05.0-ocaml-migrate-parsetree-1.0.7.drv': 6 dependencies couldn't be built
cannot build derivation '/nix/store/kmb8y6gal35pfr42c8ssm5vr4na6sfm5-ocaml4.05.0-topkg-0.9.1.drv': 5 dependencies couldn't be built
cannot build derivation '/nix/store/3m87k6lw68yrwj0iszx5gmsby6p42ijz-ocaml4.05.0-uchar-0.0.2.drv': 3 dependencies couldn't be built
cannot build derivation '/nix/store/xd05f4fy608bk2dmxpvs3z679iani8bm-ocaml-cmdliner-1.0.2.drv': 6 dependencies couldn't be built
cannot build derivation '/nix/store/zicm2y0m5gl151p63qv4w8ndryyy6l3d-ocaml-ppx_tools_versioned-5.1.drv': 5 dependencies couldn't be built
cannot build derivation '/nix/store/rikv8lv2ln4dhxxmcfkhks5h1b16b7a8-ocaml4.05.0-yojson-1.4.1.drv': 7 dependencies couldn't be built
cannot build derivation '/nix/store/iq1ibing1scpfsaw7j2zh92whslk9b4f-js_of_ocaml-compiler-3.1.0.drv': 7 dependencies couldn't be built
cannot build derivation '/nix/store/h32vrfmam1dak3iy5qsq8lhn4qskkcih-js_of_ocaml-3.1.0.drv': 8 dependencies couldn't be built
cannot build derivation '/nix/store/y2a5r1lrjl468bngl8aw1b2g1n92rr1l-eff-5.0.drv': 6 dependencies couldn't be built
�[31;1merror:�[0m build of '/nix/store/y2a5r1lrjl468bngl8aw1b2g1n92rr1l-eff-5.0.drv' failed

[Mic92]

Tests fixes can be backported with fetchPatch from github if necessary.

[Mic92]

fetchFromGithub maybe?

[vbgl]

Why?

[Mic92]

It has the same semantics, but is it is mainly about consistency with the code base. We also have some tooling that looks for fetchFromGithub and interfere additional information.

[vbgl]

Updated to use fetchFromGitHub.

I don’t think the tests need fixing: their failure shows a problem with the tests, not with the software under test.

[GrahamcOfBorg]

Success on x86_64-linux (full log)

Attempted: eff

Partial log (click to expand)

/nix/store/d5pskx2s9gac39kn31n1jj04fc82gvg3-eff-5.0

[GrahamcOfBorg]

Failure on aarch64-linux (full log)

Attempted: eff

Partial log (click to expand)

cannot build derivation '/nix/store/c1r0z54kykvrxvy26hccdbpzarbfd6x2-ocaml4.05.0-ocaml-migrate-parsetree-1.0.7.drv': 6 dependencies couldn't be built
cannot build derivation '/nix/store/kmb8y6gal35pfr42c8ssm5vr4na6sfm5-ocaml4.05.0-topkg-0.9.1.drv': 5 dependencies couldn't be built
cannot build derivation '/nix/store/3m87k6lw68yrwj0iszx5gmsby6p42ijz-ocaml4.05.0-uchar-0.0.2.drv': 3 dependencies couldn't be built
cannot build derivation '/nix/store/xd05f4fy608bk2dmxpvs3z679iani8bm-ocaml-cmdliner-1.0.2.drv': 6 dependencies couldn't be built
cannot build derivation '/nix/store/zicm2y0m5gl151p63qv4w8ndryyy6l3d-ocaml-ppx_tools_versioned-5.1.drv': 5 dependencies couldn't be built
cannot build derivation '/nix/store/rikv8lv2ln4dhxxmcfkhks5h1b16b7a8-ocaml4.05.0-yojson-1.4.1.drv': 7 dependencies couldn't be built
cannot build derivation '/nix/store/iq1ibing1scpfsaw7j2zh92whslk9b4f-js_of_ocaml-compiler-3.1.0.drv': 7 dependencies couldn't be built
cannot build derivation '/nix/store/h32vrfmam1dak3iy5qsq8lhn4qskkcih-js_of_ocaml-3.1.0.drv': 8 dependencies couldn't be built
cannot build derivation '/nix/store/y2a5r1lrjl468bngl8aw1b2g1n92rr1l-eff-5.0.drv': 6 dependencies couldn't be built
�[31;1merror:�[0m build of '/nix/store/y2a5r1lrjl468bngl8aw1b2g1n92rr1l-eff-5.0.drv' failed