* Package: dev-util/herdtools7-7.51 * Repository: gentoo * Maintainer: chutzpah@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox @@@@@ PLEASE PAY ATTENTION HERE!!! @@@@@ This information may help you to understand if this is a duplicate or if this bug exists after you pushed a fix; This ebuild was merged at the following commit: https://github.com/gentoo-mirror/gentoo/commit/92935605fb9465dae2d6ee4d758e13808019a218 (Wed Jan 13 23:35:16 UTC 2021) @@@@@ END @@@@@ emerge --info: Portage 3.0.13 (python 3.7.9-final-0, default/linux/amd64/17.1, gcc-10.2.0, glibc-2.32-r7, 5.4.0-1029-aws x86_64) ================================================================= System uname: Linux-5.4.0-1029-aws-x86_64-Intel-R-_Xeon-R-_Platinum_8175M_CPU_@_2.50GHz-with-gentoo-2.7 KiB Mem: 64359964 total, 31000324 free KiB Swap: 0 total, 0 free Timestamp of repository gentoo: Wed, 13 Jan 2021 23:35:15 +0000 sh bash 5.1_p4 ld GNU ld (Gentoo 2.35.1 p2) 2.35.1 app-shells/bash: 5.1_p4::gentoo dev-lang/perl: 5.32.0-r1::gentoo dev-lang/python: 3.7.9-r1::gentoo, 3.8.7::gentoo, 3.9.1::gentoo dev-util/cmake: 3.19.2::gentoo sys-apps/baselayout: 2.7-r1::gentoo sys-apps/openrc: 0.42.1::gentoo sys-apps/sandbox: 2.20::gentoo sys-devel/autoconf: 2.13-r1::gentoo, 2.69-r5::gentoo sys-devel/automake: 1.16.3-r1::gentoo sys-devel/binutils: 2.35.1-r1::gentoo sys-devel/gcc: 10.2.0-r5::gentoo sys-devel/gcc-config: 2.3.2-r1::gentoo sys-devel/libtool: 2.4.6-r6::gentoo sys-devel/make: 4.3::gentoo sys-kernel/linux-headers: 5.10::gentoo (virtual/os-headers) sys-libs/glibc: 2.32-r7::gentoo Repositories: gentoo location: /usr/portage sync-type: rsync sync-uri: rsync://rsync.gentoo.org/gentoo-portage priority: -1000 sync-rsync-extra-opts: sync-rsync-verify-jobs: 1 sync-rsync-verify-max-age: 24 sync-rsync-verify-metamanifest: yes ACCEPT_KEYWORDS="amd64 ~amd64" ACCEPT_LICENSE="* CeCILL-B" CBUILD="x86_64-pc-linux-gnu" CFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color" CHOST="x86_64-pc-linux-gnu" CONFIG_PROTECT="/etc /usr/share/gnupg/qualified.txt" CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo" CXXFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color" DISTDIR="/var/tmp/portage/dev-util/herdtools7-7.51/distdir" EMERGE_DEFAULT_OPTS="--with-bdeps=y -1 -k -b" ENV_UNSET="CARGO_HOME DBUS_SESSION_BUS_ADDRESS DISPLAY GOBIN GOPATH PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR" FCFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color" FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs buildpkg config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch pid-sandbox preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms sign split-log strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr" FFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color" GENTOO_MIRRORS="http://distfiles.gentoo.org" LANG="C.UTF8" LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0" MAKEOPTS="-j16" PKGDIR="/root/.packages" PORTAGE_CONFIGROOT="/" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git" PORTAGE_TMPDIR="/var/tmp" USE="acl amd64 berkdb bzip2 cli crypt dri elogind fortran gdbm iconv ipv6 jumbo-build libglvnd libtirpc multilib native-symlinks ncurses nls nptl openmp pam pcre readline seccomp split-usr ssl tcpd unicode xattr zlib" ABI_X86="64" ELIBC="glibc" KERNEL="linux" USERLAND="GNU" Unset: CC, CPPFLAGS, CTARGET, CXX, INSTALL_MASK, LC_ALL, LINGUAS, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS emerge history: 2021-01-14T02:02:40 >>> sys-libs/binutils-libs-2.35.1-r1 2021-01-14T02:02:46 >>> dev-lang/ocaml-4.11.1 2021-01-14T02:03:10 >>> dev-ml/ocamlbuild-0.14.0-r1 2021-01-14T02:03:10 >>> dev-ml/opam-installer-2.0.7 >>> Unpacking source... >>> Unpacking herdtools7-7.51.tar.gz to /var/tmp/portage/dev-util/herdtools7-7.51/work >>> Source unpacked in /var/tmp/portage/dev-util/herdtools7-7.51/work >>> Preparing source in /var/tmp/portage/dev-util/herdtools7-7.51/work/herdtools7-7.51 ... >>> Source prepared. >>> Configuring source in /var/tmp/portage/dev-util/herdtools7-7.51/work/herdtools7-7.51 ... >>> Source configured. >>> Compiling source in /var/tmp/portage/dev-util/herdtools7-7.51/work/herdtools7-7.51 ... 00:00:00 0 (0 ) STARTING -------- | 00:00:00 3 (0 ) lib/warn.mli.depends O------- | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/warn.cmi lib/warn.mli File "lib/warn.mli", line 21, characters 22-23: 21 | module Make : functor(O:Config) -> ^ Warning 67: unused functor parameter O. 00:00:00 8 (0 ) lib/mySet.cmi O-B---I- | 00:00:00 11 (0 ) herd/debug_herd.mli.depends O-b---i- | 00:00:00 16 (0 ) lib/tblRename.mli.depends O-b---i- / 00:00:00 21 (0 ) lib/AST.mli.depends O-b---i- / 00:00:00 26 (0 ) lib/Archs.cmo O-B--Di- / 00:00:00 31 (0 ) lib/mySys.mli.depends O-b--di- / 00:00:00 35 (0 ) lib/endian.cmi O-B--dI- / 00:00:00 39 (0 ) herd/prettyConf.mli.depends O-b--di- - 00:00:00 44 (0 ) herd/speed.mli.depends O-b--di- - 00:00:00 50 (0 ) lib/pos.mli.depends O-b--di- - + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/lexUtils.cmi lib/lexUtils.mli File "lib/lexUtils.mli", line 31, characters 23-24: 31 | module Make : functor (O:Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:00 55 (0 ) lib/BellModel.mli.depends O-b--di- - 00:00:00 58 (0 ) lib/myMap.cmo O-B--Di- - 00:00:00 62 (0 ) lib/rel.cmi O-B--dI- \ 00:00:00 66 (0 ) lib/genParser.mli.depends O-b--di- \ 00:00:00 70 (0 ) lib/parsedConstant.ml.depends O-b--di- \ 00:00:00 75 (0 ) lib/constant.cmi O-B--dI- \ 00:00:01 82 (0 ) lib/constrGen.cmi O-B--dI- | 00:00:01 87 (0 ) lib/CType.cmi O-B--dI- | 00:00:01 92 (0 ) lib/name.cmi O-B--dI- | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/splitter.cmi lib/splitter.mli File "lib/splitter.mli", line 58, characters 23-24: 58 | module Make : functor (O:Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:01 98 (0 ) herd/action.mli.depends O-b--di- | 00:00:01 102 (0 ) lib/misc.cmi O-B--dI- | 00:00:01 107 (0 ) herd/value.cmi O-B--dI- / 00:00:01 108 (0 ) herd/archExtra_herd.cmo O-B--Di- / 00:00:01 112 (0 ) herd/branch.ml.depends O-b--di- / 00:00:01 115 (0 ) herd/action.cmi O-B--dI- - 00:00:01 120 (0 ) herd/valconstraint.cmo O-B--Di- - 00:00:01 120 (0 ) herd/valconstraint.cmo O-B--Di- - 00:00:01 120 (0 ) herd/valconstraint.cmo O-B--Di- \ 00:00:01 121 (0 ) herd/monad.cmi O-B--dI- \ 00:00:01 128 (0 ) herd/test_herd.cmi O-B--dI- \ 00:00:02 128 (0 ) herd/test_herd.cmi O-B--dI- | 00:00:02 128 (0 ) herd/test_herd.cmi O-B--dI- | 00:00:02 128 (0 ) herd/test_herd.cmi O-B--dI- / 00:00:02 128 (0 ) herd/test_herd.cmi O-B--dI- / 00:00:02 129 (0 ) herd/semExtra.cmo O-B--Di- / 00:00:02 129 (0 ) herd/semExtra.cmo O-B--Di- - 00:00:02 129 (0 ) herd/semExtra.cmo O-B--Di- - 00:00:02 129 (0 ) herd/semExtra.cmo O-B--Di- \ 00:00:02 129 (0 ) herd/semExtra.cmo O-B--Di- \ 00:00:02 129 (0 ) herd/semExtra.cmo O-B--Di- \ 00:00:03 129 (0 ) herd/semExtra.cmo O-B--Di- | 00:00:03 129 (0 ) herd/semExtra.cmo O-B--Di- | 00:00:03 129 (0 ) herd/semExtra.cmo O-B--Di- / 00:00:03 129 (0 ) herd/semExtra.cmo O-B--Di- / 00:00:03 129 (0 ) herd/semExtra.cmo O-B--Di- / 00:00:03 130 (0 ) lib/testHash.mli.depends O-b--di- - 00:00:03 134 (0 ) herd/mem.ml.depends O-b--di- - 00:00:03 138 (0 ) herd/show.mli.depends O-b--di- - + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I herd -I jingle -I tools -I lib -I litmus -I gen -o herd/show.cmi herd/show.mli File "herd/show.mli", line 19, characters 23-24: 19 | module Make : functor (O:PrettyConf.S) -> sig ^ Warning 67: unused functor parameter O. 00:00:03 140 (0 ) herd/show.cmi O-B--dI- - 00:00:03 141 (0 ) herd/sem.cmi O-B--dI- \ 00:00:03 141 (0 ) herd/sem.cmi O-B--dI- \ 00:00:04 141 (0 ) herd/sem.cmi O-B--dI- | 00:00:04 143 (0 ) herd/Pretty.cmo O-B--Di- | 00:00:04 143 (0 ) herd/Pretty.cmo O-B--Di- | 00:00:04 143 (0 ) herd/Pretty.cmo O-B--Di- / 00:00:04 143 (0 ) herd/Pretty.cmo O-B--Di- / 00:00:04 143 (0 ) herd/Pretty.cmo O-B--Di- - 00:00:04 143 (0 ) herd/Pretty.cmo O-B--Di- - 00:00:04 143 (0 ) herd/Pretty.cmo O-B--Di- - 00:00:04 143 (0 ) herd/Pretty.cmo O-B--Di- \ 00:00:04 143 (0 ) herd/Pretty.cmo O-B--Di- \ 00:00:04 144 (0 ) lib/outMapping.mli.depends O-b--di- \ 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- | 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- | 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- | 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- / 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- / 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- - 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- - 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- - 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- \ 00:00:05 150 (0 ) herd/XXXMem.cmi O-B--dI- \ 00:00:06 150 (0 ) herd/XXXMem.cmi O-B--dI- | 00:00:06 150 (0 ) herd/XXXMem.cmi O-B--dI- | 00:00:06 150 (0 ) herd/XXXMem.cmi O-B--dI- | 00:00:06 150 (0 ) herd/XXXMem.cmi O-B--dI- / 00:00:06 150 (0 ) herd/XXXMem.cmi O-B--dI- / 00:00:06 150 (0 ) herd/XXXMem.cmi O-B--dI- - + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/genParser.cmi lib/genParser.mli File "lib/genParser.mli", line 63, characters 5-6: 63 | (C:Config) ^ Warning 67: unused functor parameter C. File "lib/genParser.mli", line 65, characters 5-6: 65 | (L:LexParse with type instruction = A.parsedPseudo) : ^ Warning 67: unused functor parameter L. 00:00:06 154 (0 ) herd/top_herd.cmo O-B--Di- - 00:00:06 154 (0 ) herd/top_herd.cmo O-B--Di- \ 00:00:06 154 (0 ) herd/top_herd.cmo O-B--Di- \ 00:00:06 154 (0 ) herd/top_herd.cmo O-B--Di- \ 00:00:07 154 (0 ) herd/top_herd.cmo O-B--Di- | 00:00:07 154 (0 ) herd/top_herd.cmo O-B--Di- | 00:00:07 154 (0 ) herd/top_herd.cmo O-B--Di- / 00:00:07 154 (0 ) herd/top_herd.cmo O-B--Di- / 00:00:07 154 (0 ) herd/top_herd.cmo O-B--Di- / 00:00:07 154 (0 ) herd/top_herd.cmo O-B--Di- - 00:00:07 154 (0 ) herd/top_herd.cmo O-B--Di- - 00:00:07 154 (0 ) herd/top_herd.cmo O-B--Di- - 00:00:07 157 (0 ) lib/interpreter.ml.depends O-b--di- \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/parseModel.cmi lib/parseModel.mli File "lib/parseModel.mli", line 24, characters 23-24: 24 | module Make : functor (O:Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:07 161 (0 ) lib/interpreter.cmo O-B--Di- \ 00:00:08 161 (0 ) lib/interpreter.cmo O-B--Di- | 00:00:08 162 (0 ) lib/BellInterpreter.cmo O-B--Di- | 00:00:08 170 (0 ) lib/mySys.cmi O-B--dI- | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/checkName.cmi lib/checkName.mli File "lib/checkName.mli", line 28, characters 4-5: 28 | (I:sig ^ Warning 67: unused functor parameter I. + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/lexRename.cmi lib/lexRename.mli File "lib/lexRename.mli", line 25, characters 22-23: 25 | module Make : functor(O:Config) -> ^ Warning 67: unused functor parameter O. + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/myLib.cmi lib/myLib.mli File "lib/myLib.mli", line 24, characters 11-12: 24 | functor (C:Config) -> ^ Warning 67: unused functor parameter C. 00:00:08 175 (0 ) herd/Version_herd.cmo O-B--Di- | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I herd -I jingle -I tools -I lib -I litmus -I gen -o herd/parseTest.cmi herd/parseTest.mli File "herd/parseTest.mli", line 36, characters 11-12: 36 | functor (C : Config) -> ^ Warning 67: unused functor parameter C. 00:00:08 176 (0 ) herd/herd.cmo O-B--Di- / 00:00:08 179 (0 ) lib/misc.cmx ONb--di- / 00:00:08 182 (0 ) lib/lexRename.mll Onb--di- / 00:00:08 187 (0 ) lib/pos.ml.depends Onb--di- - 00:00:08 190 (0 ) lib/myMap.cmx ONb--di- - 00:00:08 194 (0 ) lib/tblRename.cmx ONb--di- - 00:00:08 198 (0 ) lib/splitter.mll Onb--di- - 00:00:08 201 (0 ) lib/lexUtils.mll Onb--di- \ 00:00:08 206 (0 ) lib/mySet.ml.depends Onb--di- \ 00:00:08 209 (0 ) lib/machSize.cmx ONb--di- \ 00:00:08 212 (0 ) lib/mySet.cmx ONb--di- \ 00:00:09 217 (0 ) lib/CType.ml.depends Onb--di- | 00:00:09 220 (0 ) lib/miscParser.cmx ONb--di- | 00:00:09 221 (0 ) lib/splitter.cmx ONb--di- | 00:00:09 227 (0 ) lib/readNames.cmx ONb--di- / 00:00:09 231 (0 ) herd/lexConf_herd.mll Onb--di- / 00:00:09 232 (0 ) herd/lexConf_herd.ml.depends Onb--di- / 00:00:09 233 (0 ) lib/endian.cmx ONb--di- - 00:00:09 237 (0 ) herd/variant.ml.depends Onb--di- - 00:00:09 240 (0 ) lib/txtLoc.ml.depends Onb--di- - 00:00:09 243 (0 ) herd/opts.ml.depends Onb--di- - 00:00:09 246 (0 ) herd/model.cmx ONb--di- \ 00:00:09 249 (0 ) herd/splines.ml.depends Onb--di- \ 00:00:09 252 (0 ) herd/speed.ml.depends Onb--di- \ 00:00:09 257 (0 ) Version.cmx ONb--di- \ 00:00:09 261 (0 ) herd/Version_herd.cmx ONb--di- \ 00:00:10 264 (0 ) lib/genParser.ml.depends Onb--di- | 00:00:10 268 (0 ) lib/lexOutMapping.mli.depends Onb--di- | 00:00:10 271 (0 ) lib/lexOutMapping.cmx ONb--di- | 00:00:10 275 (0 ) lib/stateParser.mly Onb--di- | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/stateLexer.cmi lib/stateLexer.mli File "lib/stateLexer.mli", line 19, characters 23-24: 19 | module Make : functor (O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:10 279 (0 ) lib/stateParser.ml.depends Onb--di- | 00:00:10 280 (0 ) lib/stateParser.cmx ONb--di- / 00:00:10 283 (0 ) lib/pseudo.cmx ONb--di- / 00:00:10 286 (0 ) lib/testHash.cmx ONb--di- / 00:00:10 291 (0 ) lib/modelParser.mli.depends Onb--di- / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/modelLexer.cmi lib/modelLexer.mli File "lib/modelLexer.mli", line 19, characters 22-23: 19 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:10 294 (0 ) lib/modelParser.ml.depends Onb--di- - 00:00:10 298 (0 ) lib/ASTUtils.cmx ONb--di- - 00:00:10 299 (0 ) lib/modelParser.cmx ONb--di- - 00:00:10 301 (0 ) lib/modelLexer.cmx ONb--di- \ 00:00:10 305 (0 ) lib/metaConst.mli.depends Onb--di- \ 00:00:10 307 (0 ) lib/AArch64Base.cmo OnB--Di- \ 00:00:11 308 (0 ) herd/AArch64Arch_herd.cmo OnB--Di- | 00:00:11 311 (0 ) lib/op.ml.depends Onb--di- | 00:00:11 315 (0 ) herd/archExtra_herd.cmx ONb--di- | 00:00:11 317 (0 ) lib/AArch64Lexer.ml.depends Onb--di- / 00:00:11 321 (0 ) lib/AArch64Parser.cmi OnB--dI- / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/AArch64Lexer.cmi lib/AArch64Lexer.mli File "lib/AArch64Lexer.mli", line 19, characters 22-23: 19 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:11 324 (0 ) lib/AArch64Parser.cmx ONb--di- / 00:00:11 328 (0 ) herd/modelUtils.mli.depends Onb--di- / 00:00:11 329 (0 ) herd/modelUtils.cmi OnB--dI- - + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I herd -I jingle -I tools -I lib -I litmus -I gen -o herd/modelUtils.cmi herd/modelUtils.mli File "herd/modelUtils.mli", line 19, characters 23-24: 19 | module Make : functor (O:Model.Config) -> functor (S:SemExtra.S) -> sig ^ Warning 67: unused functor parameter O. 00:00:11 331 (0 ) herd/machModelChecker.cmo OnB--Di- - 00:00:11 331 (0 ) herd/machModelChecker.cmo OnB--Di- - 00:00:11 331 (0 ) herd/machModelChecker.cmo OnB--Di- \ 00:00:11 331 (0 ) herd/machModelChecker.cmo OnB--Di- \ 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- | 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- | 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- | 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- / 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- / 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- - 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- - 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- - 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- \ 00:00:12 332 (0 ) herd/AArch64Mem.cmo OnB--Di- \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I herd -I jingle -I tools -I lib -I litmus -I gen -o herd/AArch64Mem.cmo herd/AArch64Mem.ml File "herd/AArch64Mem.ml", line 24, characters 5-6: 24 | (B:AArch64Barrier.S with type a = S.barrier) ^ Warning 60: unused module B. 00:00:12 336 (0 ) lib/innerRel.ml.depends Onb--di- \ 00:00:12 338 (0 ) lib/rel.cmx ONb--di- \ 00:00:13 339 (0 ) lib/innerRel.cmx ONb--di- | 00:00:13 341 (0 ) lib/StringRel.cmx ONb--di- | 00:00:13 342 (0 ) lib/BellModel.cmx ONb--di- | 00:00:13 344 (0 ) lib/parseModel.cmx ONb--di- | 00:00:13 347 (0 ) herd/dir.ml.depends Onb--di- / 00:00:13 351 (0 ) lib/IntMap.cmi OnB--dI- / 00:00:13 355 (0 ) lib/intOrd.cmx ONb--di- / 00:00:13 358 (0 ) herd/partition.cmx ONb--di- / 00:00:13 360 (0 ) herd/valconstraint.cmx ONb--di- - 00:00:13 360 (0 ) herd/valconstraint.cmx ONb--di- - 00:00:13 360 (0 ) herd/valconstraint.cmx ONb--di- - 00:00:13 360 (0 ) herd/valconstraint.cmx ONb--di- \ 00:00:13 362 (0 ) herd/loader.ml.depends Onb--di- \ 00:00:13 366 (0 ) lib/symbReg.mli.depends Onb--di- \ 00:00:14 369 (0 ) lib/symbReg.cmx ONb--di- | 00:00:14 373 (0 ) herd/test_herd.cmx ONb--di- | 00:00:14 373 (0 ) herd/test_herd.cmx ONb--di- | 00:00:14 373 (0 ) herd/test_herd.cmx ONb--di- / 00:00:14 373 (0 ) herd/test_herd.cmx ONb--di- / 00:00:14 373 (0 ) herd/test_herd.cmx ONb--di- / 00:00:14 374 (0 ) lib/IntMap.cmx ONb--di- - 00:00:14 375 (0 ) herd/semExtra.cmx ONb--di- - 00:00:14 375 (0 ) herd/semExtra.cmx ONb--di- - 00:00:14 375 (0 ) herd/semExtra.cmx ONb--di- \ 00:00:14 375 (0 ) herd/semExtra.cmx ONb--di- \ 00:00:15 375 (0 ) herd/semExtra.cmx ONb--di- | 00:00:15 375 (0 ) herd/semExtra.cmx ONb--di- | 00:00:15 375 (0 ) herd/semExtra.cmx ONb--di- | 00:00:15 375 (0 ) herd/semExtra.cmx ONb--di- / 00:00:15 375 (0 ) herd/semExtra.cmx ONb--di- / 00:00:15 375 (0 ) herd/semExtra.cmx ONb--di- - 00:00:15 375 (0 ) herd/semExtra.cmx ONb--di- - 00:00:15 378 (0 ) herd/handler.cmx ONb--di- - 00:00:15 380 (0 ) herd/show.cmx ONb--di- \ 00:00:15 381 (0 ) herd/Pretty.cmx ONb--di- \ 00:00:16 381 (0 ) herd/Pretty.cmx ONb--di- | 00:00:16 381 (0 ) herd/Pretty.cmx ONb--di- | 00:00:16 381 (0 ) herd/Pretty.cmx ONb--di- | 00:00:16 381 (0 ) herd/Pretty.cmx ONb--di- / 00:00:16 381 (0 ) herd/Pretty.cmx ONb--di- / 00:00:16 381 (0 ) herd/Pretty.cmx ONb--di- - 00:00:16 381 (0 ) herd/Pretty.cmx ONb--di- - 00:00:16 381 (0 ) herd/Pretty.cmx ONb--di- - 00:00:16 381 (0 ) herd/Pretty.cmx ONb--di- \ 00:00:16 383 (0 ) herd/memUtils.cmx ONb--di- \ 00:00:17 383 (0 ) herd/memUtils.cmx ONb--di- | 00:00:17 383 (0 ) herd/memUtils.cmx ONb--di- | 00:00:17 383 (0 ) herd/memUtils.cmx ONb--di- / 00:00:17 383 (0 ) herd/memUtils.cmx ONb--di- / 00:00:17 383 (0 ) herd/memUtils.cmx ONb--di- / 00:00:17 385 (0 ) herd/modelUtils.cmx ONb--di- - 00:00:17 385 (0 ) herd/modelUtils.cmx ONb--di- - 00:00:17 385 (0 ) herd/modelUtils.cmx ONb--di- - 00:00:17 385 (0 ) herd/modelUtils.cmx ONb--di- \ 00:00:17 386 (0 ) herd/machModelChecker.cmx ONb--di- \ 00:00:18 386 (0 ) herd/machModelChecker.cmx ONb--di- | 00:00:18 386 (0 ) herd/machModelChecker.cmx ONb--di- | 00:00:18 386 (0 ) herd/machModelChecker.cmx ONb--di- / 00:00:18 386 (0 ) herd/machModelChecker.cmx ONb--di- / 00:00:18 389 (0 ) herd/machAction.cmo OnB--Di- - 00:00:18 390 (0 ) herd/AArch64Sem.cmo OnB--Di- - 00:00:18 390 (0 ) herd/AArch64Sem.cmo OnB--Di- - 00:00:18 390 (0 ) herd/AArch64Sem.cmo OnB--Di- \ 00:00:18 390 (0 ) herd/AArch64Sem.cmo OnB--Di- \ 00:00:19 390 (0 ) herd/AArch64Sem.cmo OnB--Di- | 00:00:19 390 (0 ) herd/AArch64Sem.cmo OnB--Di- | 00:00:19 390 (0 ) herd/AArch64Sem.cmo OnB--Di- | 00:00:19 391 (0 ) herd/AArch64Arch_herd.cmx ONb--di- / 00:00:19 392 (0 ) herd/machAction.cmx ONb--di- / 00:00:19 395 (0 ) lib/ARMBase.cmo OnB--Di- - 00:00:19 396 (0 ) herd/ARMArch_herd.cmo OnB--Di- - 00:00:19 397 (0 ) lib/ARMBase.cmx ONb--di- - 00:00:19 400 (0 ) lib/ARMLexer.mli.depends Onb--di- \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/ARMLexer.cmi lib/ARMLexer.mli File "lib/ARMLexer.mli", line 19, characters 22-23: 19 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:19 405 (0 ) lib/ARMParser.ml.depends Onb--di- \ 00:00:19 406 (0 ) lib/ARMParser.cmx ONb--di- \ 00:00:19 410 (0 ) herd/ARMBarrier.cmi OnB--dI- \ 00:00:20 418 (0 ) herd/X86Barrier.cmi OnB--dI- | 00:00:20 422 (0 ) herd/SelaEvent.cmo OnB--Di- | 00:00:20 422 (0 ) herd/SelaEvent.cmo OnB--Di- / 00:00:20 423 (0 ) herd/minimal.ml.depends Onb--di- / 00:00:20 425 (0 ) herd/minimal.cmo OnB--Di- / 00:00:20 425 (0 ) herd/minimal.cmo OnB--Di- - 00:00:20 425 (0 ) herd/minimal.cmo OnB--Di- - 00:00:20 425 (0 ) herd/minimal.cmo OnB--Di- - 00:00:20 425 (0 ) herd/minimal.cmo OnB--Di- \ 00:00:20 425 (0 ) herd/minimal.cmo OnB--Di- \ 00:00:21 425 (0 ) herd/minimal.cmo OnB--Di- | 00:00:21 425 (0 ) herd/minimal.cmo OnB--Di- | 00:00:21 425 (0 ) herd/minimal.cmo OnB--Di- | 00:00:21 425 (0 ) herd/minimal.cmo OnB--Di- / 00:00:21 426 (0 ) herd/ARMMem.cmo OnB--Di- / 00:00:21 426 (0 ) herd/ARMMem.cmo OnB--Di- - 00:00:21 426 (0 ) herd/ARMMem.cmo OnB--Di- - 00:00:21 426 (0 ) herd/ARMMem.cmo OnB--Di- \ 00:00:21 426 (0 ) herd/ARMMem.cmo OnB--Di- \ 00:00:21 426 (0 ) herd/ARMMem.cmo OnB--Di- \ 00:00:22 426 (0 ) herd/ARMMem.cmo OnB--Di- | 00:00:22 426 (0 ) herd/ARMMem.cmo OnB--Di- | 00:00:22 426 (0 ) herd/ARMMem.cmo OnB--Di- / 00:00:22 426 (0 ) herd/ARMMem.cmo OnB--Di- / 00:00:22 426 (0 ) herd/ARMMem.cmo OnB--Di- / 00:00:22 426 (0 ) herd/ARMMem.cmo OnB--Di- - 00:00:22 426 (0 ) herd/ARMMem.cmo OnB--Di- - 00:00:22 426 (0 ) herd/ARMMem.cmo OnB--Di- \ 00:00:22 428 (0 ) herd/AllBarrier.cmx ONb--di- \ 00:00:22 429 (0 ) herd/SelaEvent.cmx ONb--di- \ 00:00:23 429 (0 ) herd/SelaEvent.cmx ONb--di- | 00:00:23 429 (0 ) herd/SelaEvent.cmx ONb--di- | 00:00:23 431 (0 ) herd/minimal.cmx ONb--di- | 00:00:23 431 (0 ) herd/minimal.cmx ONb--di- / 00:00:23 431 (0 ) herd/minimal.cmx ONb--di- / 00:00:23 431 (0 ) herd/minimal.cmx ONb--di- - 00:00:23 431 (0 ) herd/minimal.cmx ONb--di- - 00:00:23 431 (0 ) herd/minimal.cmx ONb--di- - 00:00:23 431 (0 ) herd/minimal.cmx ONb--di- \ 00:00:23 431 (0 ) herd/minimal.cmx ONb--di- \ 00:00:24 431 (0 ) herd/minimal.cmx ONb--di- | 00:00:24 431 (0 ) herd/minimal.cmx ONb--di- | 00:00:24 432 (0 ) herd/ARMSem.ml.depends Onb--di- | 00:00:24 433 (0 ) herd/ARMSem.cmo OnB--Di- / 00:00:24 433 (0 ) herd/ARMSem.cmo OnB--Di- / 00:00:24 433 (0 ) herd/ARMSem.cmo OnB--Di- / 00:00:24 433 (0 ) herd/ARMSem.cmo OnB--Di- - 00:00:24 433 (0 ) herd/ARMSem.cmo OnB--Di- - 00:00:24 433 (0 ) herd/ARMSem.cmo OnB--Di- \ 00:00:24 433 (0 ) herd/ARMSem.cmo OnB--Di- \ 00:00:24 434 (0 ) herd/ARMArch_herd.cmx ONb--di- \ 00:00:25 437 (0 ) lib/BellBase.cmo OnB--Di- | 00:00:25 438 (0 ) herd/BellArch_herd.cmo OnB--Di- | 00:00:25 439 (0 ) lib/BellBase.cmx ONb--di- | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I herd -I jingle -I tools -I lib -I litmus -I gen -o herd/BellCheck.cmi herd/BellCheck.mli File "herd/BellCheck.mli", line 20, characters 9-10: 20 | functor (O:sig val debug : bool val compat :bool end) -> ^ Warning 67: unused functor parameter O. File "herd/BellCheck.mli", line 23, characters 9-10: 23 | (C:sig ^ Warning 67: unused functor parameter C. 00:00:25 443 (0 ) lib/BellLexer.mll Onb--di- | 00:00:25 447 (0 ) lib/LISAParser.mli.depends Onb--di- / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/BellLexer.cmi lib/BellLexer.mli File "lib/BellLexer.mli", line 19, characters 22-23: 19 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:25 451 (0 ) lib/LISAParser.cmx ONb--di- / 00:00:25 451 (0 ) lib/LISAParser.cmx ONb--di- / 00:00:25 453 (0 ) herd/BellMem.cmo OnB--Di- - 00:00:25 453 (0 ) herd/BellMem.cmo OnB--Di- - 00:00:25 453 (0 ) herd/BellMem.cmo OnB--Di- - 00:00:25 453 (0 ) herd/BellMem.cmo OnB--Di- \ 00:00:25 453 (0 ) herd/BellMem.cmo OnB--Di- \ 00:00:26 453 (0 ) herd/BellMem.cmo OnB--Di- | 00:00:26 453 (0 ) herd/BellMem.cmo OnB--Di- | 00:00:26 453 (0 ) herd/BellMem.cmo OnB--Di- | 00:00:26 455 (0 ) herd/BellAction.ml.depends Onb--di- / 00:00:26 456 (0 ) herd/BellAction.cmo OnB--Di- / 00:00:26 457 (0 ) herd/BellSem.cmo OnB--Di- / 00:00:26 457 (0 ) herd/BellSem.cmo OnB--Di- - 00:00:26 457 (0 ) herd/BellSem.cmo OnB--Di- - 00:00:26 457 (0 ) herd/BellSem.cmo OnB--Di- \ 00:00:26 457 (0 ) herd/BellSem.cmo OnB--Di- \ 00:00:26 457 (0 ) herd/BellSem.cmo OnB--Di- \ 00:00:27 458 (0 ) herd/BellArch_herd.cmx ONb--di- | 00:00:27 459 (0 ) herd/BellAction.cmx ONb--di- | 00:00:27 463 (0 ) lib/memOrderOrAnnot.mli.depends Onb--di- | 00:00:27 466 (0 ) lib/CBase.cmo OnB--Di- / 00:00:27 467 (0 ) herd/CArch_herd.cmo OnB--Di- / 00:00:27 470 (0 ) lib/memOrder.cmx ONb--di- / 00:00:27 472 (0 ) lib/CBase.cmx ONb--di- - 00:00:27 476 (0 ) lib/dumpCAst.mli.depends Onb--di- - 00:00:27 480 (0 ) lib/CGenParser_lib.cmo OnB--Di- - 00:00:27 486 (0 ) lib/dumpCAst.cmx ONb--di- \ 00:00:27 489 (0 ) lib/CLexer.mli.depends Onb--di- \ 00:00:27 493 (0 ) lib/CLexer.cmi OnB--dI- \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/CLexer.cmi lib/CLexer.mli File "lib/CLexer.mli", line 17, characters 22-23: 17 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:27 495 (0 ) lib/CParser.cmx ONb--di- \ 00:00:28 497 (0 ) herd/CMem.cmo OnB--Di- | 00:00:28 497 (0 ) herd/CMem.cmo OnB--Di- | 00:00:28 497 (0 ) herd/CMem.cmo OnB--Di- / 00:00:28 497 (0 ) herd/CMem.cmo OnB--Di- / 00:00:28 497 (0 ) herd/CMem.cmo OnB--Di- - 00:00:28 497 (0 ) herd/CMem.cmo OnB--Di- - 00:00:28 497 (0 ) herd/CMem.cmo OnB--Di- - 00:00:28 497 (0 ) herd/CMem.cmo OnB--Di- \ 00:00:28 500 (0 ) herd/CAction.cmo OnB--Di- \ 00:00:28 500 (0 ) herd/CAction.cmo OnB--Di- \ 00:00:29 501 (0 ) herd/CSem.cmo OnB--Di- | 00:00:29 501 (0 ) herd/CSem.cmo OnB--Di- | 00:00:29 501 (0 ) herd/CSem.cmo OnB--Di- / 00:00:29 501 (0 ) herd/CSem.cmo OnB--Di- / 00:00:29 501 (0 ) herd/CSem.cmo OnB--Di- / 00:00:29 501 (0 ) herd/CSem.cmo OnB--Di- - 00:00:29 501 (0 ) herd/CSem.cmo OnB--Di- - 00:00:29 502 (0 ) herd/CArch_herd.cmx ONb--di- - 00:00:29 503 (0 ) herd/CAction.cmx ONb--di- \ 00:00:29 506 (0 ) herd/symbValue.mli.depends Onb--di- \ 00:00:29 510 (0 ) herd/symbValue.ml.depends Onb--di- \ 00:00:29 512 (0 ) herd/symbValue.cmx ONb--di- \ 00:00:30 513 (0 ) lib/int64Value.ml.depends Onb--di- | 00:00:30 516 (0 ) lib/int64Value.cmo OnB--Di- | 00:00:30 518 (0 ) herd/MIPSArch_herd.ml.depends Onb--di- | 00:00:30 520 (0 ) lib/MIPSBase.cmo OnB--Di- | 00:00:30 521 (0 ) herd/MIPSArch_herd.cmo OnB--Di- / 00:00:30 522 (0 ) lib/MIPSBase.cmx ONb--di- / 00:00:30 527 (0 ) lib/MIPSParser.mli.depends Onb--di- / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/MIPSLexer.cmi lib/MIPSLexer.mli File "lib/MIPSLexer.mli", line 19, characters 22-23: 19 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:30 530 (0 ) lib/MIPSParser.ml.depends Onb--di- / 00:00:30 531 (0 ) lib/MIPSParser.cmx ONb--di- / 00:00:30 533 (0 ) herd/MIPSMem.cmo OnB--Di- - 00:00:30 533 (0 ) herd/MIPSMem.cmo OnB--Di- - 00:00:30 533 (0 ) herd/MIPSMem.cmo OnB--Di- \ 00:00:30 533 (0 ) herd/MIPSMem.cmo OnB--Di- \ 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- | 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- | 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- | 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- / 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- / 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- - 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- - 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- - 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- \ 00:00:31 533 (0 ) herd/MIPSMem.cmo OnB--Di- \ 00:00:32 535 (0 ) herd/MIPSSem.cmo OnB--Di- | 00:00:32 535 (0 ) herd/MIPSSem.cmo OnB--Di- | 00:00:32 535 (0 ) herd/MIPSSem.cmo OnB--Di- | 00:00:32 535 (0 ) herd/MIPSSem.cmo OnB--Di- / 00:00:32 535 (0 ) herd/MIPSSem.cmo OnB--Di- / 00:00:32 535 (0 ) herd/MIPSSem.cmo OnB--Di- - 00:00:32 535 (0 ) herd/MIPSSem.cmo OnB--Di- - 00:00:32 536 (0 ) herd/MIPSArch_herd.cmx ONb--di- - 00:00:32 539 (0 ) lib/PPCBase.cmo OnB--Di- \ 00:00:32 540 (0 ) herd/PPCArch_herd.cmo OnB--Di- \ 00:00:33 541 (0 ) lib/PPCBase.cmx ONb--di- | 00:00:33 542 (0 ) lib/PPCLexer.mll Onb--di- | 00:00:33 546 (0 ) lib/PPCParser.mli.depends Onb--di- | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/PPCLexer.cmi lib/PPCLexer.mli File "lib/PPCLexer.mli", line 19, characters 22-23: 19 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:33 550 (0 ) lib/PPCParser.cmx ONb--di- | 00:00:33 550 (0 ) lib/PPCParser.cmx ONb--di- / 00:00:33 552 (0 ) herd/PPCMem.cmo OnB--Di- / 00:00:33 552 (0 ) herd/PPCMem.cmo OnB--Di- / 00:00:33 552 (0 ) herd/PPCMem.cmo OnB--Di- - 00:00:33 552 (0 ) herd/PPCMem.cmo OnB--Di- - 00:00:33 552 (0 ) herd/PPCMem.cmo OnB--Di- \ 00:00:33 552 (0 ) herd/PPCMem.cmo OnB--Di- \ 00:00:33 552 (0 ) herd/PPCMem.cmo OnB--Di- \ 00:00:34 552 (0 ) herd/PPCMem.cmo OnB--Di- | 00:00:34 552 (0 ) herd/PPCMem.cmo OnB--Di- | 00:00:34 552 (0 ) herd/PPCMem.cmo OnB--Di- / 00:00:34 552 (0 ) herd/PPCMem.cmo OnB--Di- / 00:00:34 552 (0 ) herd/PPCMem.cmo OnB--Di- / 00:00:34 552 (0 ) herd/PPCMem.cmo OnB--Di- - 00:00:34 552 (0 ) herd/PPCMem.cmo OnB--Di- - 00:00:34 554 (0 ) herd/PPCSem.cmo OnB--Di- \ 00:00:34 554 (0 ) herd/PPCSem.cmo OnB--Di- \ 00:00:35 554 (0 ) herd/PPCSem.cmo OnB--Di- | 00:00:35 554 (0 ) herd/PPCSem.cmo OnB--Di- | 00:00:35 554 (0 ) herd/PPCSem.cmo OnB--Di- | 00:00:35 554 (0 ) herd/PPCSem.cmo OnB--Di- / 00:00:35 554 (0 ) herd/PPCSem.cmo OnB--Di- / 00:00:35 555 (0 ) herd/PPCArch_herd.cmx ONb--di- / 00:00:35 558 (0 ) lib/sign.mli.depends Onb--di- - 00:00:35 560 (0 ) lib/RISCVBase.cmo OnB--Di- - 00:00:35 561 (0 ) herd/RISCVArch_herd.cmo OnB--Di- - 00:00:35 562 (0 ) lib/RISCVBase.cmx ONb--di- \ 00:00:35 566 (0 ) lib/RISCVParser.mly Onb--di- \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/RISCVLexer.cmi lib/RISCVLexer.mli File "lib/RISCVLexer.mli", line 19, characters 22-23: 19 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:35 570 (0 ) lib/RISCVParser.ml.depends Onb--di- \ 00:00:35 572 (0 ) herd/RISCVMem.ml.depends Onb--di- \ 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- | 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- | 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- / 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- / 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- / 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- - 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- - 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- \ 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- \ 00:00:36 573 (0 ) herd/RISCVMem.cmo OnB--Di- \ 00:00:37 573 (0 ) herd/RISCVMem.cmo OnB--Di- | 00:00:37 574 (0 ) herd/RISCVSem.ml.depends Onb--di- | 00:00:37 575 (0 ) herd/RISCVSem.cmo OnB--Di- | 00:00:37 575 (0 ) herd/RISCVSem.cmo OnB--Di- / 00:00:37 575 (0 ) herd/RISCVSem.cmo OnB--Di- / 00:00:37 575 (0 ) herd/RISCVSem.cmo OnB--Di- - 00:00:37 575 (0 ) herd/RISCVSem.cmo OnB--Di- - 00:00:37 575 (0 ) herd/RISCVSem.cmo OnB--Di- - 00:00:37 575 (0 ) herd/RISCVSem.cmo OnB--Di- \ 00:00:37 576 (0 ) herd/RISCVArch_herd.cmx ONb--di- \ 00:00:38 577 (0 ) herd/mem.cmx ONb--di- | 00:00:38 577 (0 ) herd/mem.cmx ONb--di- | 00:00:38 577 (0 ) herd/mem.cmx ONb--di- | 00:00:38 577 (0 ) herd/mem.cmx ONb--di- / 00:00:38 577 (0 ) herd/mem.cmx ONb--di- / 00:00:38 577 (0 ) herd/mem.cmx ONb--di- - 00:00:38 577 (0 ) herd/mem.cmx ONb--di- - 00:00:38 577 (0 ) herd/mem.cmx ONb--di- - 00:00:38 577 (0 ) herd/mem.cmx ONb--di- \ 00:00:38 577 (0 ) herd/mem.cmx ONb--di- \ 00:00:39 577 (0 ) herd/mem.cmx ONb--di- | 00:00:39 577 (0 ) herd/mem.cmx ONb--di- | 00:00:39 577 (0 ) herd/mem.cmx ONb--di- | 00:00:39 577 (0 ) herd/mem.cmx ONb--di- / 00:00:39 577 (0 ) herd/mem.cmx ONb--di- / 00:00:39 579 (0 ) lib/X86Base.ml.depends Onb--di- / 00:00:39 580 (0 ) lib/X86Base.cmo OnB--Di- - 00:00:39 581 (0 ) herd/X86Arch_herd.cmo OnB--Di- - 00:00:39 582 (0 ) lib/X86Base.cmx ONb--di- - 00:00:39 585 (0 ) lib/X86Lexer.mli.depends Onb--di- - 00:00:39 589 (0 ) lib/X86Lexer.cmi OnB--dI- \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/X86Lexer.cmi lib/X86Lexer.mli File "lib/X86Lexer.mli", line 19, characters 22-23: 19 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:00:39 591 (0 ) lib/X86Parser.cmx ONb--di- \ 00:00:39 593 (0 ) herd/X86Mem.cmo OnB--Di- \ 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- | 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- | 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- / 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- / 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- / 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- - 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- - 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- \ 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- \ 00:00:40 593 (0 ) herd/X86Mem.cmo OnB--Di- \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I herd -I jingle -I tools -I lib -I litmus -I gen -o herd/X86Mem.cmo herd/X86Mem.ml File "herd/X86Mem.ml", line 27, characters 5-6: 27 | (B:X86Barrier.S with type a = S.barrier) ^ Warning 60: unused module B. 00:00:41 595 (0 ) herd/X86Sem.cmo OnB--Di- | 00:00:41 595 (0 ) herd/X86Sem.cmo OnB--Di- | 00:00:41 595 (0 ) herd/X86Sem.cmo OnB--Di- / 00:00:41 595 (0 ) herd/X86Sem.cmo OnB--Di- / 00:00:41 595 (0 ) herd/X86Sem.cmo OnB--Di- / 00:00:41 595 (0 ) herd/X86Sem.cmo OnB--Di- - 00:00:41 595 (0 ) herd/X86Sem.cmo OnB--Di- - 00:00:41 596 (0 ) herd/X86Arch_herd.cmx ONb--di- - 00:00:41 601 (0 ) herd/ARMMem.cmx ONb--di- \ 00:00:41 603 (0 ) herd/BellCheck.cmx ONb--di- \ 00:00:42 605 (0 ) herd/BellMem.cmx ONb--di- | 00:00:42 605 (0 ) herd/BellMem.cmx ONb--di- | 00:00:42 605 (0 ) herd/BellMem.cmx ONb--di- | 00:00:42 605 (0 ) herd/BellMem.cmx ONb--di- / 00:00:42 605 (0 ) herd/BellMem.cmx ONb--di- / 00:00:42 605 (0 ) herd/BellMem.cmx ONb--di- - 00:00:42 605 (0 ) herd/BellMem.cmx ONb--di- - + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I herd -I jingle -I tools -I lib -I litmus -I gen -o herd/AArch64Mem.cmx herd/AArch64Mem.ml File "herd/AArch64Mem.ml", line 24, characters 5-6: 24 | (B:AArch64Barrier.S with type a = S.barrier) ^ Warning 60: unused module B. 00:00:42 608 (0 ) lib/CLexer.cmx ONb--di- - 00:00:42 610 (0 ) herd/CSem.cmx ONb--di- \ 00:00:42 611 (0 ) lib/int32Value.cmx ONb--di- \ 00:00:42 613 (0 ) lib/MIPSLexer.cmx ONb--di- \ 00:00:43 614 (0 ) herd/MIPSMem.cmx ONb--di- | 00:00:43 614 (0 ) herd/MIPSMem.cmx ONb--di- | 00:00:43 614 (0 ) herd/MIPSMem.cmx ONb--di- | 00:00:43 614 (0 ) herd/MIPSMem.cmx ONb--di- / 00:00:43 615 (0 ) herd/MIPSSem.cmx ONb--di- / 00:00:43 616 (0 ) lib/PPCLexer.cmx ONb--di- / 00:00:43 617 (0 ) herd/PPCMem.cmx ONb--di- / 00:00:43 618 (0 ) herd/PPCSem.cmx ONb--di- - 00:00:43 619 (0 ) lib/RISCVLexer.cmx ONb--di- - 00:00:43 620 (0 ) herd/RISCVMem.cmx ONb--di- - 00:00:43 620 (0 ) herd/RISCVMem.cmx ONb--di- \ 00:00:43 620 (0 ) herd/RISCVMem.cmx ONb--di- \ 00:00:44 620 (0 ) herd/RISCVMem.cmx ONb--di- | 00:00:44 621 (0 ) herd/RISCVSem.cmx ONb--di- | 00:00:44 621 (0 ) herd/RISCVSem.cmx ONb--di- | 00:00:44 621 (0 ) herd/RISCVSem.cmx ONb--di- / 00:00:44 622 (0 ) herd/top_herd.cmx ONb--di- / 00:00:44 622 (0 ) herd/top_herd.cmx ONb--di- / 00:00:44 624 (0 ) herd/X86Mem.cmx ONb--di- - 00:00:44 624 (0 ) herd/X86Mem.cmx ONb--di- - 00:00:44 624 (0 ) herd/X86Mem.cmx ONb--di- \ 00:00:44 625 (0 ) herd/X86Sem.cmx ONb--di- \ 00:00:45 625 (0 ) herd/X86Sem.cmx ONb--di- | 00:00:45 625 (0 ) herd/X86Sem.cmx ONb--di- | 00:00:45 625 (0 ) herd/X86Sem.cmx ONb--di- | 00:00:45 625 (0 ) herd/X86Sem.cmx ONb--di- / 00:00:45 625 (0 ) herd/X86Sem.cmx ONb--di- / 00:00:45 625 (0 ) herd/X86Sem.cmx ONb--di- - 00:00:45 625 (0 ) herd/X86Sem.cmx ONb--di- - + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I herd -I jingle -I tools -I lib -I litmus -I gen -o herd/X86Mem.cmx herd/X86Mem.ml File "herd/X86Mem.ml", line 27, characters 5-6: 27 | (B:X86Barrier.S with type a = S.barrier) ^ Warning 60: unused module B. 00:00:45 626 (0 ) lib/BellInterpreter.cmx ONb--di- - 00:00:45 626 (0 ) lib/BellInterpreter.cmx ONb--di- \ 00:00:45 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:45 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:46 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:47 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:48 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:49 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:50 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:51 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- / 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- - 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:52 631 (0 ) lib/readBell.cmx ONb--di- \ 00:00:53 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:53 631 (0 ) lib/readBell.cmx ONb--di- | 00:00:53 632 (0 ) herd/herd.cmx ONb--di- | 00:00:53 633 (0 ) herd/herd.native ONbP-diL / 00:00:53 633 (0 ) herd/herd.native ONbP-diL / 00:00:53 633 (0 ) herd/herd.native ONbP-diL - 00:00:53 633 (0 ) herd/herd.native ONbP-diL - 00:00:53 633 (0 ) herd/herd.native ONbP-diL \ 00:00:53 637 (0 ) litmus/alloc.mli.depends Onbp-dil \ 00:00:53 642 (0 ) litmus/launch.mli.depends Onbp-dil \ 00:00:53 647 (0 ) litmus/affinity.cmi OnBp-dIl \ 00:00:53 650 (0 ) litmus/barrier.cmi OnBp-dIl \ 00:00:54 654 (0 ) litmus/launch.cmi OnBp-dIl | 00:00:54 658 (0 ) litmus/preload.mli.depends Onbp-dil | 00:00:54 663 (0 ) litmus/targetOS.mli.depends Onbp-dil | 00:00:54 672 (0 ) litmus/stride.cmi OnBp-dIl | 00:00:54 678 (0 ) litmus/top_litmus.mli.depends Onbp-dil | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/tar.cmi lib/tar.mli File "lib/tar.mli", line 46, characters 12-13: 46 | module Make(O:Option) : S ^ Warning 67: unused functor parameter O. 00:00:54 684 (0 ) litmus/Version_litmus.cmo OnBp-Dil / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/top_litmus.cmi litmus/top_litmus.mli File "litmus/top_litmus.mli", line 99, characters 11-13: 99 | module Top(OT:TopConfig)(Tar:Tar.S) : sig ^^ Warning 67: unused functor parameter OT. File "litmus/top_litmus.mli", line 99, characters 25-28: 99 | module Top(OT:TopConfig)(Tar:Tar.S) : sig ^^^ Warning 67: unused functor parameter Tar. 00:00:54 685 (0 ) litmus/litmus.cmo OnBp-Dil / 00:00:54 689 (0 ) lib/lexSplit.ml.depends Onbp-dil / 00:00:54 692 (0 ) lib/lexSplit.cmx ONbp-dil / 00:00:54 697 (0 ) litmus/driver.ml.depends Onbp-dil - 00:00:54 701 (0 ) litmus/myName.ml.depends Onbp-dil - 00:00:54 702 (0 ) litmus/lexConf_litmus.mll Onbp-dil - 00:00:54 706 (0 ) litmus/affinity.cmx ONbp-dil - 00:00:54 708 (0 ) litmus/barrier.cmx ONbp-dil \ 00:00:54 710 (0 ) litmus/crossrun.cmx ONbp-dil \ 00:00:54 712 (0 ) litmus/launch.cmx ONbp-dil \ 00:00:54 714 (0 ) litmus/mode.cmx ONbp-dil \ 00:00:54 717 (0 ) litmus/moreArch.cmx ONbp-dil \ 00:00:55 722 (0 ) litmus/stride.ml.depends Onbp-dil | 00:00:55 726 (0 ) litmus/align.cmx ONbp-dil | 00:00:55 735 (0 ) litmus/word.cmx ONbp-dil | 00:00:55 736 (0 ) litmus/option.cmx ONbp-dil | 00:00:55 738 (0 ) litmus/Version_litmus.cmx ONbp-dil / 00:00:55 742 (0 ) litmus/archExtra_litmus.ml.depends Onbp-dil / 00:00:55 746 (0 ) litmus/template.cmo OnBp-Dil / 00:00:55 747 (0 ) litmus/arch_litmus.mli.depends Onbp-dil / 00:00:55 748 (0 ) litmus/archExtra_litmus.cmo OnBp-Dil - 00:00:55 751 (0 ) litmus/arch_litmus.cmi OnBp-dIl - 00:00:55 752 (0 ) litmus/AArch64Arch_litmus.cmo OnBp-Dil - 00:00:55 754 (0 ) litmus/template.cmx ONbp-dil \ 00:00:55 755 (0 ) litmus/archExtra_litmus.cmx ONbp-dil \ 00:00:56 757 (0 ) litmus/AArch64Compile_litmus.cmo OnBp-Dil | 00:00:56 758 (0 ) litmus/AArch64Arch_litmus.cmx ONbp-dil | 00:00:56 760 (0 ) litmus/ARMArch_litmus.cmo OnBp-Dil / 00:00:56 762 (0 ) litmus/ARMCompile_litmus.cmo OnBp-Dil / 00:00:56 763 (0 ) litmus/ARMArch_litmus.cmx ONbp-dil / 00:00:56 766 (0 ) litmus/constr.ml.depends Onbp-dil / 00:00:56 770 (0 ) litmus/testDump.ml.depends Onbp-dil - 00:00:56 773 (0 ) litmus/simpleDumper_prime.cmo OnBp-Dil - 00:00:56 775 (0 ) litmus/XXXCompile_litmus.mli.depends Onbp-dil - 00:00:56 777 (0 ) litmus/XXXCompile_litmus.cmi OnBp-dIl - 00:00:56 781 (0 ) litmus/compile.cmo OnBp-Dil \ 00:00:56 781 (0 ) litmus/compile.cmo OnBp-Dil \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/indent.cmi litmus/indent.mli File "litmus/indent.mli", line 54, characters 23-27: 54 | module Make : functor (Chan : sig val hexa : bool val out : out_channel end) -> S ^^^^ Warning 67: unused functor parameter Chan. 00:00:57 786 (0 ) litmus/emitPrintf.cmi OnBp-dIl | 00:00:57 788 (0 ) litmus/skelUtil.cmo OnBp-Dil | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/skelUtil.cmo litmus/skelUtil.ml File "litmus/skelUtil.ml", line 85, characters 29-30: 85 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig ^ Warning 67: unused functor parameter O. File "litmus/skelUtil.ml", line 85, characters 52-55: 85 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig ^^^ Warning 67: unused functor parameter EPF. 00:00:57 789 (0 ) litmus/ASMLang.cmo OnBp-Dil | 00:00:57 791 (0 ) litmus/simpleDumper_prime.cmx ONbp-dil | 00:00:57 792 (0 ) litmus/testDump.cmx ONbp-dil / 00:00:57 793 (0 ) litmus/test_litmus.cmx ONbp-dil / 00:00:57 793 (0 ) litmus/test_litmus.cmx ONbp-dil / 00:00:57 796 (0 ) litmus/compile.cmx ONbp-dil - 00:00:57 796 (0 ) litmus/compile.cmx ONbp-dil - 00:00:57 798 (0 ) litmus/myName.cmx ONbp-dil - 00:00:57 801 (0 ) litmus/langUtils.cmx ONbp-dil \ 00:00:57 802 (0 ) litmus/skelUtil.cmx ONbp-dil \ 00:00:57 802 (0 ) litmus/skelUtil.cmx ONbp-dil \ + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/skelUtil.cmx litmus/skelUtil.ml File "litmus/skelUtil.ml", line 85, characters 29-30: 85 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig ^ Warning 67: unused functor parameter O. File "litmus/skelUtil.ml", line 85, characters 52-55: 85 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig ^^^ Warning 67: unused functor parameter EPF. 00:00:57 806 (0 ) litmus/CTarget.cmi OnBp-dIl \ 00:00:58 808 (0 ) litmus/CTarget.ml.depends Onbp-dil | 00:00:58 811 (0 ) litmus/lexHaveRcu.mli.depends Onbp-dil | 00:00:58 813 (0 ) litmus/CCompile_litmus.cmo OnBp-Dil | 00:00:58 816 (0 ) litmus/lexHaveRcu.cmx ONbp-dil | 00:00:58 818 (0 ) litmus/CGenParser_litmus.cmo OnBp-Dil / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/CGenParser_litmus.cmo litmus/CGenParser_litmus.ml File "litmus/CGenParser_litmus.ml", line 78, characters 5-6: 78 | (A:Arch_litmus.Base) ^ Warning 60: unused module A. 00:00:58 820 (0 ) litmus/CLang.cmo OnBp-Dil / 00:00:58 822 (0 ) litmus/CSymbReg.cmo OnBp-Dil / 00:00:58 826 (0 ) litmus/runUtils.ml.depends Onbp-dil / 00:00:58 829 (0 ) litmus/runUtils.cmo OnBp-Dil / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/dumpRun.cmi litmus/dumpRun.mli File "litmus/dumpRun.mli", line 49, characters 11-12: 49 | functor (O:Config) -> functor(Tar : Tar.S) -> functor (CT : OneTest) -> ^ Warning 67: unused functor parameter O. File "litmus/dumpRun.mli", line 49, characters 32-35: 49 | functor (O:Config) -> functor(Tar : Tar.S) -> functor (CT : OneTest) -> ^^^ Warning 67: unused functor parameter Tar. File "litmus/dumpRun.mli", line 49, characters 57-59: 49 | functor (O:Config) -> functor(Tar : Tar.S) -> functor (CT : OneTest) -> ^^ Warning 67: unused functor parameter CT. 00:00:58 831 (0 ) litmus/generateCrossDoc.ml.depends Onbp-dil - 00:00:58 833 (0 ) litmus/objUtil.ml.depends Onbp-dil - 00:00:58 835 (0 ) lib/tar.cmx ONbp-dil - 00:00:58 839 (0 ) litmus/runUtils.cmx ONbp-dil \ 00:00:58 842 (0 ) lib/hint.cmi OnBp-dIl \ 00:00:58 844 (0 ) lib/lexHint.ml.depends Onbp-dil \ 00:00:58 847 (0 ) lib/lexHint.cmx ONbp-dil \ 00:00:58 851 (0 ) litmus/litmusUtils.mli.depends Onbp-dil \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/litmusUtils.cmi litmus/litmusUtils.mli File "litmus/litmusUtils.mli", line 20, characters 22-23: 20 | module Hash : functor(O:Warn.Config) -> ^ Warning 67: unused functor parameter O. 00:00:59 854 (0 ) litmus/MIPSArch_litmus.cmo OnBp-Dil | 00:00:59 856 (0 ) litmus/MIPSCompile_litmus.cmo OnBp-Dil | 00:00:59 857 (0 ) litmus/MIPSArch_litmus.cmx ONbp-dil / 00:00:59 859 (0 ) litmus/PPCArch_litmus.cmo OnBp-Dil / 00:00:59 861 (0 ) litmus/PPCCompile_litmus.cmo OnBp-Dil / 00:00:59 862 (0 ) litmus/PPCArch_litmus.cmx ONbp-dil - 00:00:59 865 (0 ) litmus/compCondUtils.mli.depends Onbp-dil - 00:00:59 869 (0 ) litmus/lexFmt.mli.depends Onbp-dil - 00:00:59 873 (0 ) lib/IntSet.mli.depends Onbp-dil - 00:00:59 877 (0 ) litmus/topology.cmo OnBp-Dil \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/compCond.cmi litmus/compCond.mli File "litmus/compCond.mli", line 17, characters 22-23: 17 | module Make: functor (O:Indent.S) -> functor (I:CompCondUtils.I) -> ^ Warning 67: unused functor parameter O. 00:00:59 878 (0 ) litmus/preSi.cmo OnBp-Dil \ 00:00:59 878 (0 ) litmus/preSi.cmo OnBp-Dil \ 00:01:00 882 (0 ) litmus/switch.cmi OnBp-dIl | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/switch.cmi litmus/switch.mli File "litmus/switch.mli", line 21, characters 23-24: 21 | module Make : functor (O:Indent.S) -> functor (I:CompCondUtils.I) -> ^ Warning 67: unused functor parameter O. 00:01:00 886 (0 ) lib/hashcons.cmx ONbp-dil | 00:01:00 887 (0 ) litmus/switch.cmx ONbp-dil | 00:01:00 890 (0 ) litmus/lexFmt.cmx ONbp-dil / 00:01:00 893 (0 ) lib/IntSet.cmx ONbp-dil / 00:01:00 896 (0 ) litmus/topology.cmx ONbp-dil / 00:01:00 897 (0 ) litmus/RISCVArch_litmus.ml.depends Onbp-dil / 00:01:00 898 (0 ) litmus/RISCVArch_litmus.cmo OnBp-Dil - 00:01:00 900 (0 ) litmus/RISCVCompile_litmus.cmo OnBp-Dil - 00:01:00 901 (0 ) litmus/RISCVArch_litmus.cmx ONbp-dil - 00:01:00 904 (0 ) litmus/showcode.cmi OnBp-dIl \ 00:01:00 907 (0 ) litmus/showcode.ml.depends Onbp-dil \ 00:01:00 909 (0 ) litmus/skel.ml.depends Onbp-dil \ 00:01:00 915 (0 ) litmus/prefetch.cmi OnBp-dIl \ 00:01:01 916 (0 ) litmus/skel.cmo OnBp-Dil | 00:01:01 916 (0 ) litmus/skel.cmo OnBp-Dil | 00:01:01 916 (0 ) litmus/skel.cmo OnBp-Dil | 00:01:01 921 (0 ) litmus/defString.cmx ONbp-dil / 00:01:01 924 (0 ) litmus/X86Arch_litmus.ml.depends Onbp-dil / 00:01:01 925 (0 ) litmus/X86Arch_litmus.cmo OnBp-Dil / 00:01:01 927 (0 ) litmus/X86Compile_litmus.cmo OnBp-Dil / 00:01:01 928 (0 ) litmus/X86Arch_litmus.cmx ONbp-dil - 00:01:01 933 (0 ) litmus/CCompile_litmus.cmx ONbp-dil - 00:01:01 934 (0 ) litmus/CGenParser_litmus.cmx ONbp-dil - + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/CGenParser_litmus.cmx litmus/CGenParser_litmus.ml File "litmus/CGenParser_litmus.ml", line 78, characters 5-6: 78 | (A:Arch_litmus.Base) ^ Warning 60: unused module A. 00:01:01 938 (0 ) lib/hint.cmx ONbp-dil - 00:01:01 943 (0 ) litmus/RISCVCompile_litmus.cmx ONbp-dil \ 00:01:01 945 (0 ) litmus/skel.cmx ONbp-dil \ 00:01:02 946 (0 ) litmus/X86Compile_litmus.cmx ONbp-dil | 00:01:02 946 (0 ) litmus/X86Compile_litmus.cmx ONbp-dil | 00:01:02 946 (0 ) litmus/X86Compile_litmus.cmx ONbp-dil | 00:01:02 946 (0 ) litmus/X86Compile_litmus.cmx ONbp-dil / 00:01:02 947 (0 ) litmus/top_litmus.cmx ONbp-dil / 00:01:02 947 (0 ) litmus/top_litmus.cmx ONbp-dil - 00:01:02 947 (0 ) litmus/top_litmus.cmx ONbp-dil - 00:01:02 947 (0 ) litmus/top_litmus.cmx ONbp-dil \ 00:01:02 947 (0 ) litmus/top_litmus.cmx ONbp-dil \ 00:01:02 947 (0 ) litmus/top_litmus.cmx ONbp-dil \ 00:01:03 947 (0 ) litmus/top_litmus.cmx ONbp-dil | 00:01:03 947 (0 ) litmus/top_litmus.cmx ONbp-dil | 00:01:03 947 (0 ) litmus/top_litmus.cmx ONbp-dil / 00:01:03 948 (0 ) litmus/litmus.cmx ONbp-dil / 00:01:03 949 (0 ) litmus/litmus.native ONbP-diL / 00:01:03 949 (0 ) litmus/litmus.native ONbP-diL - 00:01:03 949 (0 ) litmus/litmus.native ONbP-diL - 00:01:03 949 (0 ) litmus/litmus.native ONbP-diL \ 00:01:03 950 (0 ) litmus/klitmus.ml.depends Onbp-dil \ 00:01:03 954 (0 ) litmus/rcu.mli.depends Onbp-dil \ 00:01:03 957 (0 ) litmus/KBarrier.cmi OnBp-dIl \ 00:01:04 961 (0 ) litmus/LISACompile.ml.depends Onbp-dil | 00:01:04 962 (0 ) litmus/LISAArch_litmus.cmo OnBp-Dil | 00:01:04 967 (0 ) litmus/LISALang.cmo OnBp-Dil | 00:01:04 967 (0 ) litmus/LISALang.cmo OnBp-Dil / 00:01:04 968 (0 ) litmus/top_klitmus.cmo OnBp-Dil / 00:01:04 968 (0 ) litmus/top_klitmus.cmo OnBp-Dil / 00:01:04 968 (0 ) litmus/top_klitmus.cmo OnBp-Dil - 00:01:04 968 (0 ) litmus/top_klitmus.cmo OnBp-Dil - 00:01:04 968 (0 ) litmus/top_klitmus.cmo OnBp-Dil \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/top_klitmus.cmo litmus/top_klitmus.ml File "litmus/top_klitmus.ml", line 244, characters 17-18: 244 | let module V = SymbConstant in ^ Warning 60: unused module V. 00:01:04 969 (0 ) litmus/klitmus.cmo OnBp-Dil \ 00:01:04 972 (0 ) litmus/kStride.ml.depends Onbp-dil \ 00:01:05 975 (0 ) litmus/KBarrier.cmx ONbp-dil | 00:01:05 977 (0 ) litmus/LISAArch_litmus.cmx ONbp-dil | 00:01:05 981 (0 ) litmus/LISALang.cmx ONbp-dil | 00:01:05 981 (0 ) litmus/LISALang.cmx ONbp-dil / 00:01:05 981 (0 ) litmus/LISALang.cmx ONbp-dil / 00:01:05 982 (0 ) litmus/top_klitmus.cmx ONbp-dil / 00:01:05 982 (0 ) litmus/top_klitmus.cmx ONbp-dil - 00:01:05 982 (0 ) litmus/top_klitmus.cmx ONbp-dil - 00:01:05 982 (0 ) litmus/top_klitmus.cmx ONbp-dil \ 00:01:05 982 (0 ) litmus/top_klitmus.cmx ONbp-dil \ + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I litmus -I jingle -I tools -I lib -I herd -I gen -o litmus/top_klitmus.cmx litmus/top_klitmus.ml File "litmus/top_klitmus.ml", line 244, characters 17-18: 244 | let module V = SymbConstant in ^ Warning 60: unused module V. 00:01:06 983 (0 ) litmus/klitmus.cmx ONbp-dil | 00:01:06 984 (0 ) litmus/klitmus.native ONbP-diL | 00:01:06 984 (0 ) litmus/klitmus.native ONbP-diL | 00:01:06 984 (0 ) litmus/klitmus.native ONbP-diL / 00:01:06 984 (0 ) litmus/klitmus.native ONbP-diL / 00:01:06 986 (0 ) tools/mfind.cmo OnBp-Dil / 00:01:06 987 (0 ) tools/mfind.cmx ONbp-dil - 00:01:06 988 (0 ) tools/mfind.native ONbP-diL - 00:01:06 988 (0 ) tools/mfind.native ONbP-diL - 00:01:06 992 (0 ) tools/hashedPair.mli.depends Onbp-dil \ 00:01:06 996 (0 ) tools/outMode.mli.depends Onbp-dil \ 00:01:06 1000 (0 ) tools/logState.cmi OnBp-dIl \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/logState.cmi tools/logState.mli File "tools/logState.mli", line 90, characters 12-13: 90 | module Make(O:sig val verbose : int end) : sig ^ Warning 67: unused functor parameter O. + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/lexLog_tools.cmi tools/lexLog_tools.mli File "tools/lexLog_tools.mli", line 25, characters 12-13: 25 | module Make(O:Config) : sig ^ Warning 67: unused functor parameter O. 00:01:06 1003 (0 ) tools/lexLog_tools.mll Onbp-dil \ 00:01:07 1007 (0 ) tools/hashedString.cmx ONbp-dil | 00:01:07 1009 (0 ) lib/extArray.ml.depends Onbp-dil | 00:01:07 1012 (0 ) tools/hashedPair.cmx ONbp-dil | 00:01:07 1013 (0 ) tools/logConstr.cmx ONbp-dil | 00:01:07 1017 (0 ) tools/logState.cmx ONbp-dil / 00:01:07 1017 (0 ) tools/logState.cmx ONbp-dil / 00:01:07 1017 (0 ) tools/logState.cmx ONbp-dil / 00:01:07 1018 (0 ) tools/lexLog_tools.cmx ONbp-dil - 00:01:07 1019 (0 ) tools/moutcomes.cmx ONbp-dil - 00:01:07 1020 (0 ) tools/moutcomes.native ONbP-diL - 00:01:07 1020 (0 ) tools/moutcomes.native ONbP-diL \ 00:01:07 1023 (0 ) tools/condUtils.cmi OnBp-dIl \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/splitcond.cmo tools/splitcond.ml File "tools/splitcond.ml", line 41, characters 12-18: 41 | module Make(Config:Config)(Out:Out) = ^^^^^^ Warning 60: unused module Config. 00:01:07 1026 (0 ) tools/condUtils.cmx ONbp-dil \ 00:01:08 1027 (0 ) tools/splitcond.cmx ONbp-dil | + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/splitcond.cmx tools/splitcond.ml File "tools/splitcond.ml", line 41, characters 12-18: 41 | module Make(Config:Config)(Out:Out) = ^^^^^^ Warning 60: unused module Config. 00:01:08 1028 (0 ) tools/splitcond.native ONbP-diL | 00:01:08 1028 (0 ) tools/splitcond.native ONbP-diL | 00:01:08 1028 (0 ) tools/splitcond.native ONbP-diL / 00:01:08 1031 (0 ) tools/testInfo.cmi OnBp-dIl / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mshowhashes.cmo tools/mshowhashes.ml File "tools/mshowhashes.ml", line 24, characters 9-26: 24 | val verbose : int ^^^^^^^^^^^^^^^^^ Warning 32: unused value verbose. File "tools/mshowhashes.ml", line 22, characters 5-8: 22 | (Opt: ^^^ Warning 60: unused module Opt. 00:01:08 1035 (0 ) tools/toolParse.mli.depends Onbp-dil / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/toolParse.cmi tools/toolParse.mli File "tools/toolParse.mli", line 23, characters 15-16: 23 | functor (B: functor(A:ArchBase.S) -> ^ Warning 67: unused functor parameter B. File "tools/toolParse.mli", line 31, characters 15-16: 31 | functor (B: functor(A:ArchBase.S) -> ^ Warning 67: unused functor parameter B. 00:01:08 1037 (0 ) tools/toolParse.cmx ONbp-dil - + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/testInfo.cmx tools/testInfo.ml File "tools/testInfo.ml", line 38, characters 12-13: 38 | module Make(A:ArchBase.S) = struct ^ Warning 60: unused module A. 00:01:08 1039 (0 ) tools/mshowhashes.cmx ONbp-dil - + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mshowhashes.cmx tools/mshowhashes.ml File "tools/mshowhashes.ml", line 24, characters 9-26: 24 | val verbose : int ^^^^^^^^^^^^^^^^^ Warning 32: unused value verbose. File "tools/mshowhashes.ml", line 22, characters 5-8: 22 | (Opt: ^^^ Warning 60: unused module Opt. 00:01:08 1040 (0 ) tools/mshowhashes.native ONbP-diL - 00:01:08 1040 (0 ) tools/mshowhashes.native ONbP-diL \ 00:01:08 1040 (0 ) tools/mshowhashes.native ONbP-diL \ 00:01:08 1041 (0 ) tools/mlog2cond.ml.depends Onbp-dil \ 00:01:08 1044 (0 ) tools/mlog2cond.cmo OnBp-Dil \ 00:01:09 1046 (0 ) tools/condPP.cmx ONbp-dil | 00:01:09 1048 (0 ) tools/mlog2cond.native ONbP-diL | 00:01:09 1048 (0 ) tools/mlog2cond.native ONbP-diL | 00:01:09 1048 (0 ) tools/mlog2cond.native ONbP-diL / 00:01:09 1051 (0 ) tools/mflags.cmo OnBp-Dil / 00:01:09 1053 (0 ) tools/mflags.native ONbP-diL / 00:01:09 1053 (0 ) tools/mflags.native ONbP-diL - 00:01:09 1053 (0 ) tools/mflags.native ONbP-diL - + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mdiag.cmo tools/mdiag.ml File "tools/mdiag.ml", line 21, characters 9-26: 21 | val verbose : int ^^^^^^^^^^^^^^^^^ Warning 32: unused value verbose. File "tools/mdiag.ml", line 19, characters 5-8: 19 | (Opt: ^^^ Warning 60: unused module Opt. 00:01:09 1056 (0 ) tools/mdiag.cmx ONbp-dil - 00:01:09 1056 (0 ) tools/mdiag.cmx ONbp-dil \ + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mdiag.cmx tools/mdiag.ml File "tools/mdiag.ml", line 21, characters 9-26: 21 | val verbose : int ^^^^^^^^^^^^^^^^^ Warning 32: unused value verbose. File "tools/mdiag.ml", line 19, characters 5-8: 19 | (Opt: ^^^ Warning 60: unused module Opt. 00:01:09 1057 (0 ) tools/mdiag.native ONbP-diL \ 00:01:10 1057 (0 ) tools/mdiag.native ONbP-diL | 00:01:10 1058 (0 ) tools/recond.ml.depends Onbp-dil | 00:01:10 1062 (0 ) lib/outStd.mli.depends Onbp-dil | 00:01:10 1069 (0 ) lib/outTar.cmi OnBp-dIl | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/outTar.cmi lib/outTar.mli File "lib/outTar.mli", line 20, characters 23-24: 20 | module Make : functor (O:Tar.Option) -> OutTests.S ^ Warning 67: unused functor parameter O. 00:01:10 1070 (0 ) tools/recond.cmo OnBp-Dil | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/recond.cmo tools/recond.ml File "tools/recond.ml", line 175, characters 32-50: 175 | reparse map Lexing.from_string f ^^^^^^^^^^^^^^^^^^ Warning 48: implicit elimination of optional argument ?with_positions 00:01:10 1074 (0 ) lib/dumpUtils.cmx ONbp-dil / 00:01:10 1078 (0 ) tools/recond.cmx ONbp-dil / 00:01:10 1078 (0 ) tools/recond.cmx ONbp-dil / + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/recond.cmx tools/recond.ml File "tools/recond.ml", line 175, characters 32-50: 175 | reparse map Lexing.from_string f ^^^^^^^^^^^^^^^^^^ Warning 48: implicit elimination of optional argument ?with_positions 00:01:10 1079 (0 ) tools/recond.native ONbP-diL - 00:01:10 1079 (0 ) tools/recond.native ONbP-diL - 00:01:10 1081 (0 ) tools/mcycles.cmo OnBp-Dil - 00:01:10 1083 (0 ) tools/mcycles.native ONbP-diL \ 00:01:10 1083 (0 ) tools/mcycles.native ONbP-diL \ 00:01:10 1083 (0 ) tools/mcycles.native ONbP-diL \ 00:01:11 1087 (0 ) tools/arch_tools.cmi OnBp-dIl | 00:01:11 1090 (0 ) lib/simpleDumper.cmo OnBp-Dil | 00:01:11 1094 (0 ) tools/dumper.cmo OnBp-Dil | 00:01:11 1099 (0 ) tools/alpha.cmo OnBp-Dil | 00:01:11 1100 (0 ) tools/mixPerm.cmo OnBp-Dil / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/archExtra_tools.cmi tools/archExtra_tools.mli File "tools/archExtra_tools.mli", line 19, characters 13-14: 19 | functor (O : sig val hexa : bool end) -> ^ Warning 67: unused functor parameter O. 00:01:11 1102 (0 ) tools/mixMerge.cmo OnBp-Dil / 00:01:11 1103 (0 ) tools/mmixer.cmo OnBp-Dil / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mmixer.cmo tools/mmixer.ml File "tools/mmixer.ml", line 20, characters 0-14: 20 | open MixOption ^^^^^^^^^^^^^^ Warning 44: this open statement shadows the module identifier Action (which is later used) 00:01:11 1105 (0 ) lib/simpleDumper.cmx ONbp-dil / 00:01:11 1107 (0 ) tools/dumper.cmx ONbp-dil - 00:01:11 1110 (0 ) tools/alpha.cmx ONbp-dil - 00:01:11 1111 (0 ) tools/mixPerm.cmx ONbp-dil - 00:01:11 1113 (0 ) tools/mixMerge.cmx ONbp-dil \ 00:01:11 1114 (0 ) tools/mmixer.cmx ONbp-dil \ 00:01:11 1114 (0 ) tools/mmixer.cmx ONbp-dil \ + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mmixer.cmx tools/mmixer.ml File "tools/mmixer.ml", line 20, characters 0-14: 20 | open MixOption ^^^^^^^^^^^^^^ Warning 44: this open statement shadows the module identifier Action (which is later used) 00:01:11 1115 (0 ) tools/mmixer.native ONbP-diL \ 00:01:12 1115 (0 ) tools/mmixer.native ONbP-diL | 00:01:12 1115 (0 ) tools/mmixer.native ONbP-diL | 00:01:12 1116 (0 ) tools/knames.ml.depends Onbp-dil | 00:01:12 1118 (0 ) tools/knames.cmx ONbp-dil / 00:01:12 1119 (0 ) tools/knames.native ONbP-diL / 00:01:12 1119 (0 ) tools/knames.native ONbP-diL - 00:01:12 1121 (0 ) tools/mdiff.cmo OnBp-Dil - 00:01:12 1122 (0 ) tools/mdiff.cmx ONbp-dil - 00:01:12 1123 (0 ) tools/mdiff.native ONbP-diL \ 00:01:12 1123 (0 ) tools/mdiff.native ONbP-diL \ 00:01:12 1125 (0 ) tools/mcmp.cmo OnBp-Dil \ 00:01:13 1126 (0 ) tools/mcmp.cmx ONbp-dil | 00:01:13 1127 (0 ) tools/mcmp.native ONbP-diL | 00:01:13 1127 (0 ) tools/mcmp.native ONbP-diL / 00:01:13 1129 (0 ) tools/madd.cmo OnBp-Dil / + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/madd.cmo tools/madd.ml File "tools/madd.ml", line 34, characters 16-17: 34 | module Make(A:ArchBase.S) = struct ^ Warning 60: unused module A. 00:01:13 1130 (0 ) tools/madd.cmx ONbp-dil / + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/madd.cmx tools/madd.ml File "tools/madd.ml", line 34, characters 16-17: 34 | module Make(A:ArchBase.S) = struct ^ Warning 60: unused module A. 00:01:13 1131 (0 ) tools/madd.native ONbP-diL / 00:01:13 1131 (0 ) tools/madd.native ONbP-diL - 00:01:13 1131 (0 ) tools/madd.native ONbP-diL - 00:01:13 1132 (0 ) tools/mtopos.ml.depends Onbp-dil - 00:01:13 1134 (0 ) tools/mtopos.cmx ONbp-dil \ 00:01:13 1135 (0 ) tools/mtopos.native ONbP-diL \ 00:01:14 1135 (0 ) tools/mtopos.native ONbP-diL | 00:01:14 1137 (0 ) tools/mfilter.cmo OnBp-Dil | 00:01:14 1138 (0 ) tools/mfilter.cmx ONbp-dil | 00:01:14 1139 (0 ) tools/mfilter.native ONbP-diL | 00:01:14 1139 (0 ) tools/mfilter.native ONbP-diL / 00:01:14 1139 (0 ) tools/mfilter.native ONbP-diL / 00:01:14 1141 (0 ) tools/mapply.cmo OnBp-Dil - 00:01:14 1142 (0 ) tools/mapply.cmx ONbp-dil - 00:01:14 1143 (0 ) tools/mapply.native ONbP-diL - 00:01:14 1143 (0 ) tools/mapply.native ONbP-diL \ 00:01:14 1147 (0 ) tools/key.cmi OnBp-dIl \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/key.cmi tools/key.mli File "tools/key.mli", line 35, characters 12-15: 35 | module Make(Opt:Config) : sig ^^^ Warning 67: unused functor parameter Opt. + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/matrix.cmi tools/matrix.mli File "tools/matrix.mli", line 87, characters 12-15: 87 | module Dump(Opt:Config) : ^^^ Warning 67: unused functor parameter Opt. 00:01:14 1149 (0 ) tools/mcompare.cmo OnBp-Dil \ 00:01:15 1152 (0 ) tools/key.cmx ONbp-dil | 00:01:15 1153 (0 ) tools/matrix.cmx ONbp-dil | 00:01:15 1154 (0 ) tools/mcompare.cmx ONbp-dil / 00:01:15 1154 (0 ) tools/mcompare.cmx ONbp-dil / 00:01:15 1154 (0 ) tools/mcompare.cmx ONbp-dil - 00:01:15 1155 (0 ) tools/mcompare.native ONbP-diL - 00:01:15 1155 (0 ) tools/mcompare.native ONbP-diL - 00:01:15 1155 (0 ) tools/mcompare.native ONbP-diL \ 00:01:15 1157 (0 ) tools/lexHashLog.mli.depends Onbp-dil \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/lexHashLog.cmi tools/lexHashLog.mli File "tools/lexHashLog.mli", line 26, characters 10-11: 26 | functor (C:Config) -> sig ^ Warning 67: unused functor parameter C. 00:01:15 1159 (0 ) tools/mhash.cmo OnBp-Dil \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mhash.cmo tools/mhash.ml File "tools/mhash.ml", line 53, characters 16-17: 53 | module Make(A:ArchBase.S) = struct ^ Warning 60: unused module A. 00:01:15 1162 (0 ) tools/lexHashLog.cmx ONbp-dil \ 00:01:16 1163 (0 ) tools/mhash.cmx ONbp-dil | + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mhash.cmx tools/mhash.ml File "tools/mhash.ml", line 53, characters 16-17: 53 | module Make(A:ArchBase.S) = struct ^ Warning 60: unused module A. 00:01:16 1164 (0 ) tools/mhash.native ONbP-diL | 00:01:16 1164 (0 ) tools/mhash.native ONbP-diL | 00:01:16 1164 (0 ) tools/mhash.native ONbP-diL / 00:01:16 1165 (0 ) tools/mrcu.ml.depends Onbp-dil / 00:01:16 1166 (0 ) tools/mrcu.cmo OnBp-Dil / 00:01:16 1167 (0 ) tools/mrcu.cmx ONbp-dil - 00:01:16 1167 (0 ) tools/mrcu.cmx ONbp-dil - 00:01:16 1168 (0 ) tools/mrcu.native ONbP-diL \ 00:01:16 1168 (0 ) tools/mrcu.native ONbP-diL \ 00:01:16 1170 (0 ) tools/dumperMiscParser.ml.depends Onbp-dil \ 00:01:17 1175 (0 ) tools/transposeDumper.cmo OnBp-Dil | 00:01:17 1176 (0 ) tools/mprog.cmo OnBp-Dil | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mprog.cmo tools/mprog.ml File "tools/mprog.ml", line 25, characters 9-26: 25 | val verbose : int ^^^^^^^^^^^^^^^^^ Warning 32: unused value verbose. 00:01:17 1179 (0 ) tools/transposeDumper.cmx ONbp-dil | 00:01:17 1179 (0 ) tools/transposeDumper.cmx ONbp-dil / 00:01:17 1180 (0 ) tools/mprog.cmx ONbp-dil / + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mprog.cmx tools/mprog.ml File "tools/mprog.ml", line 25, characters 9-26: 25 | val verbose : int ^^^^^^^^^^^^^^^^^ Warning 32: unused value verbose. 00:01:17 1181 (0 ) tools/mprog.native ONbP-diL / 00:01:17 1181 (0 ) tools/mprog.native ONbP-diL - 00:01:17 1181 (0 ) tools/mprog.native ONbP-diL - 00:01:17 1182 (0 ) tools/mnames.ml.depends Onbp-dil \ 00:01:17 1184 (0 ) tools/mnames.cmx ONbp-dil \ 00:01:17 1185 (0 ) tools/mnames.native ONbP-diL \ 00:01:18 1185 (0 ) tools/mnames.native ONbP-diL | 00:01:18 1189 (0 ) tools/edgeName.cmi OnBp-dIl | 00:01:18 1192 (0 ) tools/edgeName.ml.depends Onbp-dil | 00:01:18 1195 (0 ) tools/edgeName.cmx ONbp-dil | 00:01:18 1197 (0 ) tools/ksort.cmx ONbp-dil / 00:01:18 1198 (0 ) tools/ksort.native ONbP-diL / 00:01:18 1198 (0 ) tools/ksort.native ONbP-diL - + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mobserved.cmo tools/mobserved.ml File "tools/mobserved.ml", line 26, characters 12-18: 26 | module Make(Config:Config) = ^^^^^^ Warning 60: unused module Config. 00:01:18 1201 (0 ) tools/mobserved.cmx ONbp-dil - + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/mobserved.cmx tools/mobserved.ml File "tools/mobserved.ml", line 26, characters 12-18: 26 | module Make(Config:Config) = ^^^^^^ Warning 60: unused module Config. 00:01:18 1202 (0 ) tools/mobserved.native ONbP-diL - 00:01:18 1202 (0 ) tools/mobserved.native ONbP-diL \ 00:01:18 1202 (0 ) tools/mobserved.native ONbP-diL \ 00:01:18 1204 (0 ) tools/msort.cmo OnBp-Dil \ 00:01:18 1205 (0 ) tools/msort.cmx ONbp-dil \ 00:01:19 1206 (0 ) tools/msort.native ONbP-diL | 00:01:19 1206 (0 ) tools/msort.native ONbP-diL | 00:01:19 1206 (0 ) tools/msort.native ONbP-diL | 00:01:19 1207 (0 ) tools/msum.ml.depends Onbp-dil / 00:01:19 1209 (0 ) tools/msum.cmx ONbp-dil / 00:01:19 1209 (0 ) tools/msum.cmx ONbp-dil / 00:01:19 1210 (0 ) tools/msum.native ONbP-diL - 00:01:19 1210 (0 ) tools/msum.native ONbP-diL - 00:01:19 1212 (0 ) tools/interval.mli.depends Onbp-dil - 00:01:19 1215 (0 ) tools/lexInterval.cmi OnBp-dIl \ 00:01:19 1218 (0 ) tools/lexInterval.mll Onbp-dil \ 00:01:19 1221 (0 ) tools/lexInterval.cmx ONbp-dil \ 00:01:19 1222 (0 ) tools/mselect.cmx ONbp-dil \ 00:01:20 1223 (0 ) tools/mselect.native ONbP-diL | 00:01:20 1223 (0 ) tools/mselect.native ONbP-diL | 00:01:20 1223 (0 ) tools/mselect.native ONbP-diL | 00:01:20 1224 (0 ) tools/mcond.ml.depends Onbp-dil / 00:01:20 1226 (0 ) tools/mcond.cmx ONbp-dil / 00:01:20 1227 (0 ) tools/mcond.native ONbP-diL - 00:01:20 1227 (0 ) tools/mcond.native ONbP-diL - 00:01:20 1229 (0 ) tools/mproj.cmo OnBp-Dil - 00:01:20 1230 (0 ) tools/mproj.cmx ONbp-dil - 00:01:20 1231 (0 ) tools/mproj.native ONbP-diL \ 00:01:20 1231 (0 ) tools/mproj.native ONbP-diL \ 00:01:20 1233 (0 ) tools/rehash.cmo OnBp-Dil \ 00:01:21 1234 (0 ) tools/rehash.cmx ONbp-dil | 00:01:21 1235 (0 ) tools/rehash.native ONbP-diL | 00:01:21 1235 (0 ) tools/rehash.native ONbP-diL | 00:01:21 1235 (0 ) tools/rehash.native ONbP-diL / 00:01:21 1238 (0 ) tools/splitdot.cmo OnBp-Dil / 00:01:21 1240 (0 ) tools/splitdot.native ONbP-diL / 00:01:21 1240 (0 ) tools/splitdot.native ONbP-diL - 00:01:21 1240 (0 ) tools/splitdot.native ONbP-diL - 00:01:21 1243 (0 ) tools/CDumper.cmo OnBp-Dil - 00:01:21 1244 (0 ) tools/mlock.cmo OnBp-Dil - 00:01:21 1245 (0 ) tools/CDumper.cmx ONbp-dil \ 00:01:21 1246 (0 ) tools/mlock.cmx ONbp-dil \ 00:01:21 1247 (0 ) tools/mlock.native ONbP-diL \ 00:01:22 1247 (0 ) tools/mlock.native ONbP-diL | 00:01:22 1247 (0 ) tools/mlock.native ONbP-diL | 00:01:22 1249 (0 ) tools/trTrue.mli.depends Onbp-dil | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I tools -I jingle -I lib -I litmus -I herd -I gen -o tools/trTrue.cmi tools/trTrue.mli File "tools/trTrue.mli", line 28, characters 12-13: 28 | module Make(O:Config)(Out:Out) : sig ^ Warning 67: unused functor parameter O. 00:01:22 1251 (0 ) tools/mtrue.cmo OnBp-Dil / 00:01:22 1254 (0 ) tools/trTrue.cmx ONbp-dil / 00:01:22 1255 (0 ) tools/mtrue.cmx ONbp-dil / 00:01:22 1256 (0 ) tools/mtrue.native ONbP-diL / 00:01:22 1256 (0 ) tools/mtrue.native ONbP-diL - 00:01:22 1256 (0 ) tools/mtrue.native ONbP-diL - 00:01:22 1258 (0 ) tools/mlisa2c.cmo OnBp-Dil - 00:01:22 1259 (0 ) tools/mlisa2c.cmx ONbp-dil \ 00:01:22 1260 (0 ) tools/mlisa2c.native ONbP-diL \ 00:01:22 1260 (0 ) tools/mlisa2c.native ONbP-diL \ 00:01:23 1260 (0 ) tools/mlisa2c.native ONbP-diL | 00:01:23 1261 (0 ) gen/readRelax.ml.depends Onbp-dil | 00:01:23 1266 (0 ) gen/lexUtil.cmi OnBp-dIl | 00:01:23 1270 (0 ) gen/util.cmi OnBp-dIl | 00:01:23 1272 (0 ) gen/lexUtil.mll Onbp-dil / 00:01:23 1275 (0 ) gen/lexLog_gen.cmx ONbp-dil / 00:01:23 1276 (0 ) gen/util.ml.depends Onbp-dil / 00:01:23 1279 (0 ) gen/readRelax.cmx ONbp-dil / 00:01:23 1280 (0 ) gen/readRelax.native ONbP-diL - 00:01:23 1280 (0 ) gen/readRelax.native ONbP-diL - 00:01:23 1283 (0 ) gen/archExtra_gen.ml.depends Onbp-dil - 00:01:23 1287 (0 ) gen/machMixed.ml.depends Onbp-dil \ 00:01:23 1293 (0 ) gen/ARMArch_gen.ml.depends Onbp-dil \ 00:01:23 1296 (0 ) gen/atom.cmi OnBp-dIl \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/machAtom.cmi gen/machAtom.mli File "gen/machAtom.mli", line 24, characters 23-24: 24 | module Make : functor (C:Config) -> ^ Warning 67: unused functor parameter C. 00:01:23 1300 (0 ) gen/classicDep.mli.depends Onbp-dil \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/annot.cmi gen/annot.mli File "gen/annot.mli", line 19, characters 23-24: 19 | module Make : functor (O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:01:24 1307 (0 ) gen/CArch_gen.ml.depends Onbp-dil | 00:01:24 1312 (0 ) gen/config.ml.depends Onbp-dil | 00:01:24 1316 (0 ) gen/Version_gen.ml.depends Onbp-dil | 00:01:24 1322 (0 ) gen/fence.mli.depends Onbp-dil | 00:01:24 1326 (0 ) gen/RISCVArch_gen.ml.depends Onbp-dil | 00:01:24 1332 (0 ) gen/config.cmo OnBp-Dil / 00:01:24 1337 (0 ) gen/X86Arch_gen.cmo OnBp-Dil / 00:01:24 1338 (0 ) gen/atoms.cmo OnBp-Dil / 00:01:24 1338 (0 ) gen/atoms.cmo OnBp-Dil / 00:01:24 1341 (0 ) gen/dep.ml.depends Onbp-dil - 00:01:24 1345 (0 ) gen/scopeGen.cmx ONbp-dil - 00:01:24 1347 (0 ) gen/machAtom.cmx ONbp-dil - 00:01:24 1350 (0 ) gen/debug_gen.ml.depends Onbp-dil - 00:01:24 1355 (0 ) gen/noMixed.cmx ONbp-dil - 00:01:24 1359 (0 ) gen/typBase.cmx ONbp-dil \ 00:01:24 1363 (0 ) lib/scopeLexer.mli.depends Onbp-dil \ 00:01:24 1367 (0 ) lib/scopeLexer.cmi OnBp-dIl \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I lib -I jingle -I tools -I litmus -I herd -I gen -o lib/scopeLexer.cmi lib/scopeLexer.mli File "lib/scopeLexer.mli", line 19, characters 22-23: 19 | module Make : functor(O:LexUtils.Config) -> sig ^ Warning 67: unused functor parameter O. 00:01:24 1369 (0 ) lib/scopeParser.cmx ONbp-dil \ 00:01:25 1371 (0 ) gen/showGen.ml.depends Onbp-dil | 00:01:25 1377 (0 ) gen/AArch64Arch_gen.cmx ONbp-dil | 00:01:25 1382 (0 ) gen/edge.cmx ONbp-dil | 00:01:25 1386 (0 ) gen/X86Arch_gen.cmx ONbp-dil | 00:01:25 1386 (0 ) gen/X86Arch_gen.cmx ONbp-dil / 00:01:25 1387 (0 ) gen/atoms.cmx ONbp-dil / 00:01:25 1388 (0 ) gen/atoms.native ONbP-diL - 00:01:25 1388 (0 ) gen/atoms.native ONbP-diL - 00:01:25 1388 (0 ) gen/atoms.native ONbP-diL - 00:01:25 1389 (0 ) gen/dont.ml.depends Onbp-dil \ 00:01:25 1394 (0 ) gen/arch_gen.cmi OnBp-dIl \ 00:01:25 1395 (0 ) gen/relax.cmo OnBp-Dil \ 00:01:25 1400 (0 ) gen/autoOpt.cmi OnBp-dIl \ 00:01:26 1401 (0 ) gen/autoLex.mll Onbp-dil | 00:01:26 1405 (0 ) gen/autoLex.cmo OnBp-Dil | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/autoRun.cmi gen/autoRun.mli File "gen/autoRun.mli", line 20, characters 12-13: 20 | module Make(C:AutoConf.S) : sig ^ Warning 67: unused functor parameter C. 00:01:26 1407 (0 ) gen/dont.cmo OnBp-Dil | 00:01:26 1409 (0 ) gen/relax.cmx ONbp-dil / 00:01:26 1411 (0 ) gen/autoMulti.cmo OnBp-Dil / 00:01:26 1412 (0 ) gen/autoArch.cmx ONbp-dil / 00:01:26 1415 (0 ) gen/autoSingle.cmo OnBp-Dil - 00:01:26 1418 (0 ) gen/autoSingle.cmx ONbp-dil - 00:01:26 1420 (0 ) gen/autoBase.ml.depends Onbp-dil - 00:01:26 1424 (0 ) gen/autoBase.cmi OnBp-dIl - 00:01:26 1427 (0 ) gen/autoCom.ml.depends Onbp-dil - + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/autoCom.cmi gen/autoCom.mli File "gen/autoCom.mli", line 30, characters 12-13: 30 | module Make(C:Config) : S ^ Warning 67: unused functor parameter C. 00:01:26 1430 (0 ) gen/autoConf.cmx ONbp-dil \ 00:01:26 1430 (0 ) gen/autoConf.cmx ONbp-dil \ 00:01:26 1431 (0 ) gen/autoLex.cmx ONbp-dil \ 00:01:27 1433 (0 ) gen/autoOuts.cmo OnBp-Dil | 00:01:27 1436 (0 ) gen/autoUtils.cmi OnBp-dIl | 00:01:27 1440 (0 ) gen/autoUtils.cmx ONbp-dil | 00:01:27 1440 (0 ) gen/autoUtils.cmx ONbp-dil / 00:01:27 1441 (0 ) gen/autoRun.cmx ONbp-dil / 00:01:27 1441 (0 ) gen/autoRun.cmx ONbp-dil - + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/autoRun.cmx gen/autoRun.ml File "gen/autoRun.ml", line 20, characters 0-14: 20 | open AutoUtils ^^^^^^^^^^^^^^ Warning 44: this open statement shadows the module identifier StringMap (which is later used) 00:01:27 1442 (0 ) gen/dont.cmx ONbp-dil - 00:01:27 1442 (0 ) gen/dont.cmx ONbp-dil - 00:01:27 1443 (0 ) gen/dont.native ONbP-diL - 00:01:27 1443 (0 ) gen/dont.native ONbP-diL \ 00:01:27 1443 (0 ) gen/dont.native ONbP-diL \ 00:01:27 1444 (0 ) gen/diycross.ml.depends Onbp-dil \ 00:01:28 1446 (0 ) gen/compileCommon.ml.depends Onbp-dil | 00:01:28 1448 (0 ) gen/cycle.cmo OnBp-Dil | 00:01:28 1450 (0 ) gen/compileCommon.cmo OnBp-Dil | 00:01:28 1452 (0 ) gen/ARMCompile_gen.ml.depends Onbp-dil / 00:01:28 1456 (0 ) gen/archLoc.mli.depends Onbp-dil / 00:01:28 1458 (0 ) gen/archRun.cmi OnBp-dIl / 00:01:28 1460 (0 ) gen/builder.cmi OnBp-dIl / 00:01:28 1463 (0 ) gen/run_gen.cmo OnBp-Dil - 00:01:28 1466 (0 ) gen/final.cmo OnBp-Dil - + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/final.cmo gen/final.ml File "gen/final.ml", line 25, characters 23-24: 25 | module Make : functor (O:Config) -> functor (C:ArchRun.S) -> ^ Warning 60: unused module O. 00:01:28 1467 (0 ) gen/topUtils.cmo OnBp-Dil - + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/topUtils.cmo gen/topUtils.ml File "gen/topUtils.ml", line 25, characters 23-24: 25 | module Make : functor (O:Config) -> functor (C:ArchRun.S) -> ^ Warning 60: unused module O. 00:01:28 1468 (0 ) gen/top_gen.cmo OnBp-Dil \ 00:01:28 1469 (0 ) gen/dumpAll.mli.depends Onbp-dil \ 00:01:28 1472 (0 ) gen/normaliser.ml.depends Onbp-dil \ 00:01:28 1476 (0 ) gen/X86Compile_gen.ml.depends Onbp-dil \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/dumpAll.cmi gen/dumpAll.mli File "gen/dumpAll.mli", line 33, characters 12-18: 33 | module Make(Config:Config) (T:Builder.S) : sig ^^^^^^ Warning 67: unused functor parameter Config. 00:01:29 1482 (0 ) gen/MIPSCompile_gen.cmo OnBp-Dil | 00:01:29 1486 (0 ) gen/RISCVCompile_gen.cmo OnBp-Dil | + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/normaliser.cmo gen/normaliser.ml File "gen/normaliser.ml", line 26, characters 23-24: 26 | module Make : functor (C:Config) -> functor (E:Edge.S) -> ^ Warning 60: unused module C. 00:01:29 1488 (0 ) gen/X86Compile_gen.cmo OnBp-Dil / 00:01:29 1489 (0 ) gen/diycross.cmo OnBp-Dil / 00:01:29 1489 (0 ) gen/diycross.cmo OnBp-Dil - 00:01:29 1489 (0 ) gen/diycross.cmo OnBp-Dil - 00:01:29 1490 (0 ) gen/cycle.cmx ONbp-dil - 00:01:29 1490 (0 ) gen/cycle.cmx ONbp-dil - 00:01:29 1491 (0 ) gen/compileCommon.cmx ONbp-dil \ 00:01:29 1492 (0 ) gen/run_gen.cmx ONbp-dil \ 00:01:30 1493 (0 ) gen/final.cmx ONbp-dil | + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/final.cmx gen/final.ml File "gen/final.ml", line 25, characters 23-24: 25 | module Make : functor (O:Config) -> functor (C:ArchRun.S) -> ^ Warning 60: unused module O. 00:01:30 1494 (0 ) gen/topUtils.cmx ONbp-dil | + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/topUtils.cmx gen/topUtils.ml File "gen/topUtils.ml", line 25, characters 23-24: 25 | module Make : functor (O:Config) -> functor (C:ArchRun.S) -> ^ Warning 60: unused module O. 00:01:30 1495 (0 ) gen/top_gen.cmx ONbp-dil | 00:01:30 1495 (0 ) gen/top_gen.cmx ONbp-dil / 00:01:30 1498 (0 ) gen/normaliser.cmx ONbp-dil / + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/normaliser.cmx gen/normaliser.ml File "gen/normaliser.ml", line 26, characters 23-24: 26 | module Make : functor (C:Config) -> functor (E:Edge.S) -> ^ Warning 60: unused module C. 00:01:30 1499 (0 ) gen/AArch64Compile_gen.cmx ONbp-dil / 00:01:30 1503 (0 ) gen/dumpAll.cmx ONbp-dil - 00:01:30 1504 (0 ) gen/MIPSCompile_gen.cmx ONbp-dil - 00:01:30 1506 (0 ) gen/RISCVCompile_gen.cmx ONbp-dil \ 00:01:30 1508 (0 ) gen/X86Compile_gen.cmx ONbp-dil \ 00:01:30 1508 (0 ) gen/X86Compile_gen.cmx ONbp-dil \ 00:01:30 1509 (0 ) gen/diycross.cmx ONbp-dil \ 00:01:31 1509 (0 ) gen/diycross.cmx ONbp-dil | 00:01:31 1509 (0 ) gen/diycross.cmx ONbp-dil | 00:01:31 1509 (0 ) gen/diycross.cmx ONbp-dil / 00:01:31 1510 (0 ) gen/diycross.native ONbP-diL / 00:01:31 1510 (0 ) gen/diycross.native ONbP-diL / 00:01:31 1510 (0 ) gen/diycross.native ONbP-diL - 00:01:31 1510 (0 ) gen/diycross.native ONbP-diL - 00:01:31 1511 (0 ) gen/mexpand.ml.depends Onbp-dil - 00:01:31 1512 (0 ) gen/mexpand.cmo OnBp-Dil \ + ocamlc.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -g -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/mexpand.cmo gen/mexpand.ml File "gen/mexpand.ml", line 29, characters 12-14: 29 | module Make(Co:Config) (A:Arch_gen.S) = struct ^^ Warning 60: unused module Co. 00:01:31 1513 (0 ) gen/mexpand.cmx ONbp-dil \ + ocamlopt.opt -c -w +a-3-4-9-27-29-33-41-45 -strict-sequence -dtypes -safe-string -I gen -I jingle -I tools -I lib -I litmus -I herd -o gen/mexpand.cmx gen/mexpand.ml File "gen/mexpand.ml", line 29, characters 12-14: 29 | module Make(Co:Config) (A:Arch_gen.S) = struct ^^ Warning 60: unused module Co. 00:01:31 1514 (0 ) gen/mexpand.native ONbP-diL \ 00:01:32 1514 (0 ) gen/mexpand.native ONbP-diL | 00:01:32 1514 (0 ) gen/mexpand.native ONbP-diL | 00:01:32 1515 (0 ) gen/atomize.ml.depends Onbp-dil | 00:01:32 1516 (0 ) gen/atomize.cmo OnBp-Dil / 00:01:32 1517 (0 ) gen/atomize.cmx ONbp-dil / 00:01:32 1518 (0 ) gen/atomize.native ONbP-diL - 00:01:32 1518 (0 ) gen/atomize.native ONbP-diL - 00:01:32 1518 (0 ) gen/atomize.native ONbP-diL - 00:01:32 1519 (0 ) gen/diyone.ml.depends Onbp-dil \ 00:01:32 1521 (0 ) gen/lineUtils.cmo OnBp-Dil \ 00:01:32 1522 (0 ) gen/diyone.cmo OnBp-Dil \ 00:01:33 1522 (0 ) gen/diyone.cmo OnBp-Dil | 00:01:33 1522 (0 ) gen/diyone.cmo OnBp-Dil | 00:01:33 1524 (0 ) gen/diyone.cmx ONbp-dil | 00:01:33 1524 (0 ) gen/diyone.cmx ONbp-dil / 00:01:33 1524 (0 ) gen/diyone.cmx ONbp-dil / 00:01:33 1524 (0 ) gen/diyone.cmx ONbp-dil / 00:01:33 1525 (0 ) gen/diyone.native ONbP-diL - 00:01:33 1525 (0 ) gen/diyone.native ONbP-diL - 00:01:33 1525 (0 ) gen/diyone.native ONbP-diL \ 00:01:33 1525 (0 ) gen/diyone.native ONbP-diL \ 00:01:33 1526 (0 ) gen/nexts.ml.depends Onbp-dil \ 00:01:34 1527 (0 ) gen/nexts.cmo OnBp-Dil | 00:01:34 1528 (0 ) gen/nexts.cmx ONbp-dil | 00:01:34 1529 (0 ) gen/nexts.native ONbP-diL | 00:01:34 1529 (0 ) gen/nexts.native ONbP-diL / 00:01:34 1529 (0 ) gen/nexts.native ONbP-diL / 00:01:34 1530 (0 ) gen/classify.ml.depends Onbp-dil / 00:01:34 1531 (0 ) gen/classify.cmo OnBp-Dil - 00:01:34 1532 (0 ) gen/classify.cmx ONbp-dil - 00:01:34 1533 (0 ) gen/classify.native ONbP-diL \ 00:01:34 1533 (0 ) gen/classify.native ONbP-diL \ 00:01:34 1533 (0 ) gen/classify.native ONbP-diL \ 00:01:35 1534 (0 ) gen/diy.ml.depends Onbp-dil | 00:01:35 1537 (0 ) gen/lexConf_gen.ml.depends Onbp-dil | 00:01:35 1539 (0 ) gen/lexConf_gen.cmo OnBp-Dil | 00:01:35 1540 (0 ) gen/diy.cmo OnBp-Dil / 00:01:35 1540 (0 ) gen/diy.cmo OnBp-Dil / 00:01:35 1540 (0 ) gen/diy.cmo OnBp-Dil / 00:01:35 1542 (0 ) gen/lexConf_gen.cmx ONbp-dil - 00:01:35 1542 (0 ) gen/lexConf_gen.cmx ONbp-dil - 00:01:35 1543 (0 ) gen/diy.cmx ONbp-dil - 00:01:35 1543 (0 ) gen/diy.cmx ONbp-dil \ 00:01:35 1543 (0 ) gen/diy.cmx ONbp-dil \ 00:01:35 1543 (0 ) gen/diy.cmx ONbp-dil \ 00:01:36 1544 (0 ) gen/diy.native ONbP-diL | 00:01:36 1544 (0 ) gen/diy.native ONbP-diL | 00:01:36 1544 (0 ) gen/diy.native ONbP-diL / 00:01:36 1544 (0 ) gen/diy.native ONbP-diL / 00:01:36 1545 (0 ) gen/norm.ml.depends Onbp-dil / 00:01:36 1546 (0 ) gen/norm.cmo OnBp-Dil / 00:01:36 1547 (0 ) gen/norm.cmx ONbp-dil - 00:01:36 1548 (0 ) gen/norm.native ONbP-diL - 00:01:36 1548 (0 ) gen/norm.native ONbP-diL \ 00:01:36 1548 (0 ) gen/norm.native ONbP-diL \ 00:01:36 1548 (0 ) gen/norm.native ONbP-diL \ 00:01:37 1552 (0 ) jingle/arch.cmo OnBp-Dil | 00:01:37 1556 (0 ) jingle/cDumper.ml.depends Onbp-dil | 00:01:37 1559 (0 ) jingle/parseMap.mll Onbp-dil | 00:01:37 1565 (0 ) jingle/cDumper.cmo OnBp-Dil | 00:01:37 1568 (0 ) jingle/parseMap.cmo OnBp-Dil | 00:01:37 1569 (0 ) jingle/jingle.cmo OnBp-Dil / 00:01:37 1570 (0 ) jingle/arch.cmx ONbp-dil / 00:01:37 1575 (0 ) jingle/cDumper.cmx ONbp-dil - 00:01:37 1578 (0 ) jingle/parseMap.cmx ONbp-dil - 00:01:37 1579 (0 ) jingle/jingle.cmx ONbp-dil - 00:01:37 1579 (0 ) jingle/jingle.cmx ONbp-dil \ 00:01:37 1580 (0 ) jingle/jingle.native ONbP-diL \ 00:01:37 1580 (0 ) jingle/jingle.native ONbP-diL \ 00:01:38 1580 (0 ) jingle/jingle.native ONbP-diL | Finished, 1580 targets (0 cached) in 00:01:38. >>> Source compiled. >>> Test phase [not enabled]: dev-util/herdtools7-7.51 >>> Install dev-util/herdtools7-7.51 into /var/tmp/portage/dev-util/herdtools7-7.51/image >>> Completed installing dev-util/herdtools7-7.51 into /var/tmp/portage/dev-util/herdtools7-7.51/image * Final size of build directory: 286272 KiB (279.5 MiB) * Final size of installed tree: 129784 KiB (126.7 MiB) * QA Notice: Files built without respecting CFLAGS have been detected * Please include the following list of files in your report: * /usr/bin/mapply7 * /usr/bin/classify7 * /usr/bin/recond7 * /usr/bin/atomize7 * /usr/bin/ksort7 * /usr/bin/mdiag7 * /usr/bin/mcmp7 * /usr/bin/mflags7 * /usr/bin/dont7 * /usr/bin/msort7 * /usr/bin/rehash7 * /usr/bin/diyone7 * /usr/bin/splitcond7 * /usr/bin/mselect7 * /usr/bin/nexts7 * /usr/bin/klitmus7 * /usr/bin/mobserved7 * /usr/bin/mcycles7 * /usr/bin/diycross7 * /usr/bin/mproj7 * /usr/bin/splitdot7 * /usr/bin/mcond7 * /usr/bin/jingle7 * /usr/bin/mfilter7 * /usr/bin/mtrue7 * /usr/bin/moutcomes7 * /usr/bin/msum7 * /usr/bin/mlock7 * /usr/bin/herd7 * /usr/bin/mprog7 * /usr/bin/mhash7 * /usr/bin/madd7 * /usr/bin/litmus7 * /usr/bin/knames7 * /usr/bin/mfind7 * /usr/bin/mdiff7 * /usr/bin/mnames7 * /usr/bin/norm7 * /usr/bin/mlisa2c7 * /usr/bin/atoms7 * /usr/bin/mrcu7 * /usr/bin/diy7 * /usr/bin/readRelax7 * /usr/bin/mcompare7 * /usr/bin/mtopos7 * /usr/bin/mexpand7 * /usr/bin/mlog2cond7 * /usr/bin/mshowhashes7 * /usr/bin/mmixer7 strip: x86_64-pc-linux-gnu-strip --strip-unneeded -N __gentoo_check_ldflags__ -R .comment -R .GCC.command.line -R .note.gnu.gold-version /usr/bin/herd7 /usr/bin/litmus7 /usr/bin/moutcomes7 /usr/bin/klitmus7 /usr/bin/mfind7 /usr/bin/splitcond7 /usr/bin/mlog2cond7 /usr/bin/mflags7 /usr/bin/mdiag7 /usr/bin/mcycles7 /usr/bin/recond7 /usr/bin/mmixer7 /usr/bin/mshowhashes7 /usr/bin/knames7 /usr/bin/mcmp7 /usr/bin/mdiff7 /usr/bin/madd7 /usr/bin/mtopos7 /usr/bin/mfilter7 /usr/bin/mapply7 /usr/bin/mcompare7 /usr/bin/mhash7 /usr/bin/mrcu7 /usr/bin/mprog7 /usr/bin/mnames7 /usr/bin/ksort7 /usr/bin/mobserved7 /usr/bin/msort7 /usr/bin/msum7 /usr/bin/mselect7 /usr/bin/mcond7 /usr/bin/mproj7 /usr/bin/rehash7 /usr/bin/splitdot7 /usr/bin/mlock7 /usr/bin/mtrue7 /usr/bin/mlisa2c7 /usr/bin/readRelax7 /usr/bin/atoms7 /usr/bin/dont7 /usr/bin/diycross7 /usr/bin/mexpand7 /usr/bin/atomize7 /usr/bin/diyone7 /usr/bin/nexts7 /usr/bin/classify7 /usr/bin/diy7 /usr/bin/norm7 /usr/bin/jingle7 >>> Done.