Building on summer
(from freebsd)
2023-12-20 23:34.37 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" 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/local/bin/opam-dev /usr/local/bin/opam"))
2023-12-20 23:34.37 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" 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 1a01639f743228bcd2b03a3a610c8c2b88bbd944"))
2023-12-20 23:34.38 ---> using "72199d53c0b595df297bc2227ce055f52538676a291f87a306ae37772100afa6" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using 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:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-12-20 23:34.38 ---> using "114d39e806f0d07b325dbb8c4af00f55d2c599ac3bcff02950946fbe65c53bc2" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2023-12-20 23:34.38 ---> using "a7deb3442f54c34f8447a3b41e4677563cce20d62a64cade735bb8db2513b024" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-12-20 23:34.38 ---> using "699489a2955f14cb38fe708a60ae2daf62154644aa69855ce768335403d61435" from cache
/: (env OCAMLPARAM warn-error=+8,_)
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"diy.5.01\"\
\nopam install -vy \"diy.5.01\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"diy.5.01\" | grep -q '\"freebsd\"'; 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] diy.5.01 is not installed.
Nothing to do.
The following actions will be performed:
=== install 2 packages
- install diy 5.01
- install ocamlbuild 0.14.2 [required by diy]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/6: [diy.5.01: http]
Processing 2/6: [diy.5.01: http]
-> retrieved ocamlbuild.0.14.2 (cached)
Processing 3/6: [diy.5.01: http] [ocamlbuild: gmake configure.make]
Processing 3/6: [ocamlbuild: gmake configure.make]
-> retrieved diy.5.01 (http://diy.inria.fr/sources/old/diy-5.01.tar.gz)
+ /usr/local/bin/gmake "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/usr/home/opam/.opam/4.14.1" "OCAMLBUILD_BINDIR=/usr/home/opam/.opam/4.14.1/bin" "OCAMLBUILD_LIBDIR=/usr/home/opam/.opam/4.14.1/lib" "OCAMLBUILD_MANDIR=/usr/home/opam/.opam/4.14.1/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/usr/home/opam/.opam/4.14.1/bin"; \
- echo "OCAML_LIBDIR=/usr/home/opam/.opam/4.14.1/lib/ocaml"; \
- echo "OCAML_MANDIR=/usr/home/opam/.opam/4.14.1/man"; \
- echo ;\
- echo "EXT_OBJ=.o"; \
- echo "EXT_ASM=.s"; \
- echo "EXT_LIB=.a"; \
- echo "EXT_DLL=.so"; \
- echo "EXE="; \
- echo ;\
- echo "OCAML_NATIVE=true"; \
- echo "OCAML_NATIVE_TOOLS=true"; \
- echo "NATDYNLINK=true"; \
- echo "SUPPORT_SHARED_LIBRARIES=true"; \
- echo ;\
- echo "PREFIX=/usr/home/opam/.opam/4.14.1"; \
- echo "BINDIR=/usr/home/opam/.opam/4.14.1/bin"; \
- echo "LIBDIR=/usr/home/opam/.opam/4.14.1/lib"; \
- echo "MANDIR=/usr/home/opam/.opam/4.14.1/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/usr/home/opam/.opam/4.14.1/bin"'; \
- echo 'let libdir = "/usr/home/opam/.opam/4.14.1/lib"'; \
- echo 'let ocaml_libdir = "/usr/home/opam/.opam/4.14.1/lib/ocaml"'; \
- echo 'let libdir_abs = "/usr/home/opam/.opam/4.14.1/lib"'; \
- echo 'let ocaml_native = true'; \
- echo 'let ocaml_native_tools = true'; \
- echo 'let supports_shared_libraries = true';\
- echo 'let a = "a"'; \
- echo 'let o = "o"'; \
- echo 'let so = "so"'; \
- echo 'let ext_dll = ".so"'; \
- echo 'let exe = ""'; \
- echo 'let version = "0.14.2"'; \
- ) > src/ocamlbuild_config.ml
Processing 3/6: [ocamlbuild: gmake check-if-preinstalled]
+ /usr/local/bin/gmake "check-if-preinstalled" "all" "opam-install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2)
- if test -d /usr/home/opam/.opam/4.14.1/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/usr/home/opam/.opam/4.14.1/lib/ocaml/ocamlbuild";\
- >&2 echo "Installation aborted; if you want to bypass this"\
- "safety check, pass CHECK_IF_PREINSTALLED=false to make";\
- exit 2;\
- fi
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamllex.opt src/glob_lexer.mll
- 55 states, 419 transitions, table size 2006 bytes
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamllex.opt src/lexers.mll
- 251 states, 1051 transitions, table size 5710 bytes
- 4334 additional bytes used for bindings
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo
- mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi
- mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo bin/ocamlbuild.cmo
- ocamlc.opt -a -o plugin-lib/ocamlbuildlib.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx bin/ocamlbuild.cmx
- ocamlopt.opt -a -o plugin-lib/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx
- ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte
- ./man/options_man.byte > man/ocamlbuild.options.1
- cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1
- /usr/local/bin/gmake ocamlbuild.install
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- /usr/local/bin/gmake install-bin-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'bin: [' >> ocamlbuild.install
- echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-lib-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'lib: [' >> ocamlbuild.install
- /usr/local/bin/gmake install-lib-basics-opam
- gmake[3]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo ' "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-lib-byte-opam
- gmake[3]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-lib-native-opam
- gmake[3]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-man-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'man: [' >> ocamlbuild.install
- echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-doc-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'doc: [' >> ocamlbuild.install
- echo ' "LICENSE"' >> ocamlbuild.install
- echo ' "Changes"' >> ocamlbuild.install
- echo ' "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
-> compiled ocamlbuild.0.14.2
-> installed ocamlbuild.0.14.2
Processing 5/6: [diy: sed Makefile]
+ /usr/bin/sed "-i" "-e" "s#^PREFIX=.*$#PREFIX=/usr/home/opam/.opam/4.14.1#" "Makefile" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01)
Processing 5/6: [diy: gmake 15]
+ /usr/local/bin/gmake "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01)
- for d in litmus gen ; \
- do ( cd $d && /usr/local/bin/gmake -j15 --jobserver-auth=3,4 PREFIX=/usr/home/opam/.opam/4.14.1 all ) ; done
- gmake[1]: warning: -j15 forced in submake: resetting jobserver mode.
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01/litmus'
- ocamlbuild -classic-display litmus.native mcycles.native
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules litmus.ml > litmus.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules config.ml > config.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules globals.mli > globals.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o misc.cmi misc.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules myName.mli > myName.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules mySys.mli > mySys.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules tar.mli > tar.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules top.ml > top.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ARMArch.ml > ARMArch.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ARMBase.ml > ARMBase.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules pseudo.ml > pseudo.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules symbConstant.ml > symbConstant.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o pseudo.cmo pseudo.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o symbConstant.cmo symbConstant.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o symbConstant.cmo symbConstant.ml
- File "symbConstant.ml", line 29, characters 30-48:
- 29 | | Concrete i1, Concrete i2 -> Pervasives.compare i1 i2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules archExtra.ml > archExtra.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules constant.mli > constant.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules miscParser.mli > miscParser.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules constrGen.mli > constrGen.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules mySet.ml > mySet.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o constrGen.cmi constrGen.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o mySet.cmo mySet.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o miscParser.cmi miscParser.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules location.ml > location.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules template.ml > template.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o constant.cmi constant.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o globals.cmi globals.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules StringSet.mli > StringSet.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o StringSet.cmi StringSet.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o location.cmo location.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o template.cmo template.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o ARMBase.cmo ARMBase.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o ARMBase.cmo ARMBase.ml
- File "ARMBase.ml", line 77, characters 18-36:
- 77 | let reg_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "ARMBase.ml", line 121, characters 22-40:
- 121 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o archExtra.cmo archExtra.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ARMCompile.ml > ARMCompile.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o ARMArch.cmo ARMArch.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o ARMArch.cmo ARMArch.ml
- File "ARMArch.ml", line 27, characters 10-26:
- 27 | try String.lowercase (Hashtbl.find tab r) with Not_found -> assert false
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules label.mli > label.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules warn.mli > warn.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o label.cmi label.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o warn.cmi warn.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q ARMLexer.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ARMLexer.ml > ARMLexer.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlyacc ARMParser.mly
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ARMParser.mli > ARMParser.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules debug.mli > debug.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexMisc.mli > lexMisc.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexUtils.mli > lexUtils.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules pos.mli > pos.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o pos.cmi pos.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o ARMParser.cmi ARMParser.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o debug.cmi debug.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o lexMisc.cmi lexMisc.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o lexUtils.cmi lexUtils.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules arch.mli > arch.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules archBase.mli > archBase.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o archBase.cmi archBase.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules compile.ml > compile.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules MapString.mli > MapString.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules test.ml > test.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o arch.cmi arch.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules constr.ml > constr.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o constr.cmo constr.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules XXXCompile.mli > XXXCompile.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o MapString.cmi MapString.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o test.cmo test.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o XXXCompile.cmi XXXCompile.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules genParser.mli > genParser.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules splitter.mli > splitter.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules name.mli > name.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o name.cmi name.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o splitter.cmi splitter.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules generateCrossDoc.ml > generateCrossDoc.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules hint.mli > hint.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o myName.cmi myName.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o mySys.cmi mySys.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules objUtil.ml > objUtil.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o tar.cmi tar.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCArch.ml > PPCArch.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCBase.ml > PPCBase.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o PPCBase.cmo PPCBase.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o PPCBase.cmo PPCBase.ml
- File "PPCBase.ml", line 116, characters 18-36:
- 116 | let reg_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "PPCBase.ml", line 154, characters 14-30:
- 154 | let s = String.lowercase s in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "PPCBase.ml", line 178, characters 22-40:
- 178 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCCompile.ml > PPCCompile.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o PPCArch.cmo PPCArch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCLexer.mli > PPCLexer.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlyacc PPCParser.mly
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCParser.mli > PPCParser.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o PPCParser.cmi PPCParser.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules run.ml > run.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o config.cmo config.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexSplit.mli > lexSplit.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules showcode.mli > showcode.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules simpleDumper.ml > simpleDumper.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o lexSplit.cmi lexSplit.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o showcode.cmi showcode.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o simpleDumper.cmo simpleDumper.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules skel.ml > skel.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules affinity.mli > affinity.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules defString.ml > defString.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexAffinity.mli > lexAffinity.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o affinity.cmi affinity.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o objUtil.cmo objUtil.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o defString.cmo defString.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o lexAffinity.cmi lexAffinity.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules symbReg.mli > symbReg.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Arch.ml > X86Arch.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Base.ml > X86Base.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o X86Base.cmo X86Base.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o X86Base.cmo X86Base.ml
- File "X86Base.ml", line 64, characters 18-36:
- 64 | let reg_compare = Pervasives.compare (* Will do, no doubt *)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "X86Base.ml", line 80, characters 22-40:
- 80 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Compile.ml > X86Compile.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o X86Arch.cmo X86Arch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Lexer.mli > X86Lexer.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlyacc X86Parser.mly
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Parser.mli > X86Parser.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o X86Parser.cmi X86Parser.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o ARMCompile.cmo ARMCompile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o ARMLexer.cmo ARMLexer.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o compile.cmo compile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o genParser.cmi genParser.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o generateCrossDoc.cmo generateCrossDoc.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o hint.cmi hint.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o PPCCompile.cmo PPCCompile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o PPCLexer.cmi PPCLexer.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o run.cmo run.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o skel.cmo skel.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o symbReg.cmi symbReg.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o X86Compile.cmo X86Compile.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o X86Compile.cmo X86Compile.ml
- File "X86Compile.ml", line 199, characters 10-26:
- 199 | (String.lowercase (pp_condition cond))
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o X86Lexer.cmi X86Lexer.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o top.cmo top.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o litmus.cmo litmus.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules globals.ml > globals.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexSplit.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexSplit.ml > lexSplit.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexSplit.cmx lexSplit.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o misc.cmx misc.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o misc.cmx misc.ml
- File "misc.ml", line 263, characters 40-54:
- 263 | let string_eq (s1:string) (s2:string) = Pervasives.(=) s1 s2
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "misc.ml", line 316, characters 12-27:
- 316 | | Failure "int_of_string" -> None
- ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "misc.ml", line 414, characters 27-38:
- 414 | with Invalid_argument "List.map2" -> raise TransposeFailure in
- ^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "misc.ml", line 503, characters 12-33:
- 503 | try Some (Pervasives.input_line chan)
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules myName.ml > myName.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o config.cmx config.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexConf.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexConf.ml > lexConf.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexConf.mli > lexConf.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o lexConf.cmi lexConf.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o globals.cmx globals.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o globals.cmx globals.ml
- File "globals.ml", line 179, characters 17-33:
- 179 | let os = match String.lowercase tag with
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "globals.ml", line 200, characters 16-32:
- 200 | let w = match String.lowercase tag with
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules warn.ml > warn.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexConf.cmx lexConf.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o warn.cmx warn.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules mySys.ml > mySys.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules tar.ml > tar.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o pseudo.cmx pseudo.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o symbConstant.cmx symbConstant.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o symbConstant.cmx symbConstant.ml
- File "symbConstant.ml", line 29, characters 30-48:
- 29 | | Concrete i1, Concrete i2 -> Pervasives.compare i1 i2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules miscParser.ml > miscParser.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules constrGen.ml > constrGen.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o constrGen.cmx constrGen.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o mySet.cmx mySet.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o miscParser.cmx miscParser.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules StringSet.ml > StringSet.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o StringSet.cmx StringSet.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o location.cmx location.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o template.cmx template.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMBase.cmx ARMBase.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMBase.cmx ARMBase.ml
- File "ARMBase.ml", line 77, characters 18-36:
- 77 | let reg_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "ARMBase.ml", line 121, characters 22-40:
- 121 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o archExtra.cmx archExtra.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMArch.cmx ARMArch.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMArch.cmx ARMArch.ml
- File "ARMArch.ml", line 27, characters 10-26:
- 27 | try String.lowercase (Hashtbl.find tab r) with Not_found -> assert false
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules label.ml > label.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o label.cmx label.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ARMParser.ml > ARMParser.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules debug.ml > debug.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexMisc.ml > lexMisc.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexUtils.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexUtils.ml > lexUtils.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o debug.cmx debug.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexMisc.cmx lexMisc.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules pos.ml > pos.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o pos.cmx pos.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMParser.cmx ARMParser.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexUtils.cmx lexUtils.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules MapString.ml > MapString.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o constr.cmx constr.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o MapString.cmx MapString.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o test.cmx test.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules genParser.ml > genParser.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules logConstr.ml > logConstr.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules stateLexer.mli > stateLexer.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlyacc stateParser.mly
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules stateParser.mli > stateParser.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o stateParser.cmi stateParser.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o stateLexer.cmi stateLexer.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o logConstr.cmo logConstr.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q stateLexer.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules stateLexer.ml > stateLexer.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules stateParser.ml > stateParser.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o stateParser.cmx stateParser.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o stateLexer.cmx stateLexer.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q splitter.mll
- + /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q splitter.mll
- ocamllex warning:
- File "splitter.mll", line 138, character 63: unescaped newline in string.
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules splitter.ml > splitter.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules rename.ml > rename.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules rename.mli > rename.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o rename.cmi rename.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexRename.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexRename.ml > lexRename.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexRename.mli > lexRename.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules tblRename.mli > tblRename.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o tblRename.cmi tblRename.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o lexRename.cmi lexRename.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules tblRename.ml > tblRename.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o stringMap.cmi stringMap.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o stringMap.cmx stringMap.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o tblRename.cmx tblRename.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexRename.cmx lexRename.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o rename.cmx rename.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules testHash.ml > testHash.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o testHash.cmo testHash.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o logConstr.cmx logConstr.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o splitter.cmx splitter.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o testHash.cmx testHash.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules hint.ml > hint.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexHint.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexHint.ml > lexHint.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexHint.mli > lexHint.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o lexHint.cmi lexHint.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexHint.cmx lexHint.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o myName.cmx myName.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o mySys.cmx mySys.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o tar.cmx tar.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCBase.cmx PPCBase.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCBase.cmx PPCBase.ml
- File "PPCBase.ml", line 116, characters 18-36:
- 116 | let reg_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "PPCBase.ml", line 154, characters 14-30:
- 154 | let s = String.lowercase s in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "PPCBase.ml", line 178, characters 22-40:
- 178 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCArch.cmx PPCArch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q PPCLexer.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCLexer.ml > PPCLexer.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCParser.ml > PPCParser.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCParser.cmx PPCParser.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q showcode.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules showcode.ml > showcode.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o showcode.cmx showcode.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o simpleDumper.cmx simpleDumper.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules affinity.ml > affinity.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexAffinity.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexAffinity.ml > lexAffinity.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o affinity.cmx affinity.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o affinity.cmx affinity.ml
- File "affinity.ml", line 93, characters 9-10:
- 93 | | Fr _ -> true
- ^
- Warning 28 [wildcard-arg-to-constant-constr]: wildcard pattern given as argument to a constant constructor
- File "affinity.ml", line 99, characters 9-10:
- 99 | | Ws _ -> true
- ^
- Warning 28 [wildcard-arg-to-constant-constr]: wildcard pattern given as argument to a constant constructor
- File "affinity.ml", line 142, characters 10-22:
- 142 | let t = Array.create nprocs (-1) in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make/ArrayLabels.make instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o objUtil.cmx objUtil.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o defString.cmx defString.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexAffinity.cmx lexAffinity.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules symbReg.ml > symbReg.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Base.cmx X86Base.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Base.cmx X86Base.ml
- File "X86Base.ml", line 64, characters 18-36:
- 64 | let reg_compare = Pervasives.compare (* Will do, no doubt *)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "X86Base.ml", line 80, characters 22-40:
- 80 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Arch.cmx X86Arch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q X86Lexer.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Lexer.ml > X86Lexer.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Parser.ml > X86Parser.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Parser.cmx X86Parser.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMCompile.cmx ARMCompile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMLexer.cmx ARMLexer.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o compile.cmx compile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o genParser.cmx genParser.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o genParser.cmx genParser.ml
- File "genParser.ml", line 68, characters 50-64:
- 68 | | Misc.TransposeFailure | Invalid_argument "List.combine" ->
- ^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o generateCrossDoc.cmx generateCrossDoc.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o hint.cmx hint.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCCompile.cmx PPCCompile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCLexer.cmx PPCLexer.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o run.cmx run.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o skel.cmx skel.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o symbReg.cmx symbReg.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Compile.cmx X86Compile.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Compile.cmx X86Compile.ml
- File "X86Compile.ml", line 199, characters 10-26:
- 199 | (String.lowercase (pp_condition cond))
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Lexer.cmx X86Lexer.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o top.cmx top.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o litmus.cmx litmus.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt misc.cmx pseudo.cmx symbConstant.cmx ARMBase.cmx mySet.cmx StringSet.cmx constrGen.cmx lexSplit.cmx globals.cmx miscParser.cmx location.cmx template.cmx archExtra.cmx ARMArch.cmx label.cmx warn.cmx ARMCompile.cmx ARMParser.cmx debug.cmx lexMisc.cmx pos.cmx lexUtils.cmx ARMLexer.cmx MapString.cmx PPCBase.cmx PPCArch.cmx PPCCompile.cmx PPCParser.cmx PPCLexer.cmx X86Base.cmx X86Arch.cmx X86Compile.cmx X86Parser.cmx X86Lexer.cmx affinity.cmx constr.cmx test.cmx compile.cmx config.cmx defString.cmx stringMap.cmx tblRename.cmx lexRename.cmx stateParser.cmx stateLexer.cmx logConstr.cmx rename.cmx splitter.cmx testHash.cmx genParser.cmx generateCrossDoc.cmx lexHint.cmx hint.cmx lexAffinity.cmx lexConf.cmx myName.cmx mySys.cmx tar.cmx objUtil.cmx showcode.cmx simpleDumper.cmx run.cmx skel.cmx symbReg.cmx top.cmx litmus.cmx -o litmus.native
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules mcycles.ml > mcycles.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules mcyclesGen.ml > mcyclesGen.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules value.mli > value.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o value.cmi value.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o mcyclesGen.cmo mcyclesGen.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o mcycles.cmo mcycles.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o mcyclesGen.cmx mcyclesGen.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o mcycles.cmx mcycles.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt misc.cmx pseudo.cmx symbConstant.cmx ARMBase.cmx mySet.cmx StringSet.cmx constrGen.cmx lexSplit.cmx globals.cmx miscParser.cmx location.cmx template.cmx archExtra.cmx ARMArch.cmx ARMParser.cmx debug.cmx lexMisc.cmx pos.cmx lexUtils.cmx ARMLexer.cmx label.cmx warn.cmx PPCBase.cmx PPCArch.cmx PPCParser.cmx PPCLexer.cmx X86Base.cmx X86Arch.cmx X86Parser.cmx X86Lexer.cmx stringMap.cmx tblRename.cmx lexRename.cmx stateParser.cmx stateLexer.cmx logConstr.cmx rename.cmx splitter.cmx testHash.cmx genParser.cmx mcyclesGen.cmx mcycles.cmx -o mcycles.native
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01/litmus'
- gmake[1]: warning: -j15 forced in submake: resetting jobserver mode.
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01/gen'
- ocamlbuild -classic-display diy.native diyone.native readRelax.native dont.native diycross.native classify.native
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules diy.ml > diy.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ARMCompile.ml > ARMCompile.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ARMArch.ml > ARMArch.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ARMBase.ml > ARMBase.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules pseudo.ml > pseudo.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules symbConstant.ml > symbConstant.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o misc.cmi misc.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o pseudo.cmo pseudo.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o symbConstant.cmo symbConstant.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o symbConstant.cmo symbConstant.ml
- File "symbConstant.ml", line 29, characters 30-48:
- 29 | | Concrete i1, Concrete i2 -> Pervasives.compare i1 i2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules archExtra.ml > archExtra.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules code.mli > code.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules warn.mli > warn.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o code.cmi code.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o warn.cmi warn.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules constant.mli > constant.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules dep.mli > dep.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o ARMBase.cmo ARMBase.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o ARMBase.cmo ARMBase.ml
- File "ARMBase.ml", line 77, characters 18-36:
- 77 | let reg_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "ARMBase.ml", line 121, characters 22-40:
- 121 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o archExtra.cmo archExtra.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o archExtra.cmo archExtra.ml
- File "archExtra.ml", line 63, characters 13-31:
- 63 | | 0 -> Pervasives.compare r1 r2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o constant.cmi constant.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o dep.cmi dep.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules compileCommon.ml > compileCommon.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules arch.mli > arch.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules archBase.mli > archBase.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules fence.mli > fence.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o archBase.cmi archBase.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o fence.cmi fence.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules cycle.ml > cycle.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules edge.ml > edge.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexUtil.mli > lexUtil.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules mySet.ml > mySet.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o lexUtil.cmi lexUtil.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o mySet.cmo mySet.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules myMap.ml > myMap.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o edge.cmo edge.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o edge.cmo edge.ml
- File "edge.ml", line 145, characters 11-29:
- 145 | | 0 -> Pervasives.compare e1.edge e2.edge
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o myMap.cmo myMap.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules relax.ml > relax.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o arch.cmi arch.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o cycle.cmo cycle.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o cycle.cmo cycle.ml
- File "cycle.ml", line 198, characters 10-22:
- 198 | let t = Array.create 26 "" in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make/ArrayLabels.make instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o relax.cmo relax.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules label.mli > label.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules XXXCompile.mli > XXXCompile.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o compileCommon.cmo compileCommon.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o ARMArch.cmo ARMArch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o label.cmi label.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o XXXCompile.cmi XXXCompile.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules alt.ml > alt.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules config.ml > config.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules mySys.mli > mySys.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules util.mli > util.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules version.ml > version.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o mySys.cmi mySys.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o util.cmi util.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o version.cmo version.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules dumpAll.ml > dumpAll.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules hint.mli > hint.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules namer.ml > namer.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules normaliser.ml > normaliser.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules tar.mli > tar.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules top.ml > top.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o config.cmo config.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o hint.cmi hint.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules run.ml > run.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules innerRel.ml > innerRel.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules rel.ml > rel.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o rel.cmo rel.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o innerRel.cmo innerRel.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o run.cmo run.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o namer.cmo namer.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o namer.cmo namer.ml
- File "namer.ml", line 31, characters 36-52:
- 31 | | Fenced (f,_,_,_) -> Some (String.lowercase (A.pp_fence f))
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "namer.ml", line 32, characters 31-47:
- 32 | | Dp (dp,_,_) -> Some (String.lowercase (A.pp_dp dp))
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o normaliser.cmo normaliser.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o normaliser.cmo normaliser.ml
- File "normaliser.ml", line 118, characters 17-35:
- 118 | | _,_ -> Pervasives.compare e1 e2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "normaliser.ml", line 142, characters 14-32:
- 142 | match Pervasives.compare i1 i2 with
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o tar.cmi tar.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o top.cmo top.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o dumpAll.cmo dumpAll.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o dumpAll.cmo dumpAll.ml
- File "dumpAll.ml", line 279, characters 16-34:
- 279 | let c = Pervasives.compare t.(i1) t.(i2) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexConf.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexConf.ml > lexConf.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCArch.ml > PPCArch.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCBase.ml > PPCBase.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o PPCBase.cmo PPCBase.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o PPCBase.cmo PPCBase.ml
- File "PPCBase.ml", line 116, characters 18-36:
- 116 | let reg_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "PPCBase.ml", line 154, characters 14-30:
- 154 | let s = String.lowercase s in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "PPCBase.ml", line 178, characters 22-40:
- 178 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PPCCompile.ml > PPCCompile.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o PPCArch.cmo PPCArch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Compile.ml > X86Compile.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Arch.ml > X86Arch.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules X86Base.ml > X86Base.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o X86Base.cmo X86Base.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o X86Base.cmo X86Base.ml
- File "X86Base.ml", line 64, characters 18-36:
- 64 | let reg_compare = Pervasives.compare (* Will do, no doubt *)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "X86Base.ml", line 80, characters 22-40:
- 80 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o X86Arch.cmo X86Arch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o ARMCompile.cmo ARMCompile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o alt.cmo alt.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o alt.cmo alt.ml
- File "alt.ml", line 275, characters 24-42:
- 275 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o lexConf.cmo lexConf.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o PPCCompile.cmo PPCCompile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o X86Compile.cmo X86Compile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o diy.cmo diy.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o misc.cmx misc.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o misc.cmx misc.ml
- File "misc.ml", line 263, characters 40-54:
- 263 | let string_eq (s1:string) (s2:string) = Pervasives.(=) s1 s2
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "misc.ml", line 316, characters 12-27:
- 316 | | Failure "int_of_string" -> None
- ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "misc.ml", line 414, characters 27-38:
- 414 | with Invalid_argument "List.map2" -> raise TransposeFailure in
- ^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "misc.ml", line 503, characters 12-33:
- 503 | try Some (Pervasives.input_line chan)
- ^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o pseudo.cmx pseudo.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o symbConstant.cmx symbConstant.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o symbConstant.cmx symbConstant.ml
- File "symbConstant.ml", line 29, characters 30-48:
- 29 | | Concrete i1, Concrete i2 -> Pervasives.compare i1 i2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules code.ml > code.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules warn.ml > warn.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o code.cmx code.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o warn.cmx warn.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules dep.ml > dep.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMBase.cmx ARMBase.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMBase.cmx ARMBase.ml
- File "ARMBase.ml", line 77, characters 18-36:
- 77 | let reg_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "ARMBase.ml", line 121, characters 22-40:
- 121 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o archExtra.cmx archExtra.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o archExtra.cmx archExtra.ml
- File "archExtra.ml", line 63, characters 13-31:
- 63 | | 0 -> Pervasives.compare r1 r2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o dep.cmx dep.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexUtil.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexUtil.ml > lexUtil.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexUtil.cmx lexUtil.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o mySet.cmx mySet.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o edge.cmx edge.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o edge.cmx edge.ml
- File "edge.ml", line 145, characters 11-29:
- 145 | | 0 -> Pervasives.compare e1.edge e2.edge
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o myMap.cmx myMap.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o cycle.cmx cycle.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o cycle.cmx cycle.ml
- File "cycle.ml", line 198, characters 10-22:
- 198 | let t = Array.create 26 "" in
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Array.create
- Use Array.make/ArrayLabels.make instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o relax.cmx relax.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules label.ml > label.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMArch.cmx ARMArch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o compileCommon.cmx compileCommon.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o label.cmx label.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules mySys.ml > mySys.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules util.ml > util.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o mySys.cmx mySys.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o util.cmx util.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o version.cmx version.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules hint.ml > hint.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexHint.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexHint.ml > lexHint.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexHint.mli > lexHint.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o lexHint.cmi lexHint.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexHint.cmx lexHint.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules tar.ml > tar.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o config.cmx config.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o hint.cmx hint.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o rel.cmx rel.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o innerRel.cmx innerRel.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o run.cmx run.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o namer.cmx namer.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o namer.cmx namer.ml
- File "namer.ml", line 31, characters 36-52:
- 31 | | Fenced (f,_,_,_) -> Some (String.lowercase (A.pp_fence f))
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "namer.ml", line 32, characters 31-47:
- 32 | | Dp (dp,_,_) -> Some (String.lowercase (A.pp_dp dp))
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o normaliser.cmx normaliser.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o normaliser.cmx normaliser.ml
- File "normaliser.ml", line 118, characters 17-35:
- 118 | | _,_ -> Pervasives.compare e1 e2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "normaliser.ml", line 142, characters 14-32:
- 142 | match Pervasives.compare i1 i2 with
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o tar.cmx tar.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o top.cmx top.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o dumpAll.cmx dumpAll.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o dumpAll.cmx dumpAll.ml
- File "dumpAll.ml", line 279, characters 16-34:
- 279 | let c = Pervasives.compare t.(i1) t.(i2) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCBase.cmx PPCBase.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCBase.cmx PPCBase.ml
- File "PPCBase.ml", line 116, characters 18-36:
- 116 | let reg_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "PPCBase.ml", line 154, characters 14-30:
- 154 | let s = String.lowercase s in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "PPCBase.ml", line 178, characters 22-40:
- 178 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCArch.cmx PPCArch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Base.cmx X86Base.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Base.cmx X86Base.ml
- File "X86Base.ml", line 64, characters 18-36:
- 64 | let reg_compare = Pervasives.compare (* Will do, no doubt *)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "X86Base.ml", line 80, characters 22-40:
- 80 | let barrier_compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Arch.cmx X86Arch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o ARMCompile.cmx ARMCompile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o alt.cmx alt.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o alt.cmx alt.ml
- File "alt.ml", line 275, characters 24-42:
- 275 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexConf.cmx lexConf.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o PPCCompile.cmx PPCCompile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o X86Compile.cmx X86Compile.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o diy.cmx diy.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt unix.cmxa misc.cmx pseudo.cmx symbConstant.cmx ARMBase.cmx code.cmx warn.cmx archExtra.cmx dep.cmx ARMArch.cmx lexUtil.cmx mySet.cmx edge.cmx myMap.cmx cycle.cmx relax.cmx compileCommon.cmx label.cmx ARMCompile.cmx PPCBase.cmx PPCArch.cmx PPCCompile.cmx X86Base.cmx X86Arch.cmx mySys.cmx util.cmx version.cmx config.cmx X86Compile.cmx lexHint.cmx hint.cmx rel.cmx innerRel.cmx namer.cmx normaliser.cmx run.cmx tar.cmx top.cmx dumpAll.cmx alt.cmx lexConf.cmx diy.cmx -o diy.native
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules diyone.ml > diyone.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o diyone.cmo diyone.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o diyone.cmx diyone.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt misc.cmx pseudo.cmx symbConstant.cmx ARMBase.cmx code.cmx warn.cmx archExtra.cmx dep.cmx ARMArch.cmx lexUtil.cmx mySet.cmx edge.cmx myMap.cmx cycle.cmx relax.cmx compileCommon.cmx label.cmx ARMCompile.cmx PPCBase.cmx PPCArch.cmx PPCCompile.cmx X86Base.cmx X86Arch.cmx mySys.cmx util.cmx version.cmx config.cmx X86Compile.cmx lexHint.cmx hint.cmx rel.cmx innerRel.cmx namer.cmx normaliser.cmx run.cmx tar.cmx top.cmx dumpAll.cmx diyone.cmx -o diyone.native
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules readRelax.ml > readRelax.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules logRelax.ml > logRelax.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q lexLog.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules lexLog.ml > lexLog.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o lexLog.cmo lexLog.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o logRelax.cmo logRelax.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o readRelax.cmo readRelax.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o lexLog.cmx lexLog.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o logRelax.cmx logRelax.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o readRelax.cmx readRelax.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt code.cmx lexUtil.cmx lexLog.cmx misc.cmx warn.cmx logRelax.cmx mySet.cmx util.cmx readRelax.cmx -o readRelax.native
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules dont.ml > dont.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoConf.mli > autoConf.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoArch.ml > autoArch.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoInterpret.mli > autoInterpret.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoOpt.mli > autoOpt.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o autoArch.cmo autoArch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o autoInterpret.cmi autoInterpret.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o autoOpt.cmi autoOpt.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q autoLex.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoLex.ml > autoLex.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoRun.ml > autoRun.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoBase.mli > autoBase.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoPhase.mli > autoPhase.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o autoPhase.cmi autoPhase.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoCom.mli > autoCom.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o autoConf.cmi autoConf.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o autoLex.cmo autoLex.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoOuts.ml > autoOuts.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoUtils.mli > autoUtils.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o autoBase.cmi autoBase.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o autoCom.cmi autoCom.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o autoOuts.cmo autoOuts.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o autoUtils.cmi autoUtils.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -dtypes -o stringMap.cmi stringMap.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o autoRun.cmo autoRun.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o autoRun.cmo autoRun.ml
- File "autoRun.ml", line 410, characters 22-44:
- 410 | Filename.concat Filename.temp_dir_name
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Filename.temp_dir_name
- Use Filename.get_temp_dir_name instead
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o dont.cmo dont.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoConf.ml > autoConf.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoMulti.ml > autoMulti.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o autoMulti.cmo autoMulti.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoArch.cmx autoArch.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoOpt.ml > autoOpt.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoSingle.ml > autoSingle.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o autoSingle.cmo autoSingle.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoMulti.cmx autoMulti.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoOpt.cmx autoOpt.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoOpt.cmx autoOpt.ml
- File "autoOpt.ml", line 16, characters 25-41:
- 16 | let parse_mode s = match String.lowercase s with
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "autoOpt.ml", line 44, characters 8-24:
- 44 | match String.lowercase key with
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "autoOpt.ml", line 65, characters 35-51:
- 65 | let parse_interpretation s = match String.lowercase s with
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoSingle.cmx autoSingle.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoBase.ml > autoBase.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoPhase.ml > autoPhase.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoPhase.cmx autoPhase.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoCom.ml > autoCom.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoConf.cmx autoConf.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoLex.cmx autoLex.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules autoUtils.ml > autoUtils.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoBase.cmx autoBase.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoBase.cmx autoBase.ml
- File "autoBase.ml", line 61, characters 14-32:
- 61 | match Pervasives.compare a.phase b.phase with
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoCom.cmx autoCom.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoOuts.cmx autoOuts.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoUtils.cmx autoUtils.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o stringMap.cmx stringMap.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoRun.cmx autoRun.ml
- + /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o autoRun.cmx autoRun.ml
- File "autoRun.ml", line 410, characters 22-44:
- 410 | Filename.concat Filename.temp_dir_name
- ^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Filename.temp_dir_name
- Use Filename.get_temp_dir_name instead
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o dont.cmx dont.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt unix.cmxa misc.cmx pseudo.cmx symbConstant.cmx ARMBase.cmx code.cmx warn.cmx archExtra.cmx dep.cmx ARMArch.cmx label.cmx PPCBase.cmx PPCArch.cmx X86Base.cmx X86Arch.cmx lexUtil.cmx mySet.cmx edge.cmx lexLog.cmx logRelax.cmx relax.cmx autoArch.cmx autoPhase.cmx autoBase.cmx mySys.cmx autoCom.cmx autoMulti.cmx autoOpt.cmx autoSingle.cmx autoConf.cmx autoLex.cmx autoOuts.cmx autoUtils.cmx util.cmx version.cmx config.cmx stringMap.cmx autoRun.cmx dont.cmx -o dont.native
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules diycross.ml > diycross.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules varAtomic.ml > varAtomic.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o varAtomic.cmo varAtomic.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o diycross.cmo diycross.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o varAtomic.cmx varAtomic.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o diycross.cmx diycross.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt misc.cmx pseudo.cmx symbConstant.cmx ARMBase.cmx code.cmx warn.cmx archExtra.cmx dep.cmx ARMArch.cmx lexUtil.cmx mySet.cmx edge.cmx myMap.cmx cycle.cmx relax.cmx compileCommon.cmx label.cmx ARMCompile.cmx PPCBase.cmx PPCArch.cmx PPCCompile.cmx X86Base.cmx X86Arch.cmx mySys.cmx util.cmx version.cmx config.cmx X86Compile.cmx lexHint.cmx hint.cmx rel.cmx innerRel.cmx namer.cmx normaliser.cmx run.cmx tar.cmx top.cmx dumpAll.cmx varAtomic.cmx diycross.cmx -o diycross.native
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules classify.ml > classify.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -g -dtypes -o classify.cmo classify.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -dtypes -o classify.cmx classify.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt misc.cmx pseudo.cmx symbConstant.cmx ARMBase.cmx code.cmx warn.cmx archExtra.cmx dep.cmx ARMArch.cmx label.cmx PPCBase.cmx PPCArch.cmx X86Base.cmx X86Arch.cmx lexUtil.cmx mySet.cmx edge.cmx myMap.cmx namer.cmx normaliser.cmx util.cmx classify.cmx -o classify.native
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01/gen'
-> compiled diy.5.01
Processing 6/6: [diy: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01)
- for d in litmus gen ; \
- do ( cd $d && /usr/local/bin/gmake PREFIX=/usr/home/opam/.opam/4.14.1 install ) ; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01/litmus'
- mkdir -p /usr/home/opam/.opam/4.14.1/bin
- cp litmus /usr/home/opam/.opam/4.14.1/bin
- ( test -f mcycles && cp mcycles /usr/home/opam/.opam/4.14.1/bin ) || true
- mkdir -p /usr/home/opam/.opam/4.14.1/lib/litmus
- cp _utils.c _utils.h /usr/home/opam/.opam/4.14.1/lib/litmus
- cp _outs.c _outs.h /usr/home/opam/.opam/4.14.1/lib/litmus
- cp _aix_affinity.c _linux_affinity.c _affinity.h /usr/home/opam/.opam/4.14.1/lib/litmus
- cp _ppc_barrier.c _x86_barrier.c _arm_barrier.c /usr/home/opam/.opam/4.14.1/lib/litmus
- cp _ppc_barrier_lab.c /usr/home/opam/.opam/4.14.1/lib/litmus
- cp _show.awk /usr/home/opam/.opam/4.14.1/lib/litmus
- cp conti.cfg saumur.cfg saumur.close.cfg doko.cfg squale.cfg hpcx.cfg vargas.cfg vargas.cache.cfg vargas.close.cfg vargas16.cfg abducens.cfg abducens.big.cfg abducens.cache.cfg abducens.close.cfg chianti.cfg power7.cfg power7.32.cfg power.cfg ARM.cfg cortex9.cfg cortex9-O0.cfg dragon.cfg trimslice.cfg tst.cfg auto.cfg power7.smt.cfg power6.smt.cfg mp.cfg ipad.cfg asus.cfg /usr/home/opam/.opam/4.14.1/lib/litmus
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01/litmus'
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01/gen'
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/diy.5.01/gen'
-> installed diy.5.01
Done.
2023-12-20 23:35.49 ---> saved as "74b6fc49c9f98bb8448ce5d1b9717bfac5a1f77af63f2bda769c804a5075191a"
Job succeeded
Home|Differences with the last checks|Previous runs