ERROR while installing mlgmp.20150824 about evm-semantics

[zchcai]

Thank you very much! I find the reason: it is my path setting problem. I set . before /usr/bin

[zchcai]

Hi, could anyone help me install mlgmp? It seems relating to patch, but I have no idea about it.

[dwightguth]

Can I see the output of opam switch?

[dwightguth]

Actually never mind, that's not necessary, let me investigate.

[zchcai]

[zhicheng@taxi] (83)$ opam switch
-- -- 3.07 Official 3.07 release
-- -- 3.08.0 Official 3.08.0 release
-- -- 3.08.1 Official 3.08.1 release
-- -- 3.08.2 Official 3.08.2 release
-- -- 3.08.3 Official 3.08.3 release
-- -- 3.08.4 Official 3.08.4 release
-- -- 3.09.0 Official 3.09.0 release
-- -- 3.09.1 Official 3.09.1 release
-- -- 3.09.2 Official 3.09.2 release
-- -- 3.09.3 Official 3.09.3 release
-- -- 3.10.0 Official 3.10.0 release
-- -- 3.10.1 Official 3.10.1 release
-- -- 3.10.2 Official 3.10.2 release
-- -- 3.11.0 Official 3.11.0 release
-- -- 3.11.1 Official 3.11.1 release
-- -- 3.11.2 Official 3.11.2 release
-- -- 3.12.0 Official 3.12.0 release
-- -- 3.12.1 Official 3.12.1 release
-- -- 4.00.0 Official 4.00.0 release
-- -- 4.00.1 Official 4.00.1 release
-- -- 4.01.0 Official 4.01.0 release
-- -- 4.02.0 Official 4.02.0 release
-- -- 4.02.1 Official 4.02.1 release
-- -- 4.02.2 Official 4.02.2 release
-- -- 4.02.3 Official 4.02.3 release
-- -- 4.03.0 Official 4.03.0 release
4.03.0+k C 4.03.0+k
-- -- 4.04.0 Official 4.04.0 release
-- -- 4.04.1 Official 4.04.1 release
-- -- 4.04.2 Official 4.04.2 release
-- -- 4.05.0 Official 4.05.0 release
-- -- 4.06.0 Official 4.06.0 release
-- -- 4.06.1 Official 4.06.1 release
system I system System compiler (4.02.3)
# 188 more patched or experimental compilers, use '--all' to show

[zchcai]

It seems relating to patch issues. I see a patch in /nobackup/evm-semantics/.build/k/k-distribution/target/release/k/lib/opam/packages/mlgmp/mlgmp.20150824/files. Also, in the ~/.opam/build/mlgmp.20150824, there is another patch.

[dwightguth]

The patch file it's trying to apply is located at evm-semantics/.build/k/k-distribution/src/main/scripts/lib/opam/packages/mlgmp/mlgmp.20150824/files/patch. Can you please download the tar file manually from http://www-verimag.imag.fr/%7Emonniaux/download/mlgmp_20120224.tar.gz and extract it somewhere and try to apply that patch manually? it applies for me when I try to patch it with -p1 from within the mlgmp directory.

Please then provide me with all relevant build log. I can't reproduce this on my end, which means it's probably either something to do with your version of patch, or something to do with your version of OPAM, and I'm trying to narrow down the possibilities of what could have gone wrong.

[zchcai]

Could you provide the full command ?

it applies for me when I try to patch it with -p1 from within the mlgmp directory.

[zchcai]

[zhicheng@taxi] (93)$ patch --version
GNU patch 2.7.5
Copyright (C) 2003, 2009-2012 Free Software Foundation, Inc.
Copyright (C) 1988 Larry Wall

License GPLv3+: GNU GPL version 3 or later http://gnu.org/licenses/gpl.html.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Larry Wall and Paul Eggert
[zhicheng@taxi] (94)$ opam --version
1.2.2
[zhicheng@taxi] (3)$ pwd
/u/z/h/zhicheng/Downloads/mlgmp

[dwightguth]

It should be patch -p1 -i $EVMDIR/.build/k/k-distribution/src/main/scripts/lib/opam/packages/mlgmp/mlgmp.20150824/files/patch where $EVMDIR is the root of the git repo

[zchcai]

[zhicheng@taxi] (10)$ patch -p1 -i /nobackup/evm-semantics/.build/k/k-distribution/src/main/scripts/lib/opam/packages/mlgmp/mlgmp.20150824/files/patch
patching file config.h
patching file gmp.ml
patching file gmp.mli
patching file Makefile
patching file META
patching file mlgmp_f.c
patching file mlgmp_fr.c
patching file mlgmp_q.c
patching file mlgmp_z.c
patching file test_suite.ml
[zhicheng@taxi] (11)$ ls
benchmarks.txt creal.cmo CVS/ gmp.cma gmp.ml install_creal_pp.ml Makefile.1.53. mlgmp_fr.c mlgmp_misc.o mlgmp_random.c.1.2. pretty_gmp.ml test_creal.cmo test_suite.cmo
ChangeLog creal.ml depend gmp.cmi gmp.ml.1.87. install_pp.ml META mlgmp_fr.c.1.18. mlgmp_q.c mlgmp_random.o pretty_gmp.mli test_creal.ml test_suite.cmx
config.h creal.mli essai.ml gmp.cmo gmp.mli INSTALL.txt mlgmp_f.c mlgmp_fr.o mlgmp_q.c.1.17. mlgmp_z.c README test_mlgmp.ml test_suite.ml
conversions.c creal_pp.ml FAQ.txt gmp.cmx gmp.mli.1.24. libmlgmp.a mlgmp_f.c.1.23. mlgmp.h mlgmp_q.o mlgmp_z.c.1.28. test_creal* test_suite* test_suite.o
creal.cmi creal_pp.mli gmp.a gmp.cmxa gmp.o Makefile mlgmp_f.o mlgmp_misc.c mlgmp_random.c mlgmp_z.o test_creal.cmi test_suite.cmi test_suite.opt*
[zhicheng@taxi] (12)$ pwd
/u/z/h/zhicheng/Downloads/mlgmp

[zchcai]

[zhicheng@taxi] (13)$ opam install --debug -v -v mlgmp
00:00.006 SYSTEM locking /u/z/h/zhicheng/.opam/lock
00:00.018 STATE LOAD-STATE(switch-lock)
00:00.208 CUDF Checking version of criteria accepted by the external solver
00:00.225 SYSTEM [log-2375-4438d8] (in 0.000s) aspcud -v
00:00.225 CUDF Solver is aspcud > 1.9: using latest version criteria
00:00.514 STATE Loaded /u/z/h/zhicheng/.opam/state.cache in 0.040s
00:01.683 STATE ROOT : /u/z/h/zhicheng/.opam
00:01.683 STATE SWITCH : 4.03.0+k
00:01.683 STATE COMPILER : 4.03.0+k
00:01.683 STATE COMPILERS : { 3.07, 3.07+1, 3.07+2, 3.08.0, 3.08.1, 3.08.2, 3.08.3, 3.08.4, 3.09.0, 3.09.1, 3.09.1+metaocaml, 3.09.2, 3.09.3, 3.10.0, 3.10.1, 3.10.2, 3.11.0, 3.11.1, 3.11.2, 3.12.0, 3.12.1, 4.00.0, 4.00.0+debug-runtime, 4.00.0+fp, 4.00.1, 4
.00.1+BER, 4.00.1+PIC, 4.00.1+annot, 4.00.1+debug-runtime, 4.00.1+french, 4.00.1+mirage-unix, 4.00.1+mirage-xen, 4.00.1+open-types, 4.00.1+raspberrypi, 4.00.1+short-types, 4.01.0, 4.01.0+32bit, 4.01.0+BER, 4.01.0+PIC, 4.01.0+armv6-freebsd, 4.01.0+fp, 4.01.0+lsb, 4.01.0+musl,
4.01.0+musl+static, 4.01.0+open-types, 4.01.0+profile, 4.02.0, 4.02.0+PIC, 4.02.0+improved-errors, 4.02.0+modular-implicits, 4.02.0+rc1, 4.02.0+trunk, 4.02.1, 4.02.1+32bit, 4.02.1+BER, 4.02.1+PIC, 4.02.1+fp, 4.02.1+modular-implicits-ber, 4.02.1+musl, 4.02.1+musl+static, 4.0
2.2, 4.02.2+improved-errors, 4.02.2+rc1, 4.02.3, 4.02.3+32bit, 4.02.3+PIC, 4.02.3+buckle-1, 4.02.3+buckle-master, 4.02.3+bytecode-only, 4.02.3+curried-constr, 4.02.3+fp, 4.02.3+musl, 4.02.3+musl+static, 4.02.3+termux, 4.03.0, 4.03.0+32bit, 4.03.0+beta1, 4.03.0+beta1+flambda,
4.03.0+beta1-no-debug, 4.03.0+beta2, 4.03.0+beta2+flambda, 4.03.0+beta2-no-debug, 4.03.0+fPIC, 4.03.0+flambda, 4.03.0+fp, 4.03.0+fp+flambda, 4.03.0+k, 4.03.0+k+fp, 4.03.0+statistical-memprof, 4.03.0+termux, 4.03.0+trunk, 4.03.0+trunk+flambda, 4.03.0+trunk+fp, 4.03.0+trunk+f
p+flambda, 4.04.0, 4.04.0+32bit, 4.04.0+BER, 4.04.0+afl, 4.04.0+beta1, 4.04.0+beta1+flambda, 4.04.0+beta2, 4.04.0+beta2+flambda, 4.04.0+bytecode-only, 4.04.0+copatterns, 4.04.0+fPIC, 4.04.0+flambda, 4.04.0+fp, 4.04.0+fp+flambda, 4.04.0+safe-string, 4.04.0+spacetime, 4.04.0+t
ermux, 4.04.0+trunk+forced_lto, 4.04.1, 4.04.1+32bit, 4.04.1+bytecode-only, 4.04.1+fPIC, 4.04.1+flambda, 4.04.1+fp, 4.04.1+fp+flambda, 4.04.1+safe-string, 4.04.1+spacetime, 4.04.2, 4.04.2+32bit, 4.04.2+bytecode-only, 4.04.2+fPIC, 4.04.2+flambda, 4.04.2+fp, 4.04.2+fp+flambda,
4.04.2+safe-string, 4.04.2+spacetime, 4.04.2+statistical-memprof, 4.05.0, 4.05.0+32bit, 4.05.0+afl, 4.05.0+beta1, 4.05.0+beta1+flambda, 4.05.0+beta2, 4.05.0+beta2+flambda, 4.05.0+beta3, 4.05.0+flambda, 4.05.0+lto, 4.05.0+musl+static+flambda, 4.05.0+rc1, 4.05.0+rc1+flambda,
4.05.0+safe-string, 4.05.0+spacetime, 4.05.0+statistical-memprof, 4.05.0+trunk, 4.05.0+trunk+afl, 4.05.0+trunk+flambda, 4.05.0+trunk+fp, 4.05.0+trunk+fp+flambda, 4.05.0+trunk+safe-string, 4.06.0, 4.06.0+32bit, 4.06.0+afl, 4.06.0+beta1, 4.06.0+beta1+afl, 4.06.0+beta1+default-
unsafe-string, 4.06.0+beta1+flambda, 4.06.0+beta1+force-safe-string, 4.06.0+beta1+fp, 4.06.0+beta1+fp+flambda, 4.06.0+beta2, 4.06.0+beta2+afl, 4.06.0+beta2+default-unsafe-string, 4.06.0+beta2+flambda, 4.06.0+beta2+force-safe-string, 4.06.0+beta2+fp, 4.06.0+beta2+fp+flambda,
4.06.0+default-unsafe-string, 4.06.0+flambda, 4.06.0+flambda+no-flat-float-array, 4.06.0+force-safe-string, 4.06.0+fp, 4.06.0+fp+flambda, 4.06.0+musl+static+flambda, 4.06.0+rc1, 4.06.0+rc1+afl, 4.06.0+rc1+default-unsafe-string, 4.06.0+rc1+flambda, 4.06.0+rc1+force-safe-strin
g, 4.06.0+rc1+fp, 4.06.0+rc1+fp+flambda, 4.06.0+spacetime, 4.06.0+statistical-memprof, 4.06.1, 4.06.1+32bit, 4.06.1+afl, 4.06.1+default-unsafe-string, 4.06.1+flambda, 4.06.1+force-safe-string, 4.06.1+fp, 4.06.1+fp+flambda, 4.06.1+musl+static+flambda, 4.06.1+rc1, 4.06.1+rc1+a
fl, 4.06.1+rc1+default-unsafe-string, 4.06.1+rc1+flambda, 4.06.1+rc1+force-safe-string, 4.06.1+rc1+fp, 4.06.1+rc1+fp+flambda, 4.06.1+rc2, 4.06.1+rc2+afl, 4.06.1+rc2+default-unsafe-string, 4.06.1+rc2+flambda, 4.06.1+rc2+force-safe-string, 4.06.1+rc2+fp, 4.06.1+rc2+fp+flambda,
4.06.1+trunk, 4.06.1+trunk+afl, 4.06.1+trunk+flambda, 4.06.1+trunk+fp, 4.06.1+trunk+fp+flambda, 4.06.1+trunk+safe-string, 4.07.0+trunk, 4.07.0+trunk+afl, 4.07.0+trunk+flambda, 4.07.0+trunk+fp, 4.07.0+trunk+fp+flambda, 4.07.0+trunk+unsafe-string, system }
00:01.684 STATE REPOS : { coq-released, default, k }
00:01.684 STATE PACKAGES : 9121 packages
00:01.684 STATE INSTALLED : { base.v0.9.3, base-bigarray.base, base-bytes.base, base-num.base, base-threads.base, base-unix.base, biniou.1.2.0, conf-gmp.1, conf-gmp-powm-sec.1, conf-m4.1, conf-mpfr.1, conf-perl.1, conf-pkg-config.1.0, conf-secp256k1.1.0.0,
conf-which.1, conf-zlib.1, cppo.1.6.4, cppo_ocamlbuild.1.6.0, cstruct.3.2.1, easy-format.1.3.1, hex.1.2.0, jbuilder.1.0+beta19.1, num.0, oasis.0.4.11, ocaml-compiler-libs.v0.9.0, ocaml-migrate-parsetree.1.0.9, ocamlbuild.0.12.0, ocamlfind.1.7.3-1, ocamlify.0.0.1, ocamlmod.0
.0.9, octavius.1.2.0, ounit.2.0.8, pprint.20171003, ppx_ast.v0.9.1, ppx_deriving.4.1.5, ppx_deriving_protobuf.2.6, ppx_tools.5.0+4.03.0, ppx_traverse_builtins.v0.9.0, result.1.3, rope.0.6.1, sexplib.v0.9.2 }
00:01.684 STATE ROOTS : { base-bigarray.base, base-threads.base, base-unix.base, hex.1.2.0 }
00:01.684 STATE REINSTALL : {}
00:01.684 STATE State switch-lock loaded in 0.392s
00:01.686 SYSTEM locking /u/z/h/zhicheng/.opam/4.03.0+k/lock
00:01.686 STATE LOAD-STATE(install)
00:01.727 STATE Loaded /u/z/h/zhicheng/.opam/state.cache in 0.040s
00:01.809 STATE ROOT : /u/z/h/zhicheng/.opam
00:01.809 STATE SWITCH : 4.03.0+k
00:01.809 STATE COMPILER : 4.03.0+k
00:01.809 STATE COMPILERS : { 3.07, 3.07+1, 3.07+2, 3.08.0, 3.08.1, 3.08.2, 3.08.3, 3.08.4, 3.09.0, 3.09.1, 3.09.1+metaocaml, 3.09.2, 3.09.3, 3.10.0, 3.10.1, 3.10.2, 3.11.0, 3.11.1, 3.11.2, 3.12.0, 3.12.1, 4.00.0, 4.00.0+debug-runtime, 4.00.0+fp, 4.00.1, 4
.00.1+BER, 4.00.1+PIC, 4.00.1+annot, 4.00.1+debug-runtime, 4.00.1+french, 4.00.1+mirage-unix, 4.00.1+mirage-xen, 4.00.1+open-types, 4.00.1+raspberrypi, 4.00.1+short-types, 4.01.0, 4.01.0+32bit, 4.01.0+BER, 4.01.0+PIC, 4.01.0+armv6-freebsd, 4.01.0+fp, 4.01.0+lsb, 4.01.0+musl,
4.01.0+musl+static, 4.01.0+open-types, 4.01.0+profile, 4.02.0, 4.02.0+PIC, 4.02.0+improved-errors, 4.02.0+modular-implicits, 4.02.0+rc1, 4.02.0+trunk, 4.02.1, 4.02.1+32bit, 4.02.1+BER, 4.02.1+PIC, 4.02.1+fp, 4.02.1+modular-implicits-ber, 4.02.1+musl, 4.02.1+musl+static, 4.0
2.2, 4.02.2+improved-errors, 4.02.2+rc1, 4.02.3, 4.02.3+32bit, 4.02.3+PIC, 4.02.3+buckle-1, 4.02.3+buckle-master, 4.02.3+bytecode-only, 4.02.3+curried-constr, 4.02.3+fp, 4.02.3+musl, 4.02.3+musl+static, 4.02.3+termux, 4.03.0, 4.03.0+32bit, 4.03.0+beta1, 4.03.0+beta1+flambda,
4.03.0+beta1-no-debug, 4.03.0+beta2, 4.03.0+beta2+flambda, 4.03.0+beta2-no-debug, 4.03.0+fPIC, 4.03.0+flambda, 4.03.0+fp, 4.03.0+fp+flambda, 4.03.0+k, 4.03.0+k+fp, 4.03.0+statistical-memprof, 4.03.0+termux, 4.03.0+trunk, 4.03.0+trunk+flambda, 4.03.0+trunk+fp, 4.03.0+trunk+f
p+flambda, 4.04.0, 4.04.0+32bit, 4.04.0+BER, 4.04.0+afl, 4.04.0+beta1, 4.04.0+beta1+flambda, 4.04.0+beta2, 4.04.0+beta2+flambda, 4.04.0+bytecode-only, 4.04.0+copatterns, 4.04.0+fPIC, 4.04.0+flambda, 4.04.0+fp, 4.04.0+fp+flambda, 4.04.0+safe-string, 4.04.0+spacetime, 4.04.0+t
ermux, 4.04.0+trunk+forced_lto, 4.04.1, 4.04.1+32bit, 4.04.1+bytecode-only, 4.04.1+fPIC, 4.04.1+flambda, 4.04.1+fp, 4.04.1+fp+flambda, 4.04.1+safe-string, 4.04.1+spacetime, 4.04.2, 4.04.2+32bit, 4.04.2+bytecode-only, 4.04.2+fPIC, 4.04.2+flambda, 4.04.2+fp, 4.04.2+fp+flambda,
4.04.2+safe-string, 4.04.2+spacetime, 4.04.2+statistical-memprof, 4.05.0, 4.05.0+32bit, 4.05.0+afl, 4.05.0+beta1, 4.05.0+beta1+flambda, 4.05.0+beta2, 4.05.0+beta2+flambda, 4.05.0+beta3, 4.05.0+flambda, 4.05.0+lto, 4.05.0+musl+static+flambda, 4.05.0+rc1, 4.05.0+rc1+flambda,
4.05.0+safe-string, 4.05.0+spacetime, 4.05.0+statistical-memprof, 4.05.0+trunk, 4.05.0+trunk+afl, 4.05.0+trunk+flambda, 4.05.0+trunk+fp, 4.05.0+trunk+fp+flambda, 4.05.0+trunk+safe-string, 4.06.0, 4.06.0+32bit, 4.06.0+afl, 4.06.0+beta1, 4.06.0+beta1+afl, 4.06.0+beta1+default-
unsafe-string, 4.06.0+beta1+flambda, 4.06.0+beta1+force-safe-string, 4.06.0+beta1+fp, 4.06.0+beta1+fp+flambda, 4.06.0+beta2, 4.06.0+beta2+afl, 4.06.0+beta2+default-unsafe-string, 4.06.0+beta2+flambda, 4.06.0+beta2+force-safe-string, 4.06.0+beta2+fp, 4.06.0+beta2+fp+flambda,
4.06.0+default-unsafe-string, 4.06.0+flambda, 4.06.0+flambda+no-flat-float-array, 4.06.0+force-safe-string, 4.06.0+fp, 4.06.0+fp+flambda, 4.06.0+musl+static+flambda, 4.06.0+rc1, 4.06.0+rc1+afl, 4.06.0+rc1+default-unsafe-string, 4.06.0+rc1+flambda, 4.06.0+rc1+force-safe-strin
g, 4.06.0+rc1+fp, 4.06.0+rc1+fp+flambda, 4.06.0+spacetime, 4.06.0+statistical-memprof, 4.06.1, 4.06.1+32bit, 4.06.1+afl, 4.06.1+default-unsafe-string, 4.06.1+flambda, 4.06.1+force-safe-string, 4.06.1+fp, 4.06.1+fp+flambda, 4.06.1+musl+static+flambda, 4.06.1+rc1, 4.06.1+rc1+a
fl, 4.06.1+rc1+default-unsafe-string, 4.06.1+rc1+flambda, 4.06.1+rc1+force-safe-string, 4.06.1+rc1+fp, 4.06.1+rc1+fp+flambda, 4.06.1+rc2, 4.06.1+rc2+afl, 4.06.1+rc2+default-unsafe-string, 4.06.1+rc2+flambda, 4.06.1+rc2+force-safe-string, 4.06.1+rc2+fp, 4.06.1+rc2+fp+flambda,
4.06.1+trunk, 4.06.1+trunk+afl, 4.06.1+trunk+flambda, 4.06.1+trunk+fp, 4.06.1+trunk+fp+flambda, 4.06.1+trunk+safe-string, 4.07.0+trunk, 4.07.0+trunk+afl, 4.07.0+trunk+flambda, 4.07.0+trunk+fp, 4.07.0+trunk+fp+flambda, 4.07.0+trunk+unsafe-string, system }
00:01.809 STATE REPOS : { coq-released, default, k }
00:01.809 STATE PACKAGES : 9121 packages
00:01.809 STATE INSTALLED : { base.v0.9.3, base-bigarray.base, base-bytes.base, base-num.base, base-threads.base, base-unix.base, biniou.1.2.0, conf-gmp.1, conf-gmp-powm-sec.1, conf-m4.1, conf-mpfr.1, conf-perl.1, conf-pkg-config.1.0, conf-secp256k1.1.0.0,
conf-which.1, conf-zlib.1, cppo.1.6.4, cppo_ocamlbuild.1.6.0, cstruct.3.2.1, easy-format.1.3.1, hex.1.2.0, jbuilder.1.0+beta19.1, num.0, oasis.0.4.11, ocaml-compiler-libs.v0.9.0, ocaml-migrate-parsetree.1.0.9, ocamlbuild.0.12.0, ocamlfind.1.7.3-1, ocamlify.0.0.1, ocamlmod.0
.0.9, octavius.1.2.0, ounit.2.0.8, pprint.20171003, ppx_ast.v0.9.1, ppx_deriving.4.1.5, ppx_deriving_protobuf.2.6, ppx_tools.5.0+4.03.0, ppx_traverse_builtins.v0.9.0, result.1.3, rope.0.6.1, sexplib.v0.9.2 }
00:01.809 STATE ROOTS : { base-bigarray.base, base-threads.base, base-unix.base, hex.1.2.0 }
00:01.809 STATE REINSTALL : {}
00:01.809 STATE State install loaded in 0.124s
00:01.813 FILE(export) Wrote ~/.opam/4.03.0+k/backup/state-20180310002553.export in 0.000s
00:01.860 CLIENT INSTALL mlgmp
00:02.998 CLIENT Orphans: full {}, versions {}
00:03.066 SOLVER resolve request=install:(mlgmp) remove:() upgrade:()
00:03.066 SOLVER cudf_versions_map
00:03.173 SOLVER Load cudf universe (depopts:false, build:true)
00:04.086 CUDF resolve request=install:(mlgmp) remove:() upgrade:() criteria:"-count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution,version-lag)"
00:04.593 SYSTEM [log-2375-ccabea] (in 0.004s) aspcud /u/z/h/zhicheng/.opam/log/solver-in-2375-4bcc67 /u/z/h/zhicheng/.opam/log/solver-out-2375-dd682e -count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(
changed),-notuptodate(solution),-sum(solution,version-lag)
00:04.593 SYSTEM rm /u/z/h/zhicheng/.opam/log/solver-in-2375-4bcc67
00:04.781 SYSTEM rm /u/z/h/zhicheng/.opam/log/solver-out-2375-dd682e
00:04.893 SOLVER Load cudf universe (depopts:false, build:true)
00:05.839 SOLVER Load cudf universe (depopts:true, build:false)
00:06.785 SOLVER Load cudf universe (depopts:true, build:true)
00:07.748 CUDF graph_of_actions root_actions={ - install mlgmp.2 }
00:07.755 SOLUTION apply
The following actions will be performed:
∗ install mlgmp 20150824
00:07.756 SOLUTION parallel_apply

=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
00:07.756 PARALLEL Iterate over 1 task(s) with 3 process(es)
00:07.756 PARALLEL Starting job 0 (worker 1/3): 0
00:07.756 ACTION download_package: mlgmp.20150824
00:07.756 STATE get_archive mlgmp.20150824
00:07.756 RSYNC rsync_file src=/nobackup/evm-semantics/.build/k/k-distribution/target/release/k/lib/opam/archives/mlgmp.20150824+opam.tar.gz dst=/u/z/h/zhicheng/.opam/repo/k/archives/mlgmp.20150824+opam.tar.gz
[k] /nobackup/evm-semantics/.build/k/k-distribution/target/release/k/lib/opam/archives/mlgmp.20150824+opam.tar.gz unavailable
[mlgmp: from k] Repo archive not found
00:07.763 CURL pull-file into /u/z/h/zhicheng/.opam/packages.dev/mlgmp.20150824: http://www-verimag.imag.fr/~monniaux/download/mlgmp_20120224.tar.gz
00:07.810 PARALLEL Job 0 finished

=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
00:07.810 PARALLEL Iterate over 1 task(s) with 4 process(es)
00:07.810 PARALLEL Starting job 878655074 (worker 1/4): ∗ mlgmp.20150824
00:07.810 ACTION extract_package: mlgmp.20150824 from /u/z/h/zhicheng/.opam/packages.dev/mlgmp.20150824/mlgmp_20120224.tar.gz
00:07.810 SYSTEM rmdir /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824
00:07.898 SYSTEM mkdir /tmp/opam-2375-42bb52

• tar "xfz" "/u/z/h/zhicheng/.opam/packages.dev/mlgmp.20150824/mlgmp_20120224.tar.gz" "-C" "/tmp/opam-2375-42bb52"
  00:08.184 SYSTEM [log-2375-9b8556] (in 0.016s) tar xfz /u/z/h/zhicheng/.opam/packages.dev/mlgmp.20150824/mlgmp_20120224.tar.gz -C /tmp/opam-2375-42bb52
• mv "/tmp/opam-2375-42bb52/mlgmp" "/u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824"
  00:09.264 SYSTEM [log-2375-5f1023] (in 0.012s) mv /tmp/opam-2375-42bb52/mlgmp /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824
  00:09.264 SYSTEM rmdir /tmp/opam-2375-42bb52
  Copying ~/.opam/repo/k/packages/mlgmp/mlgmp.20150824/files/patch to ~/.opam/4.03.0+k/build/mlgmp.20150824/
  00:09.556 SYSTEM [log-2375-ffb3fd] (in 0.016s) cp /u/z/h/zhicheng/.opam/repo/k/packages/mlgmp/mlgmp.20150824/files/patch /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824/patch
  Copying ~/.opam/repo/k/packages/mlgmp/mlgmp.20150824/files/_oasis to ~/.opam/4.03.0+k/build/mlgmp.20150824/
  00:09.592 SYSTEM [log-2375-1872ec] (in 0.008s) cp /u/z/h/zhicheng/.opam/repo/k/packages/mlgmp/mlgmp.20150824/files/_oasis /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824/_oasis
  00:09.592 ACTION mlgmp: applying patch.
  00:09.757 SYSTEM [log-2375-d2c37b] (in 0.012s) patch -p0 -i /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824/patch --dry-run
  00:09.772 SYSTEM [log-2375-e7966f] (in 0.004s) patch -p1 -i /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824/patch --dry-run
  00:09.788 SYSTEM [log-2375-c61e7b] (in 0.000s) patch -p2 -i /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824/patch --dry-run
  00:09.803 SYSTEM [log-2375-d2d111] (in 0.004s) patch -p3 -i /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824/patch --dry-run
  00:09.822 SYSTEM [log-2375-ad8886] (in 0.004s) patch -p4 -i /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824/patch --dry-run
  00:09.822 SYSTEM error: Patch /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824/patch does not apply.
  00:09.830 PARALLEL Exception while computing job 878655074: ∗ mlgmp.20150824

#=== ERROR while installing mlgmp.20150824 ====================================#
These patches didn't apply at /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824:

• patch

=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions failed
∗ install mlgmp 20150824
No changes have been performed
00:09.830 STATE LOAD-STATE(switch-backup-err)
00:09.888 STATE Loaded /u/z/h/zhicheng/.opam/state.cache in 0.056s
00:10.157 STATE ROOT : /u/z/h/zhicheng/.opam
00:10.157 STATE SWITCH : 4.03.0+k
00:10.157 STATE COMPILER : 4.03.0+k
00:10.157 STATE COMPILERS : { 3.07, 3.07+1, 3.07+2, 3.08.0, 3.08.1, 3.08.2, 3.08.3, 3.08.4, 3.09.0, 3.09.1, 3.09.1+metaocaml, 3.09.2, 3.09.3, 3.10.0, 3.10.1, 3.10.2, 3.11.0, 3.11.1, 3.11.2, 3.12.0, 3.12.1, 4.00.0, 4.00.0+debug-runtime, 4.00.0+fp, 4.00.1, 4
.00.1+BER, 4.00.1+PIC, 4.00.1+annot, 4.00.1+debug-runtime, 4.00.1+french, 4.00.1+mirage-unix, 4.00.1+mirage-xen, 4.00.1+open-types, 4.00.1+raspberrypi, 4.00.1+short-types, 4.01.0, 4.01.0+32bit, 4.01.0+BER, 4.01.0+PIC, 4.01.0+armv6-freebsd, 4.01.0+fp, 4.01.0+lsb, 4.01.0+musl,
4.01.0+musl+static, 4.01.0+open-types, 4.01.0+profile, 4.02.0, 4.02.0+PIC, 4.02.0+improved-errors, 4.02.0+modular-implicits, 4.02.0+rc1, 4.02.0+trunk, 4.02.1, 4.02.1+32bit, 4.02.1+BER, 4.02.1+PIC, 4.02.1+fp, 4.02.1+modular-implicits-ber, 4.02.1+musl, 4.02.1+musl+static, 4.0
2.2, 4.02.2+improved-errors, 4.02.2+rc1, 4.02.3, 4.02.3+32bit, 4.02.3+PIC, 4.02.3+buckle-1, 4.02.3+buckle-master, 4.02.3+bytecode-only, 4.02.3+curried-constr, 4.02.3+fp, 4.02.3+musl, 4.02.3+musl+static, 4.02.3+termux, 4.03.0, 4.03.0+32bit, 4.03.0+beta1, 4.03.0+beta1+flambda,
4.03.0+beta1-no-debug, 4.03.0+beta2, 4.03.0+beta2+flambda, 4.03.0+beta2-no-debug, 4.03.0+fPIC, 4.03.0+flambda, 4.03.0+fp, 4.03.0+fp+flambda, 4.03.0+k, 4.03.0+k+fp, 4.03.0+statistical-memprof, 4.03.0+termux, 4.03.0+trunk, 4.03.0+trunk+flambda, 4.03.0+trunk+fp, 4.03.0+trunk+f
p+flambda, 4.04.0, 4.04.0+32bit, 4.04.0+BER, 4.04.0+afl, 4.04.0+beta1, 4.04.0+beta1+flambda, 4.04.0+beta2, 4.04.0+beta2+flambda, 4.04.0+bytecode-only, 4.04.0+copatterns, 4.04.0+fPIC, 4.04.0+flambda, 4.04.0+fp, 4.04.0+fp+flambda, 4.04.0+safe-string, 4.04.0+spacetime, 4.04.0+t
ermux, 4.04.0+trunk+forced_lto, 4.04.1, 4.04.1+32bit, 4.04.1+bytecode-only, 4.04.1+fPIC, 4.04.1+flambda, 4.04.1+fp, 4.04.1+fp+flambda, 4.04.1+safe-string, 4.04.1+spacetime, 4.04.2, 4.04.2+32bit, 4.04.2+bytecode-only, 4.04.2+fPIC, 4.04.2+flambda, 4.04.2+fp, 4.04.2+fp+flambda,
4.04.2+safe-string, 4.04.2+spacetime, 4.04.2+statistical-memprof, 4.05.0, 4.05.0+32bit, 4.05.0+afl, 4.05.0+beta1, 4.05.0+beta1+flambda, 4.05.0+beta2, 4.05.0+beta2+flambda, 4.05.0+beta3, 4.05.0+flambda, 4.05.0+lto, 4.05.0+musl+static+flambda, 4.05.0+rc1, 4.05.0+rc1+flambda,
4.05.0+safe-string, 4.05.0+spacetime, 4.05.0+statistical-memprof, 4.05.0+trunk, 4.05.0+trunk+afl, 4.05.0+trunk+flambda, 4.05.0+trunk+fp, 4.05.0+trunk+fp+flambda, 4.05.0+trunk+safe-string, 4.06.0, 4.06.0+32bit, 4.06.0+afl, 4.06.0+beta1, 4.06.0+beta1+afl, 4.06.0+beta1+default-
unsafe-string, 4.06.0+beta1+flambda, 4.06.0+beta1+force-safe-string, 4.06.0+beta1+fp, 4.06.0+beta1+fp+flambda, 4.06.0+beta2, 4.06.0+beta2+afl, 4.06.0+beta2+default-unsafe-string, 4.06.0+beta2+flambda, 4.06.0+beta2+force-safe-string, 4.06.0+beta2+fp, 4.06.0+beta2+fp+flambda,
4.06.0+default-unsafe-string, 4.06.0+flambda, 4.06.0+flambda+no-flat-float-array, 4.06.0+force-safe-string, 4.06.0+fp, 4.06.0+fp+flambda, 4.06.0+musl+static+flambda, 4.06.0+rc1, 4.06.0+rc1+afl, 4.06.0+rc1+default-unsafe-string, 4.06.0+rc1+flambda, 4.06.0+rc1+force-safe-strin
g, 4.06.0+rc1+fp, 4.06.0+rc1+fp+flambda, 4.06.0+spacetime, 4.06.0+statistical-memprof, 4.06.1, 4.06.1+32bit, 4.06.1+afl, 4.06.1+default-unsafe-string, 4.06.1+flambda, 4.06.1+force-safe-string, 4.06.1+fp, 4.06.1+fp+flambda, 4.06.1+musl+static+flambda, 4.06.1+rc1, 4.06.1+rc1+a
fl, 4.06.1+rc1+default-unsafe-string, 4.06.1+rc1+flambda, 4.06.1+rc1+force-safe-string, 4.06.1+rc1+fp, 4.06.1+rc1+fp+flambda, 4.06.1+rc2, 4.06.1+rc2+afl, 4.06.1+rc2+default-unsafe-string, 4.06.1+rc2+flambda, 4.06.1+rc2+force-safe-string, 4.06.1+rc2+fp, 4.06.1+rc2+fp+flambda,
4.06.1+trunk, 4.06.1+trunk+afl, 4.06.1+trunk+flambda, 4.06.1+trunk+fp, 4.06.1+trunk+fp+flambda, 4.06.1+trunk+safe-string, 4.07.0+trunk, 4.07.0+trunk+afl, 4.07.0+trunk+flambda, 4.07.0+trunk+fp, 4.07.0+trunk+fp+flambda, 4.07.0+trunk+unsafe-string, system }
00:10.157 STATE REPOS : { coq-released, default, k }
00:10.157 STATE PACKAGES : 9121 packages
00:10.157 STATE INSTALLED : { base.v0.9.3, base-bigarray.base, base-bytes.base, base-num.base, base-threads.base, base-unix.base, biniou.1.2.0, conf-gmp.1, conf-gmp-powm-sec.1, conf-m4.1, conf-mpfr.1, conf-perl.1, conf-pkg-config.1.0, conf-secp256k1.1.0.0,
conf-which.1, conf-zlib.1, cppo.1.6.4, cppo_ocamlbuild.1.6.0, cstruct.3.2.1, easy-format.1.3.1, hex.1.2.0, jbuilder.1.0+beta19.1, num.0, oasis.0.4.11, ocaml-compiler-libs.v0.9.0, ocaml-migrate-parsetree.1.0.9, ocamlbuild.0.12.0, ocamlfind.1.7.3-1, ocamlify.0.0.1, ocamlmod.0
.0.9, octavius.1.2.0, ounit.2.0.8, pprint.20171003, ppx_ast.v0.9.1, ppx_deriving.4.1.5, ppx_deriving_protobuf.2.6, ppx_tools.5.0+4.03.0, ppx_traverse_builtins.v0.9.0, result.1.3, rope.0.6.1, sexplib.v0.9.2 }
00:10.157 STATE ROOTS : { base-bigarray.base, base-threads.base, base-unix.base, hex.1.2.0 }
00:10.157 STATE REINSTALL : {}
00:10.157 STATE State switch-backup-err loaded in 0.164s
00:10.157 SYSTEM rm /u/z/h/zhicheng/.opam/4.03.0+k/backup/state-20180310002553.export
00:10.198 SYSTEM Lock released on /u/z/h/zhicheng/.opam/4.03.0+k/lock
00:10.198 SYSTEM Lock released on /u/z/h/zhicheng/.opam/lock
'opam install --debug -v -v mlgmp' failed.

[zchcai]

Above is the whole log for opam install --debug -v -v mlgmp.

[dwightguth]

Can you show me the output for patch -p1 -i /u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824/patch --dry-run when you run it on a fresh extract of the archive I had you download? If it fails, the problem is with the --dry-run flag or with a corrupted patch file. If it succeeds, the problem is with the archive opam downloaded, in which case I'll need its checksum to tell whether it's been corrupted somehow

[zchcai]

[zhicheng@taxi] (3)$ patch -p1 -i ~/.opam/4.03.0+k/build/mlgmp.20150824/patch --dry-run
checking file config.h
checking file gmp.ml
checking file gmp.mli
checking file Makefile
checking file META
checking file mlgmp_f.c
checking file mlgmp_fr.c
checking file mlgmp_q.c
checking file mlgmp_z.c
checking file test_suite.ml

[zchcai]

[zhicheng@taxi] (7)$ md5sum mlgmp_20120224.tar.gz
7001db70f5fed91f230b459425129f96 mlgmp_20120224.tar.gz

[dwightguth]

Checksum matches what I expected, and it seems the patch didn't have any problems, so I'm afraid I have no idea what is going wrong here. It's possible it's a bug in OPAM?

I'm afraid I don't know how to debug further, but if the patch applied successfully, that means you can probably install mlgmp manually... That's a workaround at best, but I don't really know what else to suggest.

Let me know if you need help figuring out how to install the package manually.

[zchcai]

Thank you and you've already help me a lot!
What are the steps to install manually? (currently I have the patched mlgmp folder)

[zchcai]

[zhicheng@taxi] (9)$ pwd
/u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824
[zhicheng@taxi] (10)$ which patch
./patch
[zhicheng@taxi] (11)$ cd ..
[zhicheng@taxi] (12)$ which patch
/usr/bin/patch

[zchcai]

There is another patch in the ~/.opam/4.03.0+k/build/mlgmp.20150824. Maybe this is the reason accounting for my issue?

[zchcai]

[zhicheng@taxi] (29)$ pwd
/u/z/h/zhicheng/.opam/4.03.0+k/build/mlgmp.20150824
[zhicheng@taxi] (30)$ patch -p1 -i ./patch
diff: mlgmp_ref/mlgmp/config.h: No such file or directory
diff: mlgmp/config.h: No such file or directory
./patch: line 2: ---: command not found
./patch: line 3: +++: command not found
./patch: line 4: @@: command not found
./patch: line 8: syntax error near unexpected token newline' ./patch: line 8: +#include <stdint.h>'
[zhicheng@taxi] (31)$ /usr/bin/patch -p1 -i ./patch
patching file config.h
patching file gmp.ml
patching file gmp.mli
patching file Makefile
patching file META
patching file mlgmp_f.c
patching file mlgmp_fr.c
patching file mlgmp_q.c
patching file mlgmp_z.c
patching file test_suite.ml