Building on apache.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:0689b2c0bae81ca736a3cf47bf9f45d784bdbc49ceb862d61cac3392c998d272) 2022-04-06 18:02.18 ---> using "9694d2e78ab3fcaaf506053043dc404ac6350d10eabcb4e61663e36a98d481fd" 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-04-06 18:02.18 ---> using "f1435c573d465aa4a3b32f3496f8ddaab4c185e5f8720ec93f2b8f5b9c107d4b" 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 aa1f173b2a62d094b9857fa09cf471a46424c4a8")) 2022-04-06 18:02.18 ---> using "16ab3e697c9012d52ecf2d027a886d80445d47f3204474de827be3a6a09ce5bd" 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-04-06 18:02.18 ---> using "161fa26fa8ff94f6712afd15c3db137cd2e1a4ac1ac76e29aae43348e67b52d7" 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-04-06 18:02.18 ---> using "ef437b801a40995fb75554a1b7047c3fd6f1391f95204ed43f2853df476722b9" 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-04-06-1404.48-F-2022-03-29-0803.54.pdiff [526 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-04-06-1404.48-F-2022-03-29-0803.54.pdiff [526 kB] - Fetched 755 kB in 2s (426 kB/s) - Reading package lists... - 2022-04-06 18:02.18 ---> using "b0aa611d5b95486f628f9d3c3722ce13c07827f45199efd7de11034d84a37db5" 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-04-06 18:02.18 ---> using "225d6eb37919e00fd4a6f765add2ec5cfc8cf1d99bb62a24e96b09f48418c1b3" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"abella.2.0.3\"\ \nopam install -vy \"abella.2.0.3\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"abella.2.0.3\" | 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] abella.2.0.3 is not installed. The following actions will be performed: === install 3 packages - install abella 2.0.3 - install ocamlbuild 0 [required by abella] - install ocamlfind 1.9.3 [required by abella] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/9: Processing 2/9: Processing 3/9: Processing 4/9: -> installed ocamlbuild.0 Processing 5/9: -> retrieved abella.2.0.3 (cached) -> retrieved ocamlfind.1.9.3 (cached) Processing 6/9: [ocamlfind: ./configure] + /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 6/9: [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 6/9: [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 7/9: [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 8/9: [abella: make] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.02/.opam-switch/build/abella.2.0.3) - ocamlbuild -classic-display -no-links src/abella.native - /home/opam/.opam/4.02/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.02/lib/ocaml/ocamlbuild /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - Recreating "src/version.ml" - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/abella.ml > src/abella.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/abella_types.ml > src/abella_types.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/extensions.ml > src/extensions.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/metaterm.ml > src/metaterm.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/context.ml > src/context.ml.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/extensions.cmo src/extensions.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/term.mli > src/term.mli.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/pretty.mli > src/pretty.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/pretty.cmi src/pretty.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/unify.mli > src/unify.mli.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/subordination.mli > src/subordination.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/term.cmi src/term.mli - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/subordination.cmi src/subordination.mli - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/unify.cmi src/unify.mli - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/context.cmo src/context.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/typing.ml > src/typing.ml.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/metaterm.cmo src/metaterm.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/typing.cmo src/typing.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/accumulate.ml > src/accumulate.ml.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/abella_types.cmo src/abella_types.ml - /home/opam/.opam/4.02/bin/ocamllex.opt -q src/lexer.mll - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/lexer.ml > src/lexer.ml.depends - /home/opam/.opam/4.02/bin/ocamlyacc src/parser.mly - + /home/opam/.opam/4.02/bin/ocamlyacc src/parser.mly - 1 shift/reduce conflict. - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/parser.mli > src/parser.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/parser.cmi src/parser.mli - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/prover.ml > src/prover.ml.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/lexer.cmo src/lexer.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/state.mli > src/state.mli.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/tactics.ml > src/tactics.ml.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/state.cmi src/state.mli - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/tactics.cmo src/tactics.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/prover.cmo src/prover.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/depend.ml > src/depend.ml.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/accumulate.cmo src/accumulate.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/version.ml > src/version.ml.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/depend.cmo src/depend.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/version.cmo src/version.ml - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/abella.cmo src/abella.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/extensions.cmx src/extensions.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/term.ml > src/term.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/pretty.ml > src/pretty.ml.depends - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/pretty.cmx src/pretty.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/unify.ml > src/unify.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/subordination.ml > src/subordination.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/graph.ml > src/graph.ml.depends - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/graph.mli > src/graph.mli.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/graph.cmi src/graph.mli - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/term.cmx src/term.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/graph.cmx src/graph.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/subordination.cmx src/subordination.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/unify.cmx src/unify.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/context.cmx src/context.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/metaterm.cmx src/metaterm.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/typing.cmx src/typing.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/abella_types.cmx src/abella_types.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/parser.ml > src/parser.ml.depends - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/parser.cmx src/parser.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/lexer.cmx src/lexer.ml - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/state.ml > src/state.ml.depends - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/state.cmx src/state.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/tactics.cmx src/tactics.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/prover.cmx src/prover.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/accumulate.cmx src/accumulate.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/depend.cmx src/depend.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/version.cmx src/version.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/abella.cmx src/abella.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt unix.cmxa str.cmxa -g src/extensions.cmx src/graph.cmx src/pretty.cmx src/term.cmx src/subordination.cmx src/unify.cmx src/context.cmx src/metaterm.cmx src/typing.cmx src/abella_types.cmx src/parser.cmx src/lexer.cmx src/state.cmx src/tactics.cmx src/prover.cmx src/accumulate.cmx src/depend.cmx src/version.cmx src/abella.cmx -o src/abella.native - ocamlbuild -classic-display -no-links src/copy_exe.native - /home/opam/.opam/4.02/bin/ocamldep.opt -modules src/copy_exe.ml > src/copy_exe.ml.depends - /home/opam/.opam/4.02/bin/ocamlc.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -I src -o src/copy_exe.cmo src/copy_exe.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt -c -g -bin-annot -w @3@5@6@8..12@14@20@26@28@29 -nodynlink -I src -o src/copy_exe.cmx src/copy_exe.ml - /home/opam/.opam/4.02/bin/ocamlopt.opt unix.cmxa str.cmxa -g src/copy_exe.cmx -o src/copy_exe.native - cp -a _build/src/abella.native _build/src/abella.native.target - _build/src/copy_exe.native _build/src/abella.native.target abella -> compiled abella.2.0.3 -> installed abella.2.0.3 Done. # Run eval $(opam env) to update the current shell environment 2022-04-06 18:02.35 ---> saved as "1c7945aa1bb11393aecb539ce06d8b0c8e065ca93c15989487f2c43e12893a8b" Job succeeded