ocaml4.14.0-ocplib-simplex-0.4
checks.i686-linux.alt-ergo
· build #1
· raw
unpackPhase
1unpacking sources2unpacking source archive /nix/store/09q63qp8v7wglbrahy90rw1x6mblvhch-source3source root is sourcepatchPhase
4patching sourcesautoreconfPhase
5autoreconfPhase6autoreconf: export WARNINGS=7autoreconf: warning: autoconf input should be named 'configure.ac', not 'configure.in'8autoreconf: Entering directory '.'9autoreconf: configure.in: not using Gettext10autoreconf: running: aclocal --force 11aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'12autoreconf: configure.in: tracing13autoreconf: configure.in: not using Libtool14autoreconf: configure.in: not using Intltool15autoreconf: configure.in: not using Gtkdoc16autoreconf: running: /nix/store/g1i6w7c33zvp462lb6i125ar1ns7kga1-autoconf-2.71/bin/autoconf --force17configure.in:140: warning: AC_OUTPUT should be used without arguments.18configure.in:140: You should run autoupdate.19autoreconf: configure.in: not using Autoheader20autoreconf: configure.in: not using Automake21autoreconf: Leaving directory '.'configurePhase
22configuring23configure flags: --prefix=/nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.424checking for ocamlc... ocamlc25ocaml version is 4.14.026ocaml library path is /nix/store/nvgzabjlgirvwdvbkwh1phyvnm8pybyk-ocaml-4.14.0/lib/ocaml27checking for ocamlfind... yes28./configure: line 1839: which: command not found29checking for ocamlopt... ocamlopt30checking ocamlopt version... ok31checking for ocamlc.opt... ocamlc.opt32checking ocamlc.opt version... ok33checking for ocamlopt.opt... ocamlopt.opt34checking ocamlopt.opt version... ok35checking for ocamldep... ocamldep36checking platform... configure: creating ./config.status37config.status: creating Makefile38config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir settingbuildPhase
39building40build flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash41cp src/extSigs.mli src/extSigs.ml42cp src/coreSig.mli src/coreSig.ml43ocamldep -I src src/*.ml* > .depend44ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.mli45ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.ml46ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.mli47ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.mli48ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.ml49ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.ml50ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.mli51ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.ml52ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.mli53ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.ml54ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.mli55ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.ml56ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.mli57ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.ml58ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.mli59ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.ml60ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.mli61ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.ml62ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.mli63ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.ml64ocamlc.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -pack -o src/ocplibSimplex.cmo src/version.cmo src/rat2.cmo src/extSigs.cmo src/polys.cmo src/coreSig.cmo src/core.cmo src/result.cmo src/assertBounds.cmo src/solveBounds.cmo src/basic.cmo65ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -o src/ocplibSimplex.cma src/ocplibSimplex.cmo66ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/version.ml67ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/extSigs.ml68ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/rat2.ml69ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/polys.ml70ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/coreSig.ml71ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/core.ml72ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/result.ml73ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/assertBounds.ml74ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/solveBounds.ml75ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/basic.ml76ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -pack -o src/ocplibSimplex.cmx src/version.cmx src/rat2.cmx src/extSigs.cmx src/polys.cmx src/coreSig.cmx src/core.cmx src/result.cmx src/assertBounds.cmx src/solveBounds.cmx src/basic.cmx77ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxa src/ocplibSimplex.cmx78ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxs src/ocplibSimplex.cmxinstallPhase
79installing80install flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash LIBDIR=\$\(OCAMLFIND_DESTDIR\) install81OCAMLFIND_DESTDIR=/nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ \82 ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META83Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/version.mli84Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/solveBounds.mli85Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/result.mli86Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/rat2.mli87Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/polys.mli88Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/extSigs.mli89Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/coreSig.mli90Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/core.mli91Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/basic.mli92Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/assertBounds.mli93Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.o94Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmxs95Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmxa96Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmx97Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmt98Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmo99Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmi100Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cma101Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.a102Installed /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/METAfixupPhase
103post-installation fixup104shrinking RPATHs of ELF executables and libraries in /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4105shrinking /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.o106patchelf: wrong ELF type107shrinking /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmxs108strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip109stripping (with command strip and flags -S) in /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4/lib110patching script interpreter paths in /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4111checking for references to /build/ in /nix/store/nl1xhfqdp3kxbjmfjf6m5fg6kgnrq5kd-ocaml4.14.0-ocplib-simplex-0.4...112patchelf: wrong ELF type