Building on m1-c.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:286b1a07f166d69599599e77d36ff670e397cb189a08f108911b5151b4668ce1) 2022-06-03 23:26.21 ---> using "47ed2e5e0feee1987ba23dd55270cc6ad201fc29c17004e34e901e030428f794" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2022-06-03 23:26.21 ---> using "4a75653e8e13af1975fafc6190bea646f6c5227de6a31d9a10c263381aa24cc1" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q acdf0fda43c6ad752dca7fbab614d7a45df50538")) 2022-06-03 23:26.21 ---> using "e017e24311b2d1facae68aa054d4808ac0fd85da474fe18b5feb752a484a7401" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2022-06-03 23:26.21 ---> using "fe4ab29b581b2ba4fc496c6fcd5cd0653b4902fb6da880b540dae71463661523" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.02' '4.02.3'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.02.3"} | "ocaml-system" {= "4.02.3"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.02.3 (https://github.com/ocaml/ocaml/archive/4.02.3.tar.gz) -> installed ocaml-base-compiler.4.02.3 -> installed ocaml-config.1 -> installed ocaml.4.02.3 -> installed base-ocamlbuild.base Done. # Run eval $(opam env --switch=4.02) to update the current shell environment 2022-06-03 23:26.21 ---> using "0e9292a7d2bdd2d0f831e0d924388c9fa8e1e9ca331331f0074d7467a0bbf700" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [165 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-06-02-2003.50-F-2022-06-01-1416.25.pdiff [73.9 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-06-02-2003.50-F-2022-06-01-1416.25.pdiff [73.9 kB] - Fetched 303 kB in 2s (122 kB/s) - Reading package lists... - 2022-06-03 23:26.21 ---> using "b367b46c1512171e819433561dae4a57f0a24bd3c42efeea1e7dfd7f73997218" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install -y ocaml-secondary-compiler")) The following actions will be performed: === install 1 package - install ocaml-secondary-compiler 4.08.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-secondary-compiler.4.08.1-1 (cached) -> installed ocaml-secondary-compiler.4.08.1-1 Done. # Run eval $(opam env) to update the current shell environment 2022-06-03 23:26.21 ---> using "6754c9d5bc4723cf1d77b8b7f37cdab77a1ee2293fdd5d87a97131d48a57dee0" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"symkat.1.4\"\ \nopam install -vy \"symkat.1.4\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"symkat.1.4\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) Nothing to do. [NOTE] symkat.1.4 is not installed. The following actions will be performed: === install 4 packages - install ocamlbuild 0 [required by symkat] - install ocamlfind 1.9.3 [required by symkat] - install safa 1.4 [required by symkat] - install symkat 1.4 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 2/12: Processing 3/12: Processing 4/12: Processing 5/12: -> installed ocamlbuild.0 Processing 6/12: -> retrieved safa.1.4 (cached) -> retrieved ocamlfind.1.9.3 (cached) Processing 7/12: [ocamlfind: ./configure] -> retrieved symkat.1.4 (cached) + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.02/bin" "-sitelib" "/home/opam/.opam/4.02/lib" "-mandir" "/home/opam/.opam/4.02/man" "-config" "/home/opam/.opam/4.02/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3) - Welcome to findlib version 1.9.3 - Configuring core... - Checking for #remove_directory... - Testing threading model... - systhread_supported: true - Testing DLLs... - Testing whether ppxopt can be supported... - Checking for ocamlc -opaque... - Querying installation: META list not found - make install will double-check installed META files - Configuring libraries... - unix: found - bigarray: found - compiler-libs: found - dbm: not present (normal since 4.00) - graphics: found - num: found - ocamlbuild: found - ocamldoc: found - raw_spacetime: not present (normal since 4.12) - threads: found - str: found - labltk: not present (normal since 4.02) - native dynlink: found - camlp4: disabled - bytes: found, installing fake library - Configuration for dynlink written to site-lib-src/dynlink/META - Configuration for stdlib written to site-lib-src/stdlib/META - Configuration for unix written to site-lib-src/unix/META - Configuration for bigarray written to site-lib-src/bigarray/META - Configuration for compiler-libs written to site-lib-src/compiler-libs/META - Configuration for graphics written to site-lib-src/graphics/META - Configuration for num written to site-lib-src/num/META - Configuration for num-top written to site-lib-src/num-top/META - Configuration for ocamlbuild written to site-lib-src/ocamlbuild/META - Configuration for ocamldoc written to site-lib-src/ocamldoc/META - Configuration for threads written to site-lib-src/threads/META - Configuration for str written to site-lib-src/str/META - Configuration for bytes written to site-lib-src/bytes/META - Detecting compiler arguments: (extractor built) ok - - About the OCAML core installation: - Standard library: /home/opam/.opam/4.02/lib/ocaml - Binaries: /home/opam/.opam/4.02/bin - Manual pages: /home/opam/.opam/4.02/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/4.02/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/4.02/lib/findlib.conf - Software will be installed: - Libraries: in <site-lib>/findlib - Binaries: /home/opam/.opam/4.02/bin - Manual pages: /home/opam/.opam/4.02/man - topfind script: /home/opam/.opam/4.02/lib/ocaml - Topfind ppxopt support: yes - Toolbox: no - Link custom runtime: no - Need bytes compatibility: no - - Configuration has been written to Makefile.config - - You can now do 'make all', and optionally 'make opt', to build ocamlfind. Processing 7/12: [ocamlfind: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3) - for p in findlib; do ( cd src/$p; make all ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - ocamllex fl_meta.mll - 22 states, 392 transitions, table size 1700 bytes - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib_config.mlp | \ - ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.02/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.02/lib/ocaml' | \ - sed -e 's;@AUTOLINK@;true;g' \ - -e 's;@SYSTEM@;linux;g' \ - >findlib_config.ml - if [ "true" = "true" ]; then \ - cp topfind.ml.in topfind.ml; \ - else \ - sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \ - > topfind.ml ; \ - fi - ocamldep *.ml *.mli >depend - ocamlc -I +compiler-libs -g -c findlib_config.ml - ocamlc -I +compiler-libs -g -c fl_split.ml - ocamlc -I +compiler-libs -g -c fl_metatoken.ml - ocamlc -I +compiler-libs -g -c fl_meta.ml - ocamlc -I +compiler-libs -c fl_metascanner.mli - ocamlc -I +compiler-libs -g -c fl_metascanner.ml - ocamlc -I +compiler-libs -c fl_topo.mli - ocamlc -I +compiler-libs -g -c fl_topo.ml - ocamlc -I +compiler-libs -c fl_package_base.mli - ocamlc -I +compiler-libs -g -c fl_package_base.ml - ocamlc -I +compiler-libs -c findlib.mli - ocamlc -I +compiler-libs -g -c findlib.ml - ocamlc -I +compiler-libs -g -c fl_args.ml - ocamlc -I +compiler-libs -g -c fl_lint.ml - ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo - ocamlc -I +compiler-libs -g -c ocaml_args.ml - ocamlc -I +compiler-libs -g -c frontend.ml - ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \ - ocaml_args.cmo frontend.cmo - ocamlc -I +compiler-libs -c topfind.mli - ocamlc -I +compiler-libs -g -c topfind.ml - ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat topfind_rd1.p | \ - ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.02/lib' \ - >topfind - ocamlc -I +compiler-libs -c num_top_printers.mli - ocamlc -I +compiler-libs -g -c num_top_printers.ml - ocamlc -I +compiler-libs -c num_top.mli - ocamlc -I +compiler-libs -g -c num_top.ml - ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - ocamlc -I +compiler-libs -c fl_dynload.mli - ocamlc -I +compiler-libs -g -c fl_dynload.ml - ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo - make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - make all-config - make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/4.02/lib' >findlib.conf - if ./tools/cmd_from_same_dir ocamlc; then \ - echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \ - fi - if ./tools/cmd_from_same_dir ocamlopt; then \ - echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \ - fi - if ./tools/cmd_from_same_dir ocamldep; then \ - echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \ - fi - if ./tools/cmd_from_same_dir ocamldoc; then \ - echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3' Processing 7/12: [ocamlfind: make opt] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3) - for p in findlib; do ( cd src/$p; make opt ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - ocamlopt -I +compiler-libs -g -c findlib_config.ml - ocamlopt -I +compiler-libs -g -c fl_split.ml - ocamlopt -I +compiler-libs -g -c fl_metatoken.ml - ocamlopt -I +compiler-libs -g -c fl_meta.ml - ocamlopt -I +compiler-libs -g -c fl_metascanner.ml - ocamlopt -I +compiler-libs -g -c fl_topo.ml - ocamlopt -I +compiler-libs -g -c fl_package_base.ml - ocamlopt -I +compiler-libs -g -c findlib.ml - ocamlopt -I +compiler-libs -g -c fl_args.ml - ocamlopt -I +compiler-libs -g -c fl_lint.ml - ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \ - fi - ocamlopt -I +compiler-libs -g -c ocaml_args.ml - ocamlopt -I +compiler-libs -g -c frontend.ml - ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \ - ocaml_args.cmx frontend.cmx - ocamlopt -I +compiler-libs -g -c topfind.ml - ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \ - fi - ocamlopt -I +compiler-libs -g -c fl_dynload.ml - ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib' -> compiled ocamlfind.1.9.3 Processing 8/12: [ocamlfind: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3) - if [ "1" -eq 1 ]; then \ - for x in camlp4 dbm graphics labltk num ocamlbuild; do \ - if [ -f "/home/opam/.opam/4.02/lib/$x/META" ]; then \ - if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.02/lib/$x/META"; then \ - rm -f site-lib-src/$x/META; \ - fi; \ - fi; \ - done; \ - test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \ - fi - echo 'SITELIB_META =' > Makefile.packages.in - for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done - tr '\n' ' ' < Makefile.packages.in > Makefile.packages - rm Makefile.packages.in - mkdir -p "/home/opam/.opam/4.02/bin" - mkdir -p "/home/opam/.opam/4.02/man" - make install-config - make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3' - mkdir -p "`dirname \"/home/opam/.opam/4.02/lib/findlib.conf\"`" - test -f "/home/opam/.opam/4.02/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.02/lib/findlib.conf" - make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3' - for p in findlib; do ( cd src/$p; make install ); done - make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - mkdir -p "/home/opam/.opam/4.02/lib/findlib" - mkdir -p "/home/opam/.opam/4.02/bin" - test 1 -eq 0 || cp topfind "/home/opam/.opam/4.02/lib/ocaml" - files=` ../../tools/collect_files ../../Makefile.config \ - findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \ - findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \ - fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \ - fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \ - fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \ - findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \ - META` && \ - cp $files "/home/opam/.opam/4.02/lib/findlib" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - cp $f "/home/opam/.opam/4.02/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/4.02/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/4.02/lib/ocaml/compiler-libs/"; \ - cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.02/lib/findlib/"; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - make install-meta - make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3' - for x in bigarray bytes compiler-libs dynlink graphics num num-top ocamlbuild ocamldoc stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.02/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.02/lib/$x/META.tmp" && mv "/home/opam/.opam/4.02/lib/$x/META.tmp" "/home/opam/.opam/4.02/lib/$x/META"; done - mkdir -p "/home/opam/.opam/4.02/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.02/lib/findlib/Makefile.packages" - make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3' - test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; } - make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - mkdir -p "/home/opam/.opam/4.02/lib/num-top" - cp num_top.cma num_top.cmi num_top_printers.cmi \ - "/home/opam/.opam/4.02/lib/num-top" - make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib' - test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.02/bin" - make install-doc - make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3' - mkdir -p "/home/opam/.opam/4.02/man/man1" "/home/opam/.opam/4.02/man/man3" "/home/opam/.opam/4.02/man/man5" - cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.02/man/man1" - cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.02/man/man5" - make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3' -> installed ocamlfind.1.9.3 Processing 9/12: [safa: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.02/.opam-switch/build/safa.1.4) - ocamlbuild safa.cma - /home/opam/.opam/4.02/bin/ocamldep.opt -modules hashcons.mli > hashcons.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o hashcons.cmi hashcons.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules hashcons.ml > hashcons.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules hset.mli > hset.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o hset.cmi hset.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules hset.ml > hset.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules hmap.mli > hmap.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o hmap.cmi hmap.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules hmap.ml > hmap.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules sets.mli > sets.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o sets.cmi sets.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules sets.ml > sets.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules common.mli > common.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o common.cmi common.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules common.ml > common.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules queues.mli > queues.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o queues.cmi queues.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules queues.ml > queues.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules stats.mli > stats.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o stats.cmi stats.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules stats.ml > stats.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules trace.mli > trace.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o trace.cmi trace.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules trace.ml > trace.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules bdd.mli > bdd.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o bdd.cmi bdd.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules bdd.ml > bdd.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules automata.mli > automata.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o automata.cmi automata.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules automata.ml > automata.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules determinisation.mli > determinisation.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o determinisation.cmi determinisation.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules determinisation.ml > determinisation.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules epsilon.mli > epsilon.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o epsilon.cmi epsilon.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules epsilon.ml > epsilon.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules congruence.mli > congruence.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o congruence.cmi congruence.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules congruence.ml > congruence.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules safa.mli > safa.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o safa.cmi safa.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules safa.ml > safa.ml.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o hashcons.cmo hashcons.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o hset.cmo hset.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o hmap.cmo hmap.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o sets.cmo sets.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o common.cmo common.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o queues.cmo queues.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o stats.cmo stats.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o trace.cmo trace.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o bdd.cmo bdd.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o automata.cmo automata.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o determinisation.cmo determinisation.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o epsilon.cmo epsilon.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o congruence.cmo congruence.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -o safa.cmo safa.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -a hashcons.cmo hset.cmo hmap.cmo sets.cmo common.cmo queues.cmo stats.cmo trace.cmo bdd.cmo automata.cmo determinisation.cmo epsilon.cmo congruence.cmo safa.cmo -o safa.cma - ocamlbuild safa.cmxa - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o hashcons.cmx hashcons.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o hmap.cmx hmap.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o hset.cmx hset.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o sets.cmx sets.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o common.cmx common.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o stats.cmx stats.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o trace.cmx trace.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o bdd.cmx bdd.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o automata.cmx automata.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o congruence.cmx congruence.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o queues.cmx queues.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o determinisation.cmx determinisation.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o epsilon.cmx epsilon.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -o safa.cmx safa.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -a hashcons.cmx hset.cmx hmap.cmx sets.cmx common.cmx queues.cmx stats.cmx trace.cmx bdd.cmx automata.cmx determinisation.cmx epsilon.cmx congruence.cmx safa.cmx -o safa.cmxa -> compiled safa.1.4 Processing 10/12: [safa: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.02/.opam-switch/build/safa.1.4) - ocamlbuild safa.cma - ocamlbuild safa.cmxa - ocamlfind install safa META _build/automata.cmi _build/automata.cmo _build/automata.cmx _build/bdd.cmi _build/bdd.cmo _build/bdd.cmx _build/common.cmi _build/common.cmo _build/common.cmx _build/congruence.cmi _build/congruence.cmo _build/congruence.cmx _build/determinisation.cmi _build/determinisation.cmo _build/determinisation.cmx _build/epsilon.cmi _build/epsilon.cmo _build/epsilon.cmx _build/hashcons.cmi _build/hashcons.cmo _build/hashcons.cmx _build/hmap.cmi _build/hmap.cmo _build/hmap.cmx _build/hset.cmi _build/hset.cmo _build/hset.cmx _build/queues.cmi _build/queues.cmo _build/queues.cmx _build/safa.cma _build/safa.cmi _build/safa.cmo _build/safa.cmx _build/safa.cmxa _build/sets.cmi _build/sets.cmo _build/sets.cmx _build/stats.cmi _build/stats.cmo _build/stats.cmx _build/trace.cmi _build/trace.cmo _build/trace.cmx _build/safa.a _build/automata.o _build/bdd.o _build/common.o _build/congruence.o _build/determinisation.o _build/epsilon.o _build/hashcons.o _build/hmap.o _build/hset.o _build/queues.o _build/safa.o _build/sets.o _build/stats.o _build/trace.o - Installed /home/opam/.opam/4.02/lib/safa/trace.o - Installed /home/opam/.opam/4.02/lib/safa/stats.o - Installed /home/opam/.opam/4.02/lib/safa/sets.o - Installed /home/opam/.opam/4.02/lib/safa/safa.o - Installed /home/opam/.opam/4.02/lib/safa/queues.o - Installed /home/opam/.opam/4.02/lib/safa/hset.o - Installed /home/opam/.opam/4.02/lib/safa/hmap.o - Installed /home/opam/.opam/4.02/lib/safa/hashcons.o - Installed /home/opam/.opam/4.02/lib/safa/epsilon.o - Installed /home/opam/.opam/4.02/lib/safa/determinisation.o - Installed /home/opam/.opam/4.02/lib/safa/congruence.o - Installed /home/opam/.opam/4.02/lib/safa/common.o - Installed /home/opam/.opam/4.02/lib/safa/bdd.o - Installed /home/opam/.opam/4.02/lib/safa/automata.o - Installed /home/opam/.opam/4.02/lib/safa/safa.a - Installed /home/opam/.opam/4.02/lib/safa/trace.cmx - Installed /home/opam/.opam/4.02/lib/safa/trace.cmo - Installed /home/opam/.opam/4.02/lib/safa/trace.cmi - Installed /home/opam/.opam/4.02/lib/safa/stats.cmx - Installed /home/opam/.opam/4.02/lib/safa/stats.cmo - Installed /home/opam/.opam/4.02/lib/safa/stats.cmi - Installed /home/opam/.opam/4.02/lib/safa/sets.cmx - Installed /home/opam/.opam/4.02/lib/safa/sets.cmo - Installed /home/opam/.opam/4.02/lib/safa/sets.cmi - Installed /home/opam/.opam/4.02/lib/safa/safa.cmxa - Installed /home/opam/.opam/4.02/lib/safa/safa.cmx - Installed /home/opam/.opam/4.02/lib/safa/safa.cmo - Installed /home/opam/.opam/4.02/lib/safa/safa.cmi - Installed /home/opam/.opam/4.02/lib/safa/safa.cma - Installed /home/opam/.opam/4.02/lib/safa/queues.cmx - Installed /home/opam/.opam/4.02/lib/safa/queues.cmo - Installed /home/opam/.opam/4.02/lib/safa/queues.cmi - Installed /home/opam/.opam/4.02/lib/safa/hset.cmx - Installed /home/opam/.opam/4.02/lib/safa/hset.cmo - Installed /home/opam/.opam/4.02/lib/safa/hset.cmi - Installed /home/opam/.opam/4.02/lib/safa/hmap.cmx - Installed /home/opam/.opam/4.02/lib/safa/hmap.cmo - Installed /home/opam/.opam/4.02/lib/safa/hmap.cmi - Installed /home/opam/.opam/4.02/lib/safa/hashcons.cmx - Installed /home/opam/.opam/4.02/lib/safa/hashcons.cmo - Installed /home/opam/.opam/4.02/lib/safa/hashcons.cmi - Installed /home/opam/.opam/4.02/lib/safa/epsilon.cmx - Installed /home/opam/.opam/4.02/lib/safa/epsilon.cmo - Installed /home/opam/.opam/4.02/lib/safa/epsilon.cmi - Installed /home/opam/.opam/4.02/lib/safa/determinisation.cmx - Installed /home/opam/.opam/4.02/lib/safa/determinisation.cmo - Installed /home/opam/.opam/4.02/lib/safa/determinisation.cmi - Installed /home/opam/.opam/4.02/lib/safa/congruence.cmx - Installed /home/opam/.opam/4.02/lib/safa/congruence.cmo - Installed /home/opam/.opam/4.02/lib/safa/congruence.cmi - Installed /home/opam/.opam/4.02/lib/safa/common.cmx - Installed /home/opam/.opam/4.02/lib/safa/common.cmo - Installed /home/opam/.opam/4.02/lib/safa/common.cmi - Installed /home/opam/.opam/4.02/lib/safa/bdd.cmx - Installed /home/opam/.opam/4.02/lib/safa/bdd.cmo - Installed /home/opam/.opam/4.02/lib/safa/bdd.cmi - Installed /home/opam/.opam/4.02/lib/safa/automata.cmx - Installed /home/opam/.opam/4.02/lib/safa/automata.cmo - Installed /home/opam/.opam/4.02/lib/safa/automata.cmi - Installed /home/opam/.opam/4.02/lib/safa/META -> installed safa.1.4 Processing 11/12: [symkat: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "PREFIX=/home/opam/.opam/4.02" (CWD=/home/opam/.opam/4.02/.opam-switch/build/symkat.1.4) - ocamlbuild -use-ocamlfind -pkg safa symkat.native - ocamlfind ocamldep -package safa -modules symkat.ml > symkat.ml.depends - ocamlfind ocamldep -package safa -modules symkat.mli > symkat.mli.depends - ocamlfind ocamldep -package safa -modules hypotheses.mli > hypotheses.mli.depends - ocamlfind ocamldep -package safa -modules kat.mli > kat.mli.depends - ocamlfind ocamlc -c -rectypes -package safa -o kat.cmi kat.mli - ocamlfind ocamlc -c -rectypes -package safa -o hypotheses.cmi hypotheses.mli - ocamlfind ocamlc -c -rectypes -package safa -o symkat.cmi symkat.mli - ocamlfind ocamldep -package safa -modules antimirov.ml > antimirov.ml.depends - ocamlfind ocamldep -package safa -modules antimirov.mli > antimirov.mli.depends - ocamlfind ocamlc -c -rectypes -package safa -o antimirov.cmi antimirov.mli - ocamlfind ocamldep -package safa -modules kat.ml > kat.ml.depends - ocamlfind ocamlopt -c -rectypes -package safa -o kat.cmx kat.ml - ocamlfind ocamldep -package safa -modules brzozowski.ml > brzozowski.ml.depends - ocamlfind ocamldep -package safa -modules brzozowski.mli > brzozowski.mli.depends - ocamlfind ocamlc -c -rectypes -package safa -o brzozowski.cmi brzozowski.mli - ocamlfind ocamldep -package safa -modules hypotheses.ml > hypotheses.ml.depends - ocamlfind ocamldep -package safa -modules ilieYu.ml > ilieYu.ml.depends - ocamlfind ocamldep -package safa -modules ilieYu.mli > ilieYu.mli.depends - ocamlfind ocamlc -c -rectypes -package safa -o ilieYu.cmi ilieYu.mli - ocamlfind ocamldep -package safa -modules parse.ml > parse.ml.depends - ocamlfind ocamldep -package safa -modules parse.mli > parse.mli.depends - ocamlfind ocamlc -c -rectypes -package safa -o parse.cmi parse.mli - /home/opam/.opam/4.02/bin/ocamllex.opt -q lexer.mll - ocamlfind ocamldep -package safa -modules lexer.ml > lexer.ml.depends - /home/opam/.opam/4.02/bin/ocamlyacc parser.mly - ocamlfind ocamldep -package safa -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -rectypes -package safa -o parser.cmi parser.mli - ocamlfind ocamlc -c -rectypes -package safa -o lexer.cmo lexer.ml - ocamlfind ocamldep -package safa -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -rectypes -package safa -o hypotheses.cmx hypotheses.ml - ocamlfind ocamlopt -c -rectypes -package safa -o parser.cmx parser.ml - ocamlfind ocamlopt -c -rectypes -package safa -o lexer.cmx lexer.ml - ocamlfind ocamlopt -c -rectypes -package safa -o antimirov.cmx antimirov.ml - ocamlfind ocamlopt -c -rectypes -package safa -o brzozowski.cmx brzozowski.ml - ocamlfind ocamlopt -c -rectypes -package safa -o ilieYu.cmx ilieYu.ml - ocamlfind ocamlopt -c -rectypes -package safa -o parse.cmx parse.ml - ocamlfind ocamlopt -c -rectypes -package safa -o symkat.cmx symkat.ml - ocamlfind ocamlopt -linkpkg -package safa kat.cmx antimirov.cmx brzozowski.cmx hypotheses.cmx ilieYu.cmx parser.cmx lexer.cmx parse.cmx symkat.cmx -o symkat.native -> compiled symkat.1.4 Processing 12/12: [symkat: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "PREFIX=/home/opam/.opam/4.02" "install" (CWD=/home/opam/.opam/4.02/.opam-switch/build/symkat.1.4) - ocamlbuild -use-ocamlfind -pkg safa symkat.cma - ocamlfind ocamlc -c -rectypes -package safa -o symkat.cmo symkat.ml - ocamlfind ocamlc -c -rectypes -package safa -o antimirov.cmo antimirov.ml - ocamlfind ocamlc -c -rectypes -package safa -o brzozowski.cmo brzozowski.ml - ocamlfind ocamlc -c -rectypes -package safa -o hypotheses.cmo hypotheses.ml - ocamlfind ocamlc -c -rectypes -package safa -o ilieYu.cmo ilieYu.ml - ocamlfind ocamlc -c -rectypes -package safa -o kat.cmo kat.ml - ocamlfind ocamlc -c -rectypes -package safa -o parse.cmo parse.ml - ocamlfind ocamlc -c -rectypes -package safa -o parser.cmo parser.ml - ocamlfind ocamlc -a -package safa kat.cmo antimirov.cmo brzozowski.cmo hypotheses.cmo ilieYu.cmo parser.cmo lexer.cmo parse.cmo symkat.cmo -o symkat.cma - ocamlbuild -use-ocamlfind -pkg safa symkat.cmxa - ocamlfind ocamlopt -a -package safa kat.cmx antimirov.cmx brzozowski.cmx hypotheses.cmx ilieYu.cmx parser.cmx lexer.cmx parse.cmx symkat.cmx -o symkat.cmxa - ocamlbuild -use-ocamlfind -pkg safa symkat.native - Installed /home/opam/.opam/4.02/lib/symkat/symkat.o - Installed /home/opam/.opam/4.02/lib/symkat/parser.o - Installed /home/opam/.opam/4.02/lib/symkat/parse.o - Installed /home/opam/.opam/4.02/lib/symkat/lexer.o - Installed /home/opam/.opam/4.02/lib/symkat/kat.o - Installed /home/opam/.opam/4.02/lib/symkat/ilieYu.o - Installed /home/opam/.opam/4.02/lib/symkat/hypotheses.o - Installed /home/opam/.opam/4.02/lib/symkat/brzozowski.o - Installed /home/opam/.opam/4.02/lib/symkat/antimirov.o - Installed /home/opam/.opam/4.02/lib/symkat/symkat.a - Installed /home/opam/.opam/4.02/lib/symkat/symkat.cmxa - Installed /home/opam/.opam/4.02/lib/symkat/symkat.cmx - Installed /home/opam/.opam/4.02/lib/symkat/symkat.cmo - Installed /home/opam/.opam/4.02/lib/symkat/symkat.cmi - Installed /home/opam/.opam/4.02/lib/symkat/symkat.cma - Installed /home/opam/.opam/4.02/lib/symkat/parser.cmx - Installed /home/opam/.opam/4.02/lib/symkat/parser.cmo - Installed /home/opam/.opam/4.02/lib/symkat/parser.cmi - Installed /home/opam/.opam/4.02/lib/symkat/parse.cmx - Installed /home/opam/.opam/4.02/lib/symkat/parse.cmo - Installed /home/opam/.opam/4.02/lib/symkat/parse.cmi - Installed /home/opam/.opam/4.02/lib/symkat/lexer.cmx - Installed /home/opam/.opam/4.02/lib/symkat/lexer.cmo - Installed /home/opam/.opam/4.02/lib/symkat/lexer.cmi - Installed /home/opam/.opam/4.02/lib/symkat/kat.cmx - Installed /home/opam/.opam/4.02/lib/symkat/kat.cmo - Installed /home/opam/.opam/4.02/lib/symkat/kat.cmi - Installed /home/opam/.opam/4.02/lib/symkat/ilieYu.cmx - Installed /home/opam/.opam/4.02/lib/symkat/ilieYu.cmo - Installed /home/opam/.opam/4.02/lib/symkat/ilieYu.cmi - Installed /home/opam/.opam/4.02/lib/symkat/hypotheses.cmx - Installed /home/opam/.opam/4.02/lib/symkat/hypotheses.cmo - Installed /home/opam/.opam/4.02/lib/symkat/hypotheses.cmi - Installed /home/opam/.opam/4.02/lib/symkat/brzozowski.cmx - Installed /home/opam/.opam/4.02/lib/symkat/brzozowski.cmo - Installed /home/opam/.opam/4.02/lib/symkat/brzozowski.cmi - Installed /home/opam/.opam/4.02/lib/symkat/antimirov.cmx - Installed /home/opam/.opam/4.02/lib/symkat/antimirov.cmo - Installed /home/opam/.opam/4.02/lib/symkat/antimirov.cmi - Installed /home/opam/.opam/4.02/lib/symkat/META - install symkat.native /home/opam/.opam/4.02/bin/symkat -> installed symkat.1.4 Done. # Run eval $(opam env) to update the current shell environment 2022-06-03 23:26.46 ---> saved as "7216936a8fc45be9e7838d60a4e91cca51a5f1ed28282bc057dce350c5a10a5e" Job succeeded