opam-health-check log - diy.5.01 on 4.10

Home|Differences with the last checks|Previous runs

Building on apache.ocamllabs.io

(from ocurrent/opam:debian-unstable)
2021-05-02 22:15.55 ---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache

/: (user (uid 1000) (gid 1000))

/: (env OPAMPRECISETRACKING 1)

/: (env OPAMDEPEXTYES 1)

/: (env OPAMUTF8 never)

/: (run (network host)
        (shell  "\
               \n        set -e\
               \n        git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\
               \n        git -C /tmp/opam checkout -q '72695bfac80dbcd1d2f10287b2626d18d4acc9f2'\
               \n        opam remote set-url default git://github.com/ocaml/opam-repository.git\
               \n        opam pin add -yn /tmp/opam > /dev/null\
               \n        opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\
               \n        sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\
               \n        rm -rf /tmp/opam /tmp/depext.txt ~/.opam\
               \n        if ! test -d ~/opam-repository; then\
               \n          git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\
               \n        else\
               \n          git -C ~/opam-repository pull -q origin master\
               \n        fi\
               \n        git -C ~/opam-repository checkout -q '01c350d759f8d4e3202596371818e6d997fa5fe2'\
               \n      "))
[default] Initialised

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD

The following actions will be performed:
  - install ocamlfind          1.9.1
  - install seq                base         [required by re]
  - install cmdliner           1.0.4        [required by opam-devel]
  - install dune               2.8.5        [required by opam-0install-cudf, opam-devel]
  - install ocamlbuild         0.14.0       [required by cudf]
  - install base-bytes         base         [required by extlib]
  - install stdlib-shims       0.3.0        [required by ocamlgraph]
  - install re                 1.9.0        [required by opam-client]
  - install opam-file-format   2.1.2        [required by opam-format]
  - install cppo               1.6.7        [required by extlib]
  - install 0install-solver    2.17         [required by opam-0install-cudf]
  - install ocamlgraph         2.0.0        [required by dose3]
  - install extlib             1.7.7-1      [required by cudf, opam-client]
  - install opam-core          2.1.0~beta4* [required by opam-format]
  - install cudf               0.9-1        [required by opam-0install-cudf]
  - install opam-format        2.1.0~beta4* [required by opam-repository, opam-solver]
  - install opam-0install-cudf 0.4.1
  - install mccs               1.1+13       [required by opam-solver]
  - install dose3              5.0.1-1      [required by opam-solver]
  - install opam-repository    2.1.0~beta4* [required by opam-client]
  - install opam-solver        2.1.0~beta4* [required by opam-client]
  - install opam-state         2.1.0~beta4* [required by opam-client]
  - install opam-client        2.1.0~beta4* [required by opam-devel]
  - install opam-devel         2.1.0~beta4*
===== 24 to install =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz
[0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz
[cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz
[cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz
[dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz
[dune.2.8.5] downloaded from https://github.com/ocaml/dune/releases/download/2.8.5/dune-2.8.5.tbz
[extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz
[mccs.1.1+13] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+13.tar.gz
[ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz
[ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz
[ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz
[opam-0install-cudf.0.4.1] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.1/opam-0install-cudf-v0.4.1.tbz
[re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz
[opam-file-format.2.1.2] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.2.tar.gz
[stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.0.4
-> installed ocamlfind.1.9.1
-> installed base-bytes.base
-> installed ocamlbuild.0.14.0
-> installed dune.2.8.5
-> installed stdlib-shims.0.3.0
-> installed opam-file-format.2.1.2
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed re.1.9.0
-> installed ocamlgraph.2.0.0
-> installed extlib.1.7.7-1
-> installed opam-core.2.1.0~beta4
-> installed cudf.0.9-1
-> installed opam-0install-cudf.0.4.1
-> installed mccs.1.1+13
-> installed opam-format.2.1.0~beta4
-> installed opam-repository.2.1.0~beta4
-> installed dose3.5.0.1-1
-> installed opam-state.2.1.0~beta4
-> installed opam-solver.2.1.0~beta4
-> installed opam-client.2.1.0~beta4
-> installed opam-devel.2.1.0~beta4
Done.

<><> opam-devel.2.1.0~beta4 installed successfully ><><><><><><><><><><><><><><>
=> The development version of opam has been successfully compiled into /home/opam/.opam/4.11/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with
       sudo cp /home/opam/.opam/4.11/lib/opam-devel/opam /usr/local/bin

   If you just want to give it a try without altering your current installation, you could use instead:
       alias opam2="OPAMROOT=~/.opam2 /home/opam/.opam/4.11/lib/opam-devel/opam"
# Run eval $(opam env) to update the current shell environment
2021-05-02 22:15.55 ---> using "e3e694f2e2acefbb1c736074593e4ed9519fa28bcacb04ce221113caf7c619d7" from cache

/: (env OPAMEXTERNALSOLVER builtin-0install)

/: (env OPAMCRITERIA +removed)

/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised

User configuration:
  ~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.

2021-05-02 22:15.55 ---> using "994210567fc74f2e4ea2666c54af8efeef1124fd1b8a409e7a42a3900b5b0e3d" from cache

/: (run (network host)
        (shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89"))
2021-05-02 22:15.55 ---> using "73d057d9a75d3fb712189b77476927d054d7247f8421955cb72dfcb0294b320e" from cache

/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-05-02 22:15.55 ---> using "883cc12f2fd777afc528f51cf9b7c4e073248e757811f4b918a5f77d53bb7199" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=beta,default 4.10.2"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.10.2"} | "ocaml-system" {= "4.10.2"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.10.2  (cached)
-> installed ocaml-base-compiler.4.10.2
-> installed ocaml-config.1
-> installed ocaml.4.10.2
Done.
# Run eval $(opam env --switch=4.10.2) to update the current shell environment
2021-05-02 22:15.55 ---> using "0a465fbb31466a24495ade8d1b9b504161277a8bdf8baf1ab7df9a89edddf2b7" from cache

/: (run (network host)
        (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [157 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8626 kB]
- Fetched 8847 kB in 2s (4841 kB/s)
- Reading package lists...
- 
2021-05-02 22:15.55 ---> using "cf2e0dc5906c4ea626250dc8547ffc329821e5a762c7365db295be81c88998c8" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \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 '\"debian-unstable\"'; then\
               \n        echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
               \n        exit 69\
               \n    fi\
               \nfi\
               \n\
               \n\
               \nexit $res\
               \n"))
The following actions will be performed:
  - install ocamlbuild 0.14.0 [required by diy]
  - install diy        5.01
===== 2 to install =====

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/6:
Processing  2/6:
-> retrieved ocamlbuild.0.14.0  (cached)
Processing  3/6: [ocamlbuild: make configure.make]
-> retrieved diy.5.01  (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.10.2" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.10.2/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.10.2/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.10.2/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/home/opam/.opam/4.10.2/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/4.10.2/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/4.10.2/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=/home/opam/.opam/4.10.2"; \
- echo "BINDIR=/home/opam/.opam/4.10.2/bin"; \
- echo "LIBDIR=/home/opam/.opam/4.10.2/lib"; \
- echo "MANDIR=/home/opam/.opam/4.10.2/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/4.10.2/bin"'; \
- echo 'let libdir = "/home/opam/.opam/4.10.2/lib"'; \
- echo 'let ocaml_libdir = "/home/opam/.opam/4.10.2/lib/ocaml"'; \
- echo 'let libdir_abs = "/home/opam/.opam/4.10.2/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.0"'; \
- ) > src/ocamlbuild_config.ml
Processing  3/6: [ocamlbuild: make check-if-preinstalled]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0)
- if test -d /home/opam/.opam/4.10.2/lib/ocaml/ocamlbuild; then\
-   >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
-        "/home/opam/.opam/4.10.2/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 +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- File "src/my_std.ml", line 127, characters 20-38:
- 127 |       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
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w L -w R -w Z -I src -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 +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w L -w R -w Z -I src -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 +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- File "src/main.ml", line 289, characters 4-19:
- 289 |     Pervasives.exit rc
-           ^^^^^^^^^^^^^^^
- 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 "src/main.ml", line 310, characters 10-25:
- 310 |           Pervasives.exit rc_ok
-                 ^^^^^^^^^^^^^^^
- 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 "src/main.ml", line 313, characters 10-25:
- 313 |           Pervasives.exit rc
-                 ^^^^^^^^^^^^^^^
- 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
- 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 +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- File "src/ocamlbuild_executor.ml", line 86, characters 24-41:
- 86 |   ?(display=(fun f -> f Pervasives.stdout))
-                              ^^^^^^^^^^^^^^^^^
- 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
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo src/ocamlbuild.cmo
- ocamlc.opt -a -o src/ocamlbuildlib.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -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 +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 +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 +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- File "src/my_std.ml", line 127, characters 20-38:
- 127 |       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
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- File "src/main.ml", line 289, characters 4-19:
- 289 |     Pervasives.exit rc
-           ^^^^^^^^^^^^^^^
- 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 "src/main.ml", line 310, characters 10-25:
- 310 |           Pervasives.exit rc_ok
-                 ^^^^^^^^^^^^^^^
- 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 "src/main.ml", line 313, characters 10-25:
- 313 |           Pervasives.exit rc
-                 ^^^^^^^^^^^^^^^
- 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
- 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 -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- File "src/ocamlbuild_executor.ml", line 86, characters 24-41:
- 86 |   ?(display=(fun f -> f Pervasives.stdout))
-                              ^^^^^^^^^^^^^^^^^
- 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
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild.cmx
- ocamlopt.opt -a -o src/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/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
- make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- 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
- make[2]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- echo 'lib: [' >> ocamlbuild.install
- make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- 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
- make[3]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- for lib in src/ocamlbuildlib.cma src/ocamlbuild.cmo src/ocamlbuild_pack.cmi src/ocamlbuild_plugin.cmi src/ocamlbuild_executor.cmi src/ocamlbuild_unix_plugin.cmi; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- for lib in src/ocamlbuildlib.cmxa src/ocamlbuildlib.a src/ocamlbuild.cmx src/ocamlbuild.o src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild_plugin.o src/ocamlbuild_executor.o src/ocamlbuild_unix_plugin.o; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- make install-man-opam
- make[2]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- echo 'man: [' >> ocamlbuild.install
- echo '  "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- make install-doc-opam
- make[2]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- echo 'doc: [' >> ocamlbuild.install
- echo '  "LICENSE"' >> ocamlbuild.install
- echo '  "Changes"' >> ocamlbuild.install
- echo '  "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
- make[1]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/ocamlbuild.0.14.0'
-> compiled  ocamlbuild.0.14.0
-> installed ocamlbuild.0.14.0
Processing  5/6: [diy: sed Makefile]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sed" "-i" "-e" "s#^PREFIX=.*$#PREFIX=/home/opam/.opam/4.10.2#" "Makefile" (CWD=/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01)
Processing  5/6: [diy: make 127]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j" "127" (CWD=/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01)
- for d in litmus gen ; \
- do ( cd $d && make -j127 --jobserver-auth=3,4 PREFIX=/home/opam/.opam/4.10.2 all ) ; done
- make[1]: warning: -j127 forced in submake: resetting jobserver mode.
- make[1]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01/litmus'
- ocamlbuild -classic-display litmus.native mcycles.native
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules litmus.ml > litmus.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules config.ml > config.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules globals.mli > globals.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o misc.cmi misc.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules myName.mli > myName.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules mySys.mli > mySys.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules tar.mli > tar.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules top.ml > top.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules ARMArch.ml > ARMArch.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules ARMBase.ml > ARMBase.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules pseudo.ml > pseudo.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules symbConstant.ml > symbConstant.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o pseudo.cmo pseudo.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o symbConstant.cmo symbConstant.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules archExtra.ml > archExtra.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules constant.mli > constant.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules miscParser.mli > miscParser.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules constrGen.mli > constrGen.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules mySet.ml > mySet.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o constrGen.cmi constrGen.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o mySet.cmo mySet.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o miscParser.cmi miscParser.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules location.ml > location.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules template.ml > template.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o constant.cmi constant.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o globals.cmi globals.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules StringSet.mli > StringSet.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o StringSet.cmi StringSet.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o location.cmo location.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o template.cmo template.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o ARMBase.cmo ARMBase.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o archExtra.cmo archExtra.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules ARMCompile.ml > ARMCompile.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o ARMArch.cmo ARMArch.ml
- + /home/opam/.opam/4.10.2/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 instead.
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules label.mli > label.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules warn.mli > warn.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o label.cmi label.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o warn.cmi warn.mli
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q ARMLexer.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules ARMLexer.ml > ARMLexer.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlyacc ARMParser.mly
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules ARMParser.mli > ARMParser.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules debug.mli > debug.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexMisc.mli > lexMisc.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexUtils.mli > lexUtils.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules pos.mli > pos.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o pos.cmi pos.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o ARMParser.cmi ARMParser.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o debug.cmi debug.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o lexMisc.cmi lexMisc.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o lexUtils.cmi lexUtils.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules arch.mli > arch.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules archBase.mli > archBase.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o archBase.cmi archBase.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules compile.ml > compile.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules MapString.mli > MapString.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules test.ml > test.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o arch.cmi arch.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules constr.ml > constr.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o constr.cmo constr.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules XXXCompile.mli > XXXCompile.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o MapString.cmi MapString.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o test.cmo test.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o XXXCompile.cmi XXXCompile.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules genParser.mli > genParser.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules splitter.mli > splitter.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules name.mli > name.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o name.cmi name.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o splitter.cmi splitter.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules generateCrossDoc.ml > generateCrossDoc.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules hint.mli > hint.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o myName.cmi myName.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o mySys.cmi mySys.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules objUtil.ml > objUtil.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o tar.cmi tar.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCArch.ml > PPCArch.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCBase.ml > PPCBase.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o PPCBase.cmo PPCBase.ml
- + /home/opam/.opam/4.10.2/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 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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCCompile.ml > PPCCompile.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o PPCArch.cmo PPCArch.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCLexer.mli > PPCLexer.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlyacc PPCParser.mly
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCParser.mli > PPCParser.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o PPCParser.cmi PPCParser.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules run.ml > run.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o config.cmo config.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexSplit.mli > lexSplit.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules showcode.mli > showcode.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules simpleDumper.ml > simpleDumper.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o lexSplit.cmi lexSplit.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o showcode.cmi showcode.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o simpleDumper.cmo simpleDumper.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules skel.ml > skel.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules affinity.mli > affinity.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules defString.ml > defString.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexAffinity.mli > lexAffinity.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o affinity.cmi affinity.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o objUtil.cmo objUtil.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o defString.cmo defString.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o lexAffinity.cmi lexAffinity.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules symbReg.mli > symbReg.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Arch.ml > X86Arch.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Base.ml > X86Base.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o X86Base.cmo X86Base.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Compile.ml > X86Compile.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o X86Arch.cmo X86Arch.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Lexer.mli > X86Lexer.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlyacc X86Parser.mly
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Parser.mli > X86Parser.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o X86Parser.cmi X86Parser.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o ARMCompile.cmo ARMCompile.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o ARMLexer.cmo ARMLexer.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o compile.cmo compile.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o genParser.cmi genParser.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o generateCrossDoc.cmo generateCrossDoc.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o hint.cmi hint.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o PPCCompile.cmo PPCCompile.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o PPCLexer.cmi PPCLexer.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o run.cmo run.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o skel.cmo skel.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o symbReg.cmi symbReg.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o X86Compile.cmo X86Compile.ml
- + /home/opam/.opam/4.10.2/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 instead.
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o X86Lexer.cmi X86Lexer.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o top.cmo top.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o litmus.cmo litmus.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules globals.ml > globals.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexSplit.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexSplit.ml > lexSplit.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexSplit.cmx lexSplit.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o misc.cmx misc.ml
- + /home/opam/.opam/4.10.2/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: 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 9.5)
- File "misc.ml", line 414, characters 27-38:
- 414 |      with Invalid_argument "List.map2" -> raise TransposeFailure in
-                                  ^^^^^^^^^^^
- Warning 52: 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 9.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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules myName.ml > myName.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o config.cmx config.ml
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexConf.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexConf.ml > lexConf.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexConf.mli > lexConf.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o lexConf.cmi lexConf.mli
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o globals.cmx globals.ml
- + /home/opam/.opam/4.10.2/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 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 instead.
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules warn.ml > warn.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexConf.cmx lexConf.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o warn.cmx warn.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules mySys.ml > mySys.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules tar.ml > tar.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o pseudo.cmx pseudo.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o symbConstant.cmx symbConstant.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules miscParser.ml > miscParser.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules constrGen.ml > constrGen.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o constrGen.cmx constrGen.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o mySet.cmx mySet.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o miscParser.cmx miscParser.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules StringSet.ml > StringSet.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o StringSet.cmx StringSet.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o location.cmx location.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o template.cmx template.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o ARMBase.cmx ARMBase.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o archExtra.cmx archExtra.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o ARMArch.cmx ARMArch.ml
- + /home/opam/.opam/4.10.2/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 instead.
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules label.ml > label.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o label.cmx label.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules ARMParser.ml > ARMParser.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules debug.ml > debug.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexMisc.ml > lexMisc.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexUtils.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexUtils.ml > lexUtils.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o debug.cmx debug.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexMisc.cmx lexMisc.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules pos.ml > pos.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o pos.cmx pos.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o ARMParser.cmx ARMParser.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexUtils.cmx lexUtils.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules MapString.ml > MapString.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o constr.cmx constr.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o MapString.cmx MapString.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o test.cmx test.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules genParser.ml > genParser.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules logConstr.ml > logConstr.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules stateLexer.mli > stateLexer.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlyacc stateParser.mly
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules stateParser.mli > stateParser.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o stateParser.cmi stateParser.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o stateLexer.cmi stateLexer.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o logConstr.cmo logConstr.ml
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q stateLexer.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules stateLexer.ml > stateLexer.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules stateParser.ml > stateParser.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o stateParser.cmx stateParser.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o stateLexer.cmx stateLexer.ml
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q splitter.mll
- + /home/opam/.opam/4.10.2/bin/ocamllex.opt -q splitter.mll
- ocamllex warning:
- File "splitter.mll", line 138, character 63: unescaped newline in string.
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules splitter.ml > splitter.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules rename.ml > rename.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules rename.mli > rename.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o rename.cmi rename.mli
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexRename.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexRename.ml > lexRename.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexRename.mli > lexRename.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules tblRename.mli > tblRename.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o tblRename.cmi tblRename.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o lexRename.cmi lexRename.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules tblRename.ml > tblRename.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o stringMap.cmi stringMap.mli
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o stringMap.cmx stringMap.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o tblRename.cmx tblRename.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexRename.cmx lexRename.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o rename.cmx rename.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules testHash.ml > testHash.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o testHash.cmo testHash.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o logConstr.cmx logConstr.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o splitter.cmx splitter.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o testHash.cmx testHash.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules hint.ml > hint.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexHint.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexHint.ml > lexHint.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexHint.mli > lexHint.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o lexHint.cmi lexHint.mli
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexHint.cmx lexHint.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o myName.cmx myName.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o mySys.cmx mySys.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o tar.cmx tar.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o PPCBase.cmx PPCBase.ml
- + /home/opam/.opam/4.10.2/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 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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o PPCArch.cmx PPCArch.ml
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q PPCLexer.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCLexer.ml > PPCLexer.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCParser.ml > PPCParser.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o PPCParser.cmx PPCParser.ml
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q showcode.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules showcode.ml > showcode.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o showcode.cmx showcode.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o simpleDumper.cmx simpleDumper.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules affinity.ml > affinity.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexAffinity.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexAffinity.ml > lexAffinity.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o affinity.cmx affinity.ml
- + /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o affinity.cmx affinity.ml
- File "affinity.ml", line 93, characters 9-10:
- 93 |     | Fr _ -> true
-               ^
- Warning 28: wildcard pattern given as argument to a constant constructor
- File "affinity.ml", line 99, characters 9-10:
- 99 |     | Ws _ -> true
-               ^
- Warning 28: 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 instead.
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o objUtil.cmx objUtil.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o defString.cmx defString.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexAffinity.cmx lexAffinity.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules symbReg.ml > symbReg.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o X86Base.cmx X86Base.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o X86Arch.cmx X86Arch.ml
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q X86Lexer.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Lexer.ml > X86Lexer.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Parser.ml > X86Parser.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o X86Parser.cmx X86Parser.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o ARMCompile.cmx ARMCompile.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o ARMLexer.cmx ARMLexer.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o compile.cmx compile.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o genParser.cmx genParser.ml
- + /home/opam/.opam/4.10.2/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: 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 9.5)
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o generateCrossDoc.cmx generateCrossDoc.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o hint.cmx hint.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o PPCCompile.cmx PPCCompile.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o PPCLexer.cmx PPCLexer.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o run.cmx run.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o skel.cmx skel.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o symbReg.cmx symbReg.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o X86Compile.cmx X86Compile.ml
- + /home/opam/.opam/4.10.2/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 instead.
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o X86Lexer.cmx X86Lexer.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o top.cmx top.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o litmus.cmx litmus.ml
- /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules mcycles.ml > mcycles.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules mcyclesGen.ml > mcyclesGen.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules value.mli > value.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o value.cmi value.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o mcyclesGen.cmo mcyclesGen.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o mcycles.cmo mcycles.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o mcyclesGen.cmx mcyclesGen.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o mcycles.cmx mcycles.ml
- /home/opam/.opam/4.10.2/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
- make[1]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01/litmus'
- make[1]: warning: -j127 forced in submake: resetting jobserver mode.
- make[1]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01/gen'
- ocamlbuild -classic-display  diy.native diyone.native readRelax.native dont.native diycross.native classify.native
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules diy.ml > diy.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules ARMCompile.ml > ARMCompile.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules ARMArch.ml > ARMArch.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules ARMBase.ml > ARMBase.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules pseudo.ml > pseudo.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules symbConstant.ml > symbConstant.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o misc.cmi misc.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o pseudo.cmo pseudo.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o symbConstant.cmo symbConstant.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules archExtra.ml > archExtra.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules code.mli > code.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules warn.mli > warn.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o code.cmi code.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o warn.cmi warn.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules constant.mli > constant.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules dep.mli > dep.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o ARMBase.cmo ARMBase.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o archExtra.cmo archExtra.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o constant.cmi constant.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o dep.cmi dep.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules compileCommon.ml > compileCommon.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules arch.mli > arch.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules archBase.mli > archBase.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules fence.mli > fence.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o archBase.cmi archBase.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o fence.cmi fence.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules cycle.ml > cycle.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules edge.ml > edge.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexUtil.mli > lexUtil.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules mySet.ml > mySet.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o lexUtil.cmi lexUtil.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o mySet.cmo mySet.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules myMap.ml > myMap.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o edge.cmo edge.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o myMap.cmo myMap.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules relax.ml > relax.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o arch.cmi arch.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o cycle.cmo cycle.ml
- + /home/opam/.opam/4.10.2/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 instead.
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o relax.cmo relax.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules label.mli > label.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules XXXCompile.mli > XXXCompile.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o compileCommon.cmo compileCommon.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o ARMArch.cmo ARMArch.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o label.cmi label.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o XXXCompile.cmi XXXCompile.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules alt.ml > alt.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules config.ml > config.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules mySys.mli > mySys.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules util.mli > util.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules version.ml > version.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o mySys.cmi mySys.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o util.cmi util.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o version.cmo version.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules dumpAll.ml > dumpAll.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules hint.mli > hint.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules namer.ml > namer.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules normaliser.ml > normaliser.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules tar.mli > tar.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules top.ml > top.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o config.cmo config.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o hint.cmi hint.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules run.ml > run.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules innerRel.ml > innerRel.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules rel.ml > rel.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o rel.cmo rel.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o innerRel.cmo innerRel.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o run.cmo run.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o namer.cmo namer.ml
- + /home/opam/.opam/4.10.2/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 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 instead.
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o normaliser.cmo normaliser.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o tar.cmi tar.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o top.cmo top.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o dumpAll.cmo dumpAll.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexConf.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexConf.ml > lexConf.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCArch.ml > PPCArch.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCBase.ml > PPCBase.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o PPCBase.cmo PPCBase.ml
- + /home/opam/.opam/4.10.2/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 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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules PPCCompile.ml > PPCCompile.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o PPCArch.cmo PPCArch.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Compile.ml > X86Compile.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Arch.ml > X86Arch.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules X86Base.ml > X86Base.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o X86Base.cmo X86Base.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o X86Arch.cmo X86Arch.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o ARMCompile.cmo ARMCompile.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o alt.cmo alt.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o lexConf.cmo lexConf.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o PPCCompile.cmo PPCCompile.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o X86Compile.cmo X86Compile.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o diy.cmo diy.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o misc.cmx misc.ml
- + /home/opam/.opam/4.10.2/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: 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 9.5)
- File "misc.ml", line 414, characters 27-38:
- 414 |      with Invalid_argument "List.map2" -> raise TransposeFailure in
-                                  ^^^^^^^^^^^
- Warning 52: 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 9.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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o pseudo.cmx pseudo.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o symbConstant.cmx symbConstant.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules code.ml > code.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules warn.ml > warn.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o code.cmx code.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o warn.cmx warn.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules dep.ml > dep.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o ARMBase.cmx ARMBase.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o archExtra.cmx archExtra.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o dep.cmx dep.ml
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexUtil.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexUtil.ml > lexUtil.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexUtil.cmx lexUtil.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o mySet.cmx mySet.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o edge.cmx edge.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o myMap.cmx myMap.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o cycle.cmx cycle.ml
- + /home/opam/.opam/4.10.2/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 instead.
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o relax.cmx relax.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules label.ml > label.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o ARMArch.cmx ARMArch.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o compileCommon.cmx compileCommon.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o label.cmx label.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules mySys.ml > mySys.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules util.ml > util.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o mySys.cmx mySys.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o util.cmx util.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o version.cmx version.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules hint.ml > hint.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexHint.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexHint.ml > lexHint.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexHint.mli > lexHint.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o lexHint.cmi lexHint.mli
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexHint.cmx lexHint.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules tar.ml > tar.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o config.cmx config.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o hint.cmx hint.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o rel.cmx rel.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o innerRel.cmx innerRel.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o run.cmx run.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o namer.cmx namer.ml
- + /home/opam/.opam/4.10.2/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 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 instead.
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o normaliser.cmx normaliser.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o tar.cmx tar.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o top.cmx top.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o dumpAll.cmx dumpAll.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o PPCBase.cmx PPCBase.ml
- + /home/opam/.opam/4.10.2/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 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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o PPCArch.cmx PPCArch.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o X86Base.cmx X86Base.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o X86Arch.cmx X86Arch.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o ARMCompile.cmx ARMCompile.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o alt.cmx alt.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexConf.cmx lexConf.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o PPCCompile.cmx PPCCompile.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o X86Compile.cmx X86Compile.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o diy.cmx diy.ml
- /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules diyone.ml > diyone.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o diyone.cmo diyone.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o diyone.cmx diyone.ml
- /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules readRelax.ml > readRelax.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules logRelax.ml > logRelax.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q lexLog.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules lexLog.ml > lexLog.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o lexLog.cmo lexLog.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o logRelax.cmo logRelax.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o readRelax.cmo readRelax.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o lexLog.cmx lexLog.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o logRelax.cmx logRelax.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o readRelax.cmx readRelax.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt code.cmx lexUtil.cmx lexLog.cmx misc.cmx warn.cmx logRelax.cmx mySet.cmx util.cmx readRelax.cmx -o readRelax.native
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules dont.ml > dont.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoConf.mli > autoConf.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoArch.ml > autoArch.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoInterpret.mli > autoInterpret.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoOpt.mli > autoOpt.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o autoArch.cmo autoArch.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o autoInterpret.cmi autoInterpret.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o autoOpt.cmi autoOpt.mli
- /home/opam/.opam/4.10.2/bin/ocamllex.opt -q autoLex.mll
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoLex.ml > autoLex.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoRun.ml > autoRun.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoBase.mli > autoBase.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoPhase.mli > autoPhase.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o autoPhase.cmi autoPhase.mli
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoCom.mli > autoCom.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o autoConf.cmi autoConf.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o autoLex.cmo autoLex.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoOuts.ml > autoOuts.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoUtils.mli > autoUtils.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o autoBase.cmi autoBase.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o autoCom.cmi autoCom.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o autoOuts.cmo autoOuts.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o autoUtils.cmi autoUtils.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -dtypes -o stringMap.cmi stringMap.mli
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o autoRun.cmo autoRun.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o dont.cmo dont.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoConf.ml > autoConf.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoMulti.ml > autoMulti.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o autoMulti.cmo autoMulti.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoArch.cmx autoArch.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoOpt.ml > autoOpt.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoSingle.ml > autoSingle.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o autoSingle.cmo autoSingle.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoMulti.cmx autoMulti.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoOpt.cmx autoOpt.ml
- + /home/opam/.opam/4.10.2/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 instead.
- File "autoOpt.ml", line 44, characters 8-24:
- 44 |   match String.lowercase key with
-              ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.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 instead.
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoSingle.cmx autoSingle.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoBase.ml > autoBase.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoPhase.ml > autoPhase.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoPhase.cmx autoPhase.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoCom.ml > autoCom.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoConf.cmx autoConf.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoLex.cmx autoLex.ml
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules autoUtils.ml > autoUtils.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoBase.cmx autoBase.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoCom.cmx autoCom.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoOuts.cmx autoOuts.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoUtils.cmx autoUtils.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o stringMap.cmx stringMap.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o autoRun.cmx autoRun.ml
- + /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o dont.cmx dont.ml
- /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules diycross.ml > diycross.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules varAtomic.ml > varAtomic.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o varAtomic.cmo varAtomic.ml
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o diycross.cmo diycross.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o varAtomic.cmx varAtomic.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o diycross.cmx diycross.ml
- /home/opam/.opam/4.10.2/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
- /home/opam/.opam/4.10.2/bin/ocamldep.opt -modules classify.ml > classify.ml.depends
- /home/opam/.opam/4.10.2/bin/ocamlc.opt -c -g -dtypes -o classify.cmo classify.ml
- /home/opam/.opam/4.10.2/bin/ocamlopt.opt -c -dtypes -o classify.cmx classify.ml
- /home/opam/.opam/4.10.2/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
- make[1]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01/gen'
-> compiled  diy.5.01
Processing  6/6: [diy: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01)
- for d in litmus gen ; \
- do ( cd $d && make  PREFIX=/home/opam/.opam/4.10.2 install ) ; done
- make[1]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01/litmus'
- mkdir -p /home/opam/.opam/4.10.2/bin
- cp litmus /home/opam/.opam/4.10.2/bin
- ( test -f mcycles && cp mcycles /home/opam/.opam/4.10.2/bin ) || true
- mkdir -p /home/opam/.opam/4.10.2/lib/litmus
- cp _utils.c _utils.h /home/opam/.opam/4.10.2/lib/litmus
- cp _outs.c _outs.h /home/opam/.opam/4.10.2/lib/litmus
- cp _aix_affinity.c _linux_affinity.c _affinity.h /home/opam/.opam/4.10.2/lib/litmus
- cp _ppc_barrier.c  _x86_barrier.c  _arm_barrier.c /home/opam/.opam/4.10.2/lib/litmus
- cp _ppc_barrier_lab.c /home/opam/.opam/4.10.2/lib/litmus
- cp _show.awk /home/opam/.opam/4.10.2/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 /home/opam/.opam/4.10.2/lib/litmus
- make[1]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01/litmus'
- make[1]: Entering directory '/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01/gen'
- make[1]: Leaving directory '/home/opam/.opam/4.10.2/.opam-switch/build/diy.5.01/gen'
-> installed diy.5.01
Done.
# Run eval $(opam env) to update the current shell environment
2021-05-02 22:17.07 ---> saved as "213bc4cd21cc1418af5b35341c7362bf1262d23de2cc1632aa76c082b2b7974a"
Job succeeded