Building on iphito.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a)
Unable to find image 'ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a' locally
docker.io/ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a: Pulling from ocaml/opam
d94e46e039c4: Pulling fs layer
d94e46e039c4: Verifying Checksum
d94e46e039c4: Download complete
d94e46e039c4: Pull complete
Digest: sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a
Status: Downloaded newer image for ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a
2022-11-03 01:00.37 ---> using "6615d3400d8dabf8928c82fbcb18e477501a38f64d3b1412a91a4e86499e265b" 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-11-03 01:00.37 ---> using "c909a0ff168e383d01aa2cb84f3e6cbc7a0c470ffe3d07946f43f83d47cc9bfa" 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 94675aaefe68e1e4a4ad959d88dd65afa3a9ed3d"))
2022-11-03 01:00.37 ---> using "5315c90a66cfce3be1f8ac668b7f4445c317bfeb4b1de04fe278a4bdf33753ae" 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-11-03 01:00.37 ---> using "f46d72ea67943cab7c832114e4ca486dbfd4f12ff8812515d1a06b3a229da8ee" 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-11-03 01:00.37 ---> using "4ac736f96a6c3e966ef66027093806c0cca756fde9b37837067c0a7417a38a73" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [161 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-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB]
- Fetched 293 kB in 1s (218 kB/s)
- Reading package lists...
2022-11-03 01:00.37 ---> using "cc09b92701025e5e16deed9026eb8cc9839ed6a4a23843ef1a14079f748c55ef" 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-11-03 01:00.37 ---> using "ea40892209b3cfb57105ba96605e8f529ea1ae20c3626023303ca17e634b99c7" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"datalog.0.5.2\"\
\nopam install -vy \"datalog.0.5.2\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"datalog.0.5.2\" | 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"))
[NOTE] datalog.0.5.2 is not installed.
Nothing to do.
The following actions will be performed:
=== install 5 packages
- install base-num base [required by num]
- install datalog 0.5.2
- install num 0 [required by datalog]
- install ocamlbuild 0 [required by datalog]
- install ocamlfind 1.9.5 [required by datalog]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/15: [datalog.0.5.2: http]
Processing 3/15: [datalog.0.5.2: http]
Processing 4/15: [datalog.0.5.2: http]
Processing 5/15: [datalog.0.5.2: http]
Processing 6/15: [datalog.0.5.2: http]
Processing 7/15: [datalog.0.5.2: http]
-> installed base-num.base
Processing 8/15: [datalog.0.5.2: http]
Processing 9/15: [datalog.0.5.2: http]
-> installed num.0
Processing 10/15: [datalog.0.5.2: http]
-> installed ocamlbuild.0
Processing 11/15: [datalog.0.5.2: http]
-> retrieved ocamlfind.1.9.5 (cached)
[ocamlfind: patch] applying 0001-Fix-bug-when-installing-with-a-system-compiler.patch
Processing 12/15: [datalog.0.5.2: http] [ocamlfind: patch]
Processing 12/15: [datalog.0.5.2: http] [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.5)
- Welcome to findlib version 1.9.5
- 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
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: found
- num: found
- ocamlbuild: found (in +ocamlbuild)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- runtime_events: not present
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/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 12/15: [datalog.0.5.2: http] [ocamlfind: make all]
Processing 12/15: [ocamlfind: make all]
-> retrieved datalog.0.5.2 (https://github.com/c-cube/datalog/archive/0.5.2.tar.gz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.5)
- 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.5/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 -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c findlib.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -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 -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c frontend.ml
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -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 -I +unix -I +dynlink -c num_top_printers.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -g -c num_top_printers.ml
- ocamlc -I +compiler-libs -I +unix -I +dynlink -c num_top.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -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 -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -I +unix -I +dynlink -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.5/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.5'
- 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.5'
Processing 12/15: [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.5)
- 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.5/src/findlib'
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c findlib.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -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 -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -c frontend.ml
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -I +unix -I +dynlink -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 -I +unix -I +dynlink -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.5/src/findlib'
-> compiled ocamlfind.1.9.5
Processing 13/15: [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.5)
- 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
- install -d "/home/opam/.opam/4.02/bin"
- install -d "/home/opam/.opam/4.02/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.5'
- install -d "`dirname \"/home/opam/.opam/4.02/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.02/lib/findlib.conf" || install -c 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.5'
- 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.5/src/findlib'
- install -d "/home/opam/.opam/4.02/lib/findlib"
- install -d "/home/opam/.opam/4.02/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.02/lib/ocaml"
- test 1 -eq 0 || install -c 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` && \
- install -c $files "/home/opam/.opam/4.02/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $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/"; \
- install -c 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.5/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.5'
- for x in bigarray bytes compiler-libs dynlink graphics num num-top ocamlbuild ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.02/lib/$x"; install -c 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
- install -d "/home/opam/.opam/4.02/lib/findlib"; install -c 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.5'
- 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.5/src/findlib'
- install -d "/home/opam/.opam/4.02/lib/num-top"
- install -c 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.5/src/findlib'
- test ! -f 'site-lib-src/camlp4/META' || install -c 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.5'
- install -d "/home/opam/.opam/4.02/man/man1" "/home/opam/.opam/4.02/man/man3" "/home/opam/.opam/4.02/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.02/man/man1"
- install -c 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.5'
-> installed ocamlfind.1.9.5
Processing 14/15: [datalog: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--bindir" "/home/opam/.opam/4.02/bin" "--docdir" "/home/opam/.opam/4.02/doc/datalog/" (CWD=/home/opam/.opam/4.02/.opam-switch/build/datalog.0.5.2)
-
- Configuration:
- ocamlfind: ........................................... /home/opam/.opam/4.02/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/4.02/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/4.02/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/4.02/bin/ocamlbuild
- Package name: ........................................ datalog
- Package version: ..................................... 0.5.2
- os_type: ............................................. Unix
- system: .............................................. linux
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.02.3
- standard_library_default: ............................ /home/opam/.opam/4.02/lib/ocaml
- standard_library: .................................... /home/opam/.opam/4.02/lib/ocaml
- standard_runtime: .................................... /home/opam/.opam/4.02/bin/ocamlrun
- bytecomp_c_compiler: ................................. gcc -O -fcommon -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -O -fPIC
- native_c_compiler: ................................... gcc -O -fcommon -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
- model: ............................................... default
- ext_obj: ............................................. .o
- ext_asm: ............................................. .s
- ext_lib: ............................................. .a
- ext_dll: ............................................. .so
- default_executable_name: ............................. a.out
- systhread_supported: ................................. true
- Install architecture-independent files dir: .......... /usr/local
- Install architecture-dependent files in dir: ......... $prefix
- User executables: .................................... /home/opam/.opam/4.02/bin
- System admin executables: ............................ $exec_prefix/sbin
- Program executables: ................................. $exec_prefix/libexec
- Read-only single-machine data: ....................... $prefix/etc
- Modifiable architecture-independent data: ............ $prefix/com
- Modifiable single-machine data: ...................... $prefix/var
- Object code libraries: ............................... $exec_prefix/lib
- Read-only arch-independent data root: ................ $prefix/share
- Read-only architecture-independent data: ............. $datarootdir
- Info documentation: .................................. $datarootdir/info
- Locale-dependent data: ............................... $datarootdir/locale
- Man documentation: ................................... $datarootdir/man
- Documentation root: .................................. /home/opam/.opam/4.02/doc/datalog/
- HTML documentation: .................................. $docdir
- DVI documentation: ................................... $docdir
- PDF documentation: ................................... $docdir
- PS documentation: .................................... $docdir
- findlib_version: ..................................... 1.9.5
- is_native: ........................................... true
- suffix_program: ......................................
- Remove a file.: ...................................... rm -f
- Remove a directory.: ................................. rm -rf
- Turn ocaml debug flag on: ............................ true
- Turn ocaml profile flag on: .......................... false
- Compiler support generation of .cmxs.: ............... true
- OCamlbuild additional flags: .........................
- Create documentations: ............................... true
- Compile tests executable and library and run them: ... false
- pkg_unix: ............................................ /home/opam/.opam/4.02/lib/ocaml
- pkg_num: ............................................. /home/opam/.opam/4.02/lib/num
- pkg_str: ............................................. /home/opam/.opam/4.02/lib/ocaml
- ocamldoc: ............................................ /home/opam/.opam/4.02/bin/ocamldoc
-
-> compiled datalog.0.5.2
Processing 15/15: [datalog: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "all" "install_file" "doc" "man" (CWD=/home/opam/.opam/4.02/.opam-switch/build/datalog.0.5.2)
- ocaml setup.ml -all
-
- Configuration:
- ocamlfind: ........................................... /home/opam/.opam/4.02/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/4.02/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/4.02/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/4.02/bin/ocamlbuild
- Package name: ........................................ datalog
- Package version: ..................................... 0.5.2
- os_type: ............................................. Unix
- system: .............................................. linux
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.02.3
- standard_library_default: ............................ /home/opam/.opam/4.02/lib/ocaml
- standard_library: .................................... /home/opam/.opam/4.02/lib/ocaml
- standard_runtime: .................................... /home/opam/.opam/4.02/bin/ocamlrun
- bytecomp_c_compiler: ................................. gcc -O -fcommon -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -O -fPIC
- native_c_compiler: ................................... gcc -O -fcommon -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
- model: ............................................... default
- ext_obj: ............................................. .o
- ext_asm: ............................................. .s
- ext_lib: ............................................. .a
- ext_dll: ............................................. .so
- default_executable_name: ............................. a.out
- systhread_supported: ................................. true
- Install architecture-independent files dir: .......... /usr/local
- Install architecture-dependent files in dir: ......... $prefix
- User executables: .................................... /home/opam/.opam/4.02/bin
- System admin executables: ............................ $exec_prefix/sbin
- Program executables: ................................. $exec_prefix/libexec
- Read-only single-machine data: ....................... $prefix/etc
- Modifiable architecture-independent data: ............ $prefix/com
- Modifiable single-machine data: ...................... $prefix/var
- Object code libraries: ............................... $exec_prefix/lib
- Read-only arch-independent data root: ................ $prefix/share
- Read-only architecture-independent data: ............. $datarootdir
- Info documentation: .................................. $datarootdir/info
- Locale-dependent data: ............................... $datarootdir/locale
- Man documentation: ................................... $datarootdir/man
- Documentation root: .................................. /home/opam/.opam/4.02/doc/datalog/
- HTML documentation: .................................. $docdir
- DVI documentation: ................................... $docdir
- PDF documentation: ................................... $docdir
- PS documentation: .................................... $docdir
- findlib_version: ..................................... 1.9.5
- is_native: ........................................... true
- suffix_program: ......................................
- Remove a file.: ...................................... rm -f
- Remove a directory.: ................................. rm -rf
- Turn ocaml debug flag on: ............................ true
- Turn ocaml profile flag on: .......................... false
- Compiler support generation of .cmxs.: ............... true
- OCamlbuild additional flags: .........................
- Create documentations: ............................... true
- Compile tests executable and library and run them: ... false
- pkg_unix: ............................................ /home/opam/.opam/4.02/lib/ocaml
- pkg_num: ............................................. /home/opam/.opam/4.02/lib/num
- pkg_str: ............................................. /home/opam/.opam/4.02/lib/ocaml
- ocamldoc: ............................................ /home/opam/.opam/4.02/bin/ocamldoc
-
- W: Cannot find source file matching module 'datalog' in library datalog.
- W: Use InterfacePatterns or ImplementationPatterns to define this file with feature "source_patterns".
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.02/lib/ocaml/ocamlbuild /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "_tags", line 46, characters 19-32:
- Warning: tag "color" does not expect a parameter, but is used with parameter "always"
- File "_tags", line 46, characters 19-32:
- Warning: the tag "color(always)" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/bottomUp.mli > src/bottomUp.mli.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/bottomUp.cmi src/bottomUp.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/bottomUp.ml > src/bottomUp.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/topDown.mli > src/topDown.mli.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/topDownAst.ml > src/topDownAst.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/topDownAst.cmo src/topDownAst.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/topDown.cmi src/topDown.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/topDown.ml > src/topDown.ml.depends
- /home/opam/.opam/4.02/bin/ocamllex.opt -q src/topDownLexer.mll
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/topDownLexer.ml > src/topDownLexer.ml.depends
- /home/opam/.opam/4.02/bin/ocamlyacc src/topDownParser.mly
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/topDownParser.mli > src/topDownParser.mli.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/topDownParser.cmi src/topDownParser.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/topDownLexer.cmo src/topDownLexer.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/default.mli > src/default.mli.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/bottomUpAst.mli > src/bottomUpAst.mli.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/bottomUpAst.cmi src/bottomUpAst.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/default.cmi src/default.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/default.ml > src/default.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/bottomUpAst.ml > src/bottomUpAst.ml.depends
- /home/opam/.opam/4.02/bin/ocamlyacc src/bottomUpParser.mly
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/bottomUpParser.mli > src/bottomUpParser.mli.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/bottomUpParser.cmi src/bottomUpParser.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/bottomUpParser.ml > src/bottomUpParser.ml.depends
- /home/opam/.opam/4.02/bin/ocamllex.opt -q src/bottomUpLexer.mll
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/bottomUpLexer.ml > src/bottomUpLexer.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/topDownParser.ml > src/topDownParser.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/version.ml > src/version.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/topDownUnix.mli > src/topDownUnix.mli.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/topDownUnix.cmi src/topDownUnix.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/topDownUnix.ml > src/topDownUnix.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/camlInterface.mli > src/camlInterface.mli.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/camlInterface.cmi src/camlInterface.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/camlInterface.ml > src/camlInterface.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/bottomUp.cmo src/bottomUp.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/topDown.cmo src/topDown.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/default.cmo src/default.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/bottomUpAst.cmo src/bottomUpAst.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/bottomUpParser.cmo src/bottomUpParser.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/bottomUpLexer.cmo src/bottomUpLexer.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/topDownParser.cmo src/topDownParser.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/version.cmo src/version.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/topDownUnix.cmo src/topDownUnix.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/camlInterface.cmo src/camlInterface.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -pack -g -annot -bin-annot src/bottomUp.cmo src/topDownAst.cmo src/topDownParser.cmo src/topDownLexer.cmo src/topDown.cmo src/bottomUpAst.cmo src/default.cmo src/bottomUpParser.cmo src/bottomUpLexer.cmo src/version.cmo src/topDownUnix.cmo src/camlInterface.cmo -o src/datalog.cmo
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -a src/datalog.cmo -o src/datalog.cma
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/topDownAst.cmx src/topDownAst.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/topDownParser.cmx src/topDownParser.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/topDownLexer.cmx src/topDownLexer.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/bottomUp.cmx src/bottomUp.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/bottomUpAst.cmx src/bottomUpAst.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/bottomUpParser.cmx src/bottomUpParser.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/topDown.cmx src/topDown.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/default.cmx src/default.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/bottomUpLexer.cmx src/bottomUpLexer.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/version.cmx src/version.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/topDownUnix.cmx src/topDownUnix.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -for-pack Datalog -I src -o src/camlInterface.cmx src/camlInterface.ml
- touch src/datalog.mli ; if /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -pack -g -annot -bin-annot -I src src/bottomUp.cmx src/topDownAst.cmx src/topDownParser.cmx src/topDownLexer.cmx src/topDown.cmx src/bottomUpAst.cmx src/default.cmx src/bottomUpParser.cmx src/bottomUpLexer.cmx src/version.cmx src/topDownUnix.cmx src/camlInterface.cmx -o src/datalog.cmx ; then rm -f src/datalog.mli ; else rm -f src/datalog.mli ; exit 1; fi
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -a src/datalog.cmx -o src/datalog.cmxa
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -shared src/datalog.cmxa src/datalog.cmx -o src/datalog.cmxs
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/datalog_cli.ml > src/datalog_cli.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/datalog_cli.cmo src/datalog_cli.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -I src -o src/datalog_cli.cmx src/datalog_cli.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -linkpkg -g -linkpkg -package unix -package str -package num src/datalog.cmxa src/datalog_cli.cmx -o src/datalog_cli.native
- /home/opam/.opam/4.02/bin/ocamlfind ocamldep -package unix -package str -package num -modules src/topDownCli.ml > src/topDownCli.ml.depends
- /home/opam/.opam/4.02/bin/ocamlfind ocamlc -c -g -annot -bin-annot -safe-string -short-paths -I src -package unix -package str -package num -I src -o src/topDownCli.cmo src/topDownCli.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -safe-string -short-paths -I src -inline 10 -package unix -package str -package num -I src -o src/topDownCli.cmx src/topDownCli.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -linkpkg -g -linkpkg -package unix -package str -package num src/datalog.cmxa src/topDownCli.cmx -o src/topDownCli.native
- File "_tags", line 46, characters 19-32:
- Warning: tag "color" does not expect a parameter, but is used with parameter "always"
- File "_tags", line 46, characters 19-32:
- Warning: the tag "color(always)" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/bottomUp.odoc -I src -package unix -package str -package num -I src src/bottomUp.mli
- + /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/bottomUp.odoc -I src -package unix -package str -package num -I src src/bottomUp.mli
- Warning: Module or module type Hashtbl.HashedType not found
- Warning: Element Datalog_cli not found
- Warning: Element Datalog_cli not found
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/topDown.odoc -I src -package unix -package str -package num -I src src/topDown.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/default.odoc -I src -package unix -package str -package num -I src src/default.mli
- + /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/default.odoc -I src -package unix -package str -package num -I src src/default.mli
- Warning: Module type BottomUp.SymbolType not found
- Warning: Module or module type BottomUp.S not found
- Warning: Module type BottomUp.SymbolType not found
- Warning: Element BottomUp.Make not found
- Warning: Element BottomUpBottomUpAst not found
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/bottomUpAst.odoc -I src -package unix -package str -package num -I src src/bottomUpAst.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/bottomUpParser.odoc -I src -package unix -package str -package num -I src src/bottomUpParser.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/bottomUpLexer.odoc -I src -package unix -package str -package num -I src src/bottomUpLexer.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/topDownParser.odoc -I src -package unix -package str -package num -I src src/topDownParser.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/topDownLexer.odoc -I src -package unix -package str -package num -I src src/topDownLexer.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/topDownAst.odoc -I src -package unix -package str -package num -I src src/topDownAst.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/version.odoc -I src -package unix -package str -package num -I src src/version.ml
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/topDownUnix.odoc -I src -package unix -package str -package num -I src src/topDownUnix.mli
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/camlInterface.odoc -I src -package unix -package str -package num -I src src/camlInterface.mli
- + /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -dump src/camlInterface.odoc -I src -package unix -package str -package num -I src src/camlInterface.mli
- Warning: Module or module type TopDown.PARSE not found
- Warning: Module type TopDown.S not found
- Warning: Module or module type TopDown.PARSE not found
- Warning: Module type TopDown.S not found
- rm -rf datalog.docdir
- mkdir -p datalog.docdir
- /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -load src/bottomUp.odoc -load src/topDown.odoc -load src/default.odoc -load src/bottomUpAst.odoc -load src/bottomUpParser.odoc -load src/bottomUpLexer.odoc -load src/topDownParser.odoc -load src/topDownLexer.odoc -load src/topDownAst.odoc -load src/version.odoc -load src/topDownUnix.odoc -load src/camlInterface.odoc -html -d datalog.docdir
- + /home/opam/.opam/4.02/bin/ocamlfind ocamldoc -load src/bottomUp.odoc -load src/topDown.odoc -load src/default.odoc -load src/bottomUpAst.odoc -load src/bottomUpParser.odoc -load src/bottomUpLexer.odoc -load src/topDownParser.odoc -load src/topDownLexer.odoc -load src/topDownAst.odoc -load src/version.odoc -load src/topDownUnix.odoc -load src/camlInterface.odoc -html -d datalog.docdir
- Warning: Module or module type Hashtbl.HashedType not found
- Warning: Element Datalog_cli not found
- Warning: Element Datalog_cli not found
- Warning: Element BottomUpBottomUpAst not found
- Warning: Tag @hash not handled by this generator
- Warning: Tag @eq not handled by this generator
- ocaml setup.ml -build
- W: Cannot find source file matching module 'datalog' in library datalog.
- W: Use InterfacePatterns or ImplementationPatterns to define this file with feature "source_patterns".
- File "_tags", line 46, characters 19-32:
- Warning: tag "color" does not expect a parameter, but is used with parameter "always"
- File "_tags", line 46, characters 19-32:
- Warning: the tag "color(always)" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- /home/opam/.opam/4.02/bin/ocamlfind ocamlopt -shared src/datalog.cmxa src/datalog.cmx -o src/datalog.cmxs
- ocaml setup.ml -doc
- File "_tags", line 46, characters 19-32:
- Warning: tag "color" does not expect a parameter, but is used with parameter "always"
- File "_tags", line 46, characters 19-32:
- Warning: the tag "color(always)" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- mkdir -p man/man3/
- ocamlfind ocamldoc -I _build/ -man -d man/man3
- rm: cannot remove 'datalog.install': No such file or directory
- make: Nothing to be done for 'doc'.
- make: Nothing to be done for 'man'.
Processing 15/15: [datalog: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.02/.opam-switch/build/datalog.0.5.2)
- ocaml setup.ml -install
- W: Cannot find source header for module library in BottomUpParser datalog
- W: Cannot find source header for module library in BottomUpLexer datalog
- W: Cannot find source header for module library in TopDownParser datalog
- W: Cannot find source header for module library in TopDownLexer datalog
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUp.mli
- Installed /home/opam/.opam/4.02/lib/datalog/topDown.mli
- Installed /home/opam/.opam/4.02/lib/datalog/default.mli
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUpAst.mli
- Installed /home/opam/.opam/4.02/lib/datalog/topDownAst.ml
- Installed /home/opam/.opam/4.02/lib/datalog/version.ml
- Installed /home/opam/.opam/4.02/lib/datalog/topDownUnix.mli
- Installed /home/opam/.opam/4.02/lib/datalog/camlInterface.mli
- Installed /home/opam/.opam/4.02/lib/datalog/datalog.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/datalog.cmi
- Installed /home/opam/.opam/4.02/lib/datalog/datalog.cma
- Installed /home/opam/.opam/4.02/lib/datalog/datalog.cmxa
- Installed /home/opam/.opam/4.02/lib/datalog/datalog.a
- Installed /home/opam/.opam/4.02/lib/datalog/datalog.cmxs
- Installed /home/opam/.opam/4.02/lib/datalog/camlInterface.cmti
- Installed /home/opam/.opam/4.02/lib/datalog/camlInterface.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/camlInterface.annot
- Installed /home/opam/.opam/4.02/lib/datalog/topDownUnix.cmti
- Installed /home/opam/.opam/4.02/lib/datalog/topDownUnix.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/topDownUnix.annot
- Installed /home/opam/.opam/4.02/lib/datalog/version.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/version.annot
- Installed /home/opam/.opam/4.02/lib/datalog/topDownAst.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/topDownAst.annot
- Installed /home/opam/.opam/4.02/lib/datalog/topDownLexer.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/topDownLexer.annot
- Installed /home/opam/.opam/4.02/lib/datalog/topDownParser.cmti
- Installed /home/opam/.opam/4.02/lib/datalog/topDownParser.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/topDownParser.annot
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUpLexer.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUpLexer.annot
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUpParser.cmti
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUpParser.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUpParser.annot
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUpAst.cmti
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUpAst.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUpAst.annot
- Installed /home/opam/.opam/4.02/lib/datalog/default.cmti
- Installed /home/opam/.opam/4.02/lib/datalog/default.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/default.annot
- Installed /home/opam/.opam/4.02/lib/datalog/topDown.cmti
- Installed /home/opam/.opam/4.02/lib/datalog/topDown.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/topDown.annot
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUp.cmti
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUp.cmt
- Installed /home/opam/.opam/4.02/lib/datalog/bottomUp.annot
- Installed /home/opam/.opam/4.02/lib/datalog/datalog.cmx
- Installed /home/opam/.opam/4.02/lib/datalog/META
-> installed datalog.0.5.2
Done.
# Run eval $(opam env) to update the current shell environment
2022-11-03 01:00.58 ---> saved as "c726d3333ac0b19432a884f09c001bcd00df8e9e8ba858e290867b44b85f66a9"
Job succeeded
Home|Differences with the last checks|Previous runs