ocamlPackages.mlgmpidl: 1.2.6 -> 1.2.7 #46640

vbgl · 2018-09-14T05:12:51Z

Things done

Tested using sandboxing (nix.useSandbox on NixOS, or option 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/)
Determined the impact on package closure size (by running nix path-info -S before and after)
Fits CONTRIBUTING.md.

vbgl · 2018-09-14T06:19:47Z

@GrahamcOfBorg build framac

GrahamcOfBorg · 2018-09-14T06:26:21Z

Success on x86_64-linux (full log)

Attempted: framac

Partial log (click to expand)

wrong ELF type
wrong ELF type
wrong ELF type
wrong ELF type
wrong ELF type
wrong ELF type
wrong ELF type
wrong ELF type
wrong ELF type
/nix/store/s039dmfdy9py58prp86iywks62mrqvbx-frama-c-20180502

GrahamcOfBorg · 2018-09-14T06:26:59Z

Success on x86_64-darwin (full log)

Attempted: framac

Partial log (click to expand)

post-installation fixup
gzipping man pages under /nix/store/lykl5mld9r8c2wwyhg1drkv1jmb5xvmi-frama-c-20180502/share/man/
strip is /nix/store/df6k4mgdjxciy0f637lryp7c9ln7n1m3-cctools-binutils-darwin/bin/strip
stripping (with command strip and flags -S) in /nix/store/lykl5mld9r8c2wwyhg1drkv1jmb5xvmi-frama-c-20180502/lib  /nix/store/lykl5mld9r8c2wwyhg1drkv1jmb5xvmi-frama-c-20180502/bin
patching script interpreter paths in /nix/store/lykl5mld9r8c2wwyhg1drkv1jmb5xvmi-frama-c-20180502
/nix/store/lykl5mld9r8c2wwyhg1drkv1jmb5xvmi-frama-c-20180502/bin/e-acsl-gcc.sh: interpreter directive changed from "/bin/sh -e" to "/nix/store/cblfnvb5rmhd2z231mqasn0brzh1hhv4-bash-4.4-p23/bin/sh -e"
/nix/store/gpy3r9ss5ngfkib8ylx7jzgahq7m0x5b-patch-shebangs.sh: line 22: warning: command substitution: ignored null byte in input
/nix/store/lykl5mld9r8c2wwyhg1drkv1jmb5xvmi-frama-c-20180502/share/frama-c/analysis-scripts/parse-coverage.sh: interpreter directive changed from "/bin/bash" to "/nix/store/cblfnvb5rmhd2z231mqasn0brzh1hhv4-bash-4.4-p23/bin/bash"
/nix/store/lykl5mld9r8c2wwyhg1drkv1jmb5xvmi-frama-c-20180502/share/frama-c/analysis-scripts/cmd-dep.sh: interpreter directive changed from "/bin/bash" to "/nix/store/cblfnvb5rmhd2z231mqasn0brzh1hhv4-bash-4.4-p23/bin/bash"
/nix/store/lykl5mld9r8c2wwyhg1drkv1jmb5xvmi-frama-c-20180502

GrahamcOfBorg · 2018-09-14T06:36:08Z

Failure on aarch64-linux (full log)

Attempted: framac

Partial log (click to expand)

builder for '/nix/store/a7br4i8030if6yd6sgfmyjd6qr5q9g8n-ocaml-4.05.0.drv' failed with exit code 2
cannot build derivation '/nix/store/3ccgqgddiy470xi1lah528c4f0dhi4ly-ocaml-findlib-1.8.0.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/q2zvajjypi0pl87j4g1405x6xa5x6i2a-camlzip-1.07.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/40m6qa264sirywdv2zdg8xh0slhwp929-lablgtk-2.18.5.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/znq3nl5lrxf4xsrjsypjimg7snc1zpq7-ocaml4.05.0-ocplib-simplex-0.3.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/hwy70zm2js7nk2n27lf9jxs4krnhsyfw-zarith-1.7.drv': 2 dependencies couldn't be built
cannot build derivation '/nix/store/yzjgflkqdaiqcqp9q5igficyx9b9nxxr-ocamlgraph-1.8.8.drv': 3 dependencies couldn't be built
cannot build derivation '/nix/store/6asxqhbj63la8bvq2hnymmc3q2kjfzlf-alt-ergo-1.30.drv': 7 dependencies couldn't be built
cannot build derivation '/nix/store/hsas6djlmdg800w0wf4sizmr2yabw7q4-frama-c-20180502.drv': 3 dependencies couldn't be built
error: build of '/nix/store/hsas6djlmdg800w0wf4sizmr2yabw7q4-frama-c-20180502.drv' failed

Mic92 · 2018-09-14T12:55:07Z

Update should be fine, could you independent from this pull request also disable the ocaml version for aarch64?

Mic92 · 2018-09-15T11:03:08Z

pkgs/development/ocaml-modules/mlgmpidl/default.nix

@@ -33,5 +33,6 @@ stdenv.mkDerivation rec {
    license = stdenv.lib.licenses.lgpl21;
    inherit (ocaml.meta) platforms;
    maintainers = [ stdenv.lib.maintainers.vbgl ];
+    broken = stdenv.isAarch64;


It is actually ocaml that does not build, not this one.

You are right. Sorry.

vbgl · 2018-09-15T11:10:55Z

@GrahamcOfBorg build ocamlPackages.mlgmpidl

GrahamcOfBorg · 2018-09-15T11:11:15Z

Success on x86_64-linux (full log)

Attempted: ocamlPackages.mlgmpidl

Partial log (click to expand)

Installed /nix/store/lawnqlkzxzw0jmykcqls73424rl742iq-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib/gmp/META
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/lawnqlkzxzw0jmykcqls73424rl742iq-ocaml4.06.1-mlgmpidl-1.2.7
shrinking /nix/store/lawnqlkzxzw0jmykcqls73424rl742iq-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib/gmp/gmp.cmxs
shrinking /nix/store/lawnqlkzxzw0jmykcqls73424rl742iq-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib/gmp/dllgmp_caml.so
strip is /nix/store/h0lbngpv6ln56hjj59i6l77vxq25flbz-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/lawnqlkzxzw0jmykcqls73424rl742iq-ocaml4.06.1-mlgmpidl-1.2.7/lib
patching script interpreter paths in /nix/store/lawnqlkzxzw0jmykcqls73424rl742iq-ocaml4.06.1-mlgmpidl-1.2.7
checking for references to /build in /nix/store/lawnqlkzxzw0jmykcqls73424rl742iq-ocaml4.06.1-mlgmpidl-1.2.7...
/nix/store/lawnqlkzxzw0jmykcqls73424rl742iq-ocaml4.06.1-mlgmpidl-1.2.7

GrahamcOfBorg · 2018-09-15T11:11:32Z

Success on x86_64-darwin (full log)

Attempted: ocamlPackages.mlgmpidl

Partial log (click to expand)

Installed /nix/store/yd5an5faqrv8g1pylq56138yva84w1di-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib/gmp/mpf.idl
Installed /nix/store/yd5an5faqrv8g1pylq56138yva84w1di-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib/gmp/mpq.idl
Installed /nix/store/yd5an5faqrv8g1pylq56138yva84w1di-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib/gmp/mpz.idl
Installed /nix/store/yd5an5faqrv8g1pylq56138yva84w1di-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib/gmp/gmp_caml.h
Installed /nix/store/yd5an5faqrv8g1pylq56138yva84w1di-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib/gmp/META
post-installation fixup
strip is /nix/store/df6k4mgdjxciy0f637lryp7c9ln7n1m3-cctools-binutils-darwin/bin/strip
stripping (with command strip and flags -S) in /nix/store/yd5an5faqrv8g1pylq56138yva84w1di-ocaml4.06.1-mlgmpidl-1.2.7/lib
patching script interpreter paths in /nix/store/yd5an5faqrv8g1pylq56138yva84w1di-ocaml4.06.1-mlgmpidl-1.2.7
/nix/store/yd5an5faqrv8g1pylq56138yva84w1di-ocaml4.06.1-mlgmpidl-1.2.7

GrahamcOfBorg · 2018-09-15T11:11:46Z

Failure on aarch64-linux (full log)

Attempted: ocamlPackages.mlgmpidl

Partial log (click to expand)

ocamlfind ocamlopt -package "bigarray" -annot -inline 20 -c mpfrf.ml
ocamlfind ocamlopt -package "bigarray" -annot -inline 20 -a -o gmp.cmxa mpz.cmx mpq.cmx mpf.cmx mpfr.cmx gmp_random.cmx mpzf.cmx mpqf.cmx mpfrf.cmx \
-cclib -lgmp_caml -ccopt -L/nix/store/72028dlf77c6id31xf365krrfxdyyczn-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib//stublibs -ccopt -L/nix/store/72028dlf77c6id31xf365krrfxdyyczn-ocaml4.06.1-mlgmpidl-1.2.7/lib/ocaml/4.06.1/site-lib//gmp -ccopt "-I/nix/store/lcxmk641jv3vsgdv4hrypb0v7clzhq39-gmp-6.1.2-dev/lib -I/nix/store/qr0s0kifm777r9z9akl2fy7ksvi0v98n-mpfr-4.0.1-dev/lib -L/nix/store/qzsja41zxyp12x4w03djq3k3rhq8qzww-ocaml-4.06.1 -L/nix/store/qzsja41zxyp12x4w03djq3k3rhq8qzww-ocaml-4.06.1/stublibs -L -lmpfr -lgmp -lcamlidl" -ccopt -L/nix/store/qzsja41zxyp12x4w03djq3k3rhq8qzww-ocaml-4.06.1 -ccopt -L -ccopt -L/nix/store/lcxmk641jv3vsgdv4hrypb0v7clzhq39-gmp-6.1.2-dev/lib -ccopt -L/nix/store/qr0s0kifm777r9z9akl2fy7ksvi0v98n-mpfr-4.0.1-dev/lib  -cclib -lmpfr -cclib -lgmp -cclib -lcamlidl
ocamlfind ocamlopt -package "bigarray" -annot -inline 20 -linkall -shared -o gmp.cmxs -I . gmp.cmxa
ocamlfind ocamlopt -package "bigarray" -p -annot -inline 20  -c -o mpz.p.cmx mpz.ml
Profiling with "gprof" is not supported on this platform.
make: *** [Makefile:276: mpz.p.cmx] Error 2
rm gmp_caml.o mpz_caml.o mpf_caml.o mpq_caml.o gmp_random_caml.o mpfr_caml.o
builder for '/nix/store/cb9dci70337183aaaibgz83lpmyk17gr-ocaml4.06.1-mlgmpidl-1.2.7.drv' failed with exit code 2
error: build of '/nix/store/cb9dci70337183aaaibgz83lpmyk17gr-ocaml4.06.1-mlgmpidl-1.2.7.drv' failed

vbgl added 8.has: package (update) 6.topic: ocaml labels Sep 14, 2018

GrahamcOfBorg added 10.rebuild-darwin: 1-10 10.rebuild-linux: 1-10 labels Sep 14, 2018

Mic92 reviewed Sep 15, 2018

View reviewed changes

ocamlPackages.mlgmpidl: 1.2.6 -> 1.2.7

7ed02d4

vbgl force-pushed the ocaml-mlgmpidl-1.2.7 branch from e7f89b7 to 7ed02d4 Compare September 15, 2018 11:10

vbgl mentioned this pull request Sep 16, 2018

ocaml ≤ 4.05: mark as broken on Aarch64 #46726

Merged

9 tasks

Mic92 merged commit 5b38f33 into NixOS:master Sep 18, 2018

vbgl deleted the ocaml-mlgmpidl-1.2.7 branch September 18, 2018 20:05

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

ocamlPackages.mlgmpidl: 1.2.6 -> 1.2.7 #46640

ocamlPackages.mlgmpidl: 1.2.6 -> 1.2.7 #46640

vbgl commented Sep 14, 2018

vbgl commented Sep 14, 2018

GrahamcOfBorg commented Sep 14, 2018

GrahamcOfBorg commented Sep 14, 2018

GrahamcOfBorg commented Sep 14, 2018

Mic92 commented Sep 14, 2018 •

edited

Mic92 Sep 15, 2018

vbgl Sep 15, 2018

vbgl commented Sep 15, 2018

GrahamcOfBorg commented Sep 15, 2018

GrahamcOfBorg commented Sep 15, 2018

GrahamcOfBorg commented Sep 15, 2018

ocamlPackages.mlgmpidl: 1.2.6 -> 1.2.7 #46640

ocamlPackages.mlgmpidl: 1.2.6 -> 1.2.7 #46640

Conversation

vbgl commented Sep 14, 2018

Things done

vbgl commented Sep 14, 2018

GrahamcOfBorg commented Sep 14, 2018

GrahamcOfBorg commented Sep 14, 2018

GrahamcOfBorg commented Sep 14, 2018

Mic92 commented Sep 14, 2018 • edited

Mic92 Sep 15, 2018

Choose a reason for hiding this comment

vbgl Sep 15, 2018

Choose a reason for hiding this comment

vbgl commented Sep 15, 2018

GrahamcOfBorg commented Sep 15, 2018

GrahamcOfBorg commented Sep 15, 2018

GrahamcOfBorg commented Sep 15, 2018

Mic92 commented Sep 14, 2018 •

edited