Build:
- 0
2026-06-20 17:00.30: New job: build herdtools7.7.55 (2c25c15ad260)
2026-06-20 17:00.30: Waiting for resource in pool day11-builds
2026-06-20 18:32.41: Got resource from pool day11-builds
2026-06-20 18:32.41: [profile full] build herdtools7.7.55
2026-06-20 18:32.41: build herdtools7.7.55 (2c25c15ad260)
=== DEPENDENCIES (13 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
compiler-cloning.enabled 0d2606125f88
dune.3.23.1 dbfeecb5ca10
menhir.20260209 5f76d1d3722e
menhirCST.20260209 b9f719ef3696
menhirGLR.20260209 e70329f7f267
menhirLib.20260209 c73d74bf4444
menhirSdk.20260209 d70f00a72002
ocaml.5.5.0 1b4132bddf48
ocaml-base-compiler.5.5.0 1901c3a760c1
ocaml-compiler.5.5.0 5f593a0b4a8c
ocamlfind.1.9.8 5b46f9d92bbd
=== STDOUT ===
Processing: [default: loading data]
[herdtools7.7.55: dl]
[herdtools7.7.55: extract]
-> retrieved herdtools7.7.55 (https://opam.ocaml.org/cache)
[herdtools7: sh]
+ /usr/bin/sh "./dune-build.sh" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/herdtools7.7.55)
- File "dune-project", line 3, characters 14-17:
- 3 | (using menhir 2.0)
- ^^^
- Warning: Version 2.0 of the menhir extension is not supported until version
- 1.4 of the dune language.
- Supported versions of this extension in version 1.2 of the dune language:
- - 1.0
- File "lib/check402.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/myMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/myLib.mli", line 28, characters 11-12:
- 28 | functor (C:Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "lib/tar.mli", line 46, characters 12-13:
- 46 | module Make(O:Option) : S
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/warn.mli", line 21, characters 22-23:
- 21 | module Make : functor(O:Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/echo.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/lexUtils.mli", line 31, characters 23-24:
- 31 | module Make : functor (O:Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/location.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/Archs.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/lexRename.mli", line 25, characters 22-23:
- 25 | module Make : functor(O:Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/outTar.mli", line 20, characters 23-24:
- 20 | module Make : functor (O:Tar.Option) -> OutTests.S
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/checkName.mli", line 28, characters 4-5:
- 28 | (I:sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter I.
- File "lib/splitter.mli", line 58, characters 23-24:
- 58 | module Make : functor (O:Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/parseModel.mli", line 24, characters 23-24:
- 24 | module Make : functor (O:Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/scopeLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/parsedConstant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int32Constant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int64Constant.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/pseudo.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/interpreter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/ARMBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/BellBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/CBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/MIPSBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/AArch64Base.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/X86Base.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/RISCVBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/X86_64Base.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/PPCBase.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/BellInterpreter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/BellCheck.mli", line 20, characters 9-10:
- 20 | functor (O:sig val debug : bool val compat :bool end) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
-
- File "lib/BellCheck.mli", line 23, characters 9-10:
- 23 | (C:sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "lib/genParser.mli", line 64, characters 5-6:
- 64 | (C:Config)
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
-
- File "lib/genParser.mli", line 66, characters 5-6:
- 66 | (L:LexParse with type instruction = A.parsedPseudo) :
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter L.
- File "lib/simpleDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int32Value.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/int64Value.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/readBell.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/modelLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/stateLexer.mli", line 19, characters 23-24:
- 19 | module Make : functor (O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/CGenParser_lib.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "lib/ARMLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/X86Lexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/BellLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/MIPSLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/RISCVLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/X86_64Lexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/PPCLexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/CLexer.mli", line 17, characters 22-23:
- 17 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "lib/AArch64Lexer.mli", line 19, characters 22-23:
- 19 | module Make : functor(O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "tools/cat2html.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/callMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mapply.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcycles.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mfind.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mnames.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/rehash.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/logConstr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/CDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mflags.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/toolParse.mli", line 23, characters 15-16:
- 23 | functor (B: functor(A:ArchBase.S) ->
- ^
- Warning 67 [unused-functor-parameter]: 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]: unused functor parameter B.
- File "tools/splitdot.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mixOption.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/lexHashLog.mli", line 26, characters 10-11:
- 26 | functor (C:Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "tools/trTrue.mli", line 28, characters 12-13:
- 28 | module Make(O:Config)(Out:Out) : sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "tools/dumperMiscParser.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/transposeDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/parseMap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/cDumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/arch.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/machMixed.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/scopeGen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/annot.mli", line 19, characters 23-24:
- 19 | module Make : functor (O:LexUtils.Config) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "gen/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/lineUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/lexConf_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/lexLog_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mobserved.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "tools/mobserved.ml", line 26, characters 12-18:
- 26 | module Make(Config:Config) =
- ^^^^^^
- Warning 60 [unused-module]: unused module Config.
- File "tools/mproj.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlisa2c.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/madd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "tools/madd.ml", line 34, characters 16-17:
- 34 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "tools/mlock.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mdiag.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/msort.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mshowhashes.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mhash.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "tools/mhash.ml", line 53, characters 16-17:
- 53 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "tools/archExtra_tools.mli", line 19, characters 13-14:
- 19 | functor (O : sig val hexa : bool end) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "tools/mixPerm.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/dumper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mtrue.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/prettyProg.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/Version_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/AArch64Arch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/ARMArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/BellArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/CArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/mapping.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/PPCArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/RISCVArch_jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/archExtra_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/Version_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/logRelax.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/recond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/splitcond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/alpha.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/ksort.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mrcu.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mselect.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "jingle/gen_theme.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/logState.mli", line 90, characters 12-13:
- 90 | module Make(O:sig val verbose : int end) : sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "jingle/jingle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/machAtom.mli", line 25, characters 23-24:
- 25 | module Make : functor (C:Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "tools/mprog.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/config.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/AArch64Arch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/readRelax.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mixMerge.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/knames.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/key.mli", line 35, characters 12-15:
- 35 | module Make(Opt:Config) : sig
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Opt.
- File "tools/lexLog_tools.mli", line 26, characters 12-13:
- 26 | module Make(O:Config) : sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "tools/matrix.mli", line 87, characters 12-15:
- 87 | module Dump(Opt:Config) :
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Opt.
- File "gen/edge.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mmixer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcmp.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlog2name.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mfilter.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mdiff.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/moutcomes.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mtopos.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mlog2cond.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/msum.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/ARMArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/MIPSArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/BellArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/PPCArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86Arch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/genUtils.mli", line 37, characters 9-12:
- 37 | functor (Cfg:Config) ->
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Cfg.
- File "gen/CArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86_64Arch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/RISCVArch_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/normaliser.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "gen/normaliser.ml", line 45, characters 28-54:
- 45 | { edge : E.edge ; mutable dir : dir option ;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field dir is never mutated.
-
- File "gen/normaliser.ml", line 373, characters 31-49:
- 373 | mutable next : t ; mutable prev : t ; }
- ^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field prev is never read.
- (However, this field is used to build or mutate values.)
-
- File "gen/normaliser.ml", line 26, characters 23-24:
- 26 | module Make : functor (C:Config) -> functor (E:Edge.S) ->
- ^
- Warning 60 [unused-module]: unused module C.
- File "gen/namer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/varAtomic.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/cycle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/relax.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mcompare.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/nexts.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/mexpand.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "gen/mexpand.ml", line 27, characters 12-14:
- 27 | module Make(Co:Config) (A:Arch_gen.S) = struct
- ^^
- Warning 60 [unused-module]: unused module Co.
- File "gen/atoms.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/atomize.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/classify.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/norm.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/compileCommon.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/topUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "gen/topUtils.ml", line 25, characters 23-24:
- 25 | module Make : functor (O:Config) -> functor (C:ArchRun.S) ->
- ^
- Warning 60 [unused-module]: unused module O.
- File "gen/run_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "tools/mobserved.ml", line 26, characters 12-18:
- 26 | module Make(Config:Config) =
- ^^^^^^
- Warning 60 [unused-module]: unused module Config.
- File "tools/madd.ml", line 34, characters 16-17:
- 34 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "tools/testInfo.ml", line 38, characters 12-13:
- 38 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "tools/mhash.ml", line 53, characters 16-17:
- 53 | module Make(A:ArchBase.S) = struct
- ^
- Warning 60 [unused-module]: unused module A.
- File "gen/final.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "gen/final.ml", line 24, characters 23-24:
- 24 | module Make : functor (O:Config) -> functor (C:ArchRun.S) ->
- ^
- Warning 60 [unused-module]: unused module O.
- File "gen/BellCompile.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/ARMCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/MIPSCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86Compile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/PPCCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/AArch64Compile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/X86_64Compile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/RISCVCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/normaliser.ml", line 45, characters 28-54:
- 45 | { edge : E.edge ; mutable dir : dir option ;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field dir is never mutated.
-
- File "gen/normaliser.ml", line 373, characters 31-49:
- 373 | mutable next : t ; mutable prev : t ; }
- ^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field prev is never read.
- (However, this field is used to build or mutate values.)
-
- File "gen/normaliser.ml", line 26, characters 23-24:
- 26 | module Make : functor (C:Config) -> functor (E:Edge.S) ->
- ^
- Warning 60 [unused-module]: unused module C.
- File "gen/top_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/mexpand.ml", line 27, characters 12-14:
- 27 | module Make(Co:Config) (A:Arch_gen.S) = struct
- ^^
- Warning 60 [unused-module]: unused module Co.
- File "gen/topUtils.ml", line 25, characters 23-24:
- 25 | module Make : functor (O:Config) -> functor (C:ArchRun.S) ->
- ^
- Warning 60 [unused-module]: unused module O.
- File "gen/dumpAll.mli", line 33, characters 12-18:
- 33 | module Make(Config:Config) (T:Builder.S) : sig
- ^^^^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Config.
- File "gen/CCompile_gen.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/final.ml", line 24, characters 23-24:
- 24 | module Make : functor (O:Config) -> functor (C:ArchRun.S) ->
- ^
- Warning 60 [unused-module]: unused module O.
- File "gen/alt.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/diyone.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/diycross.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/constr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- 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]: unused functor parameter Chan.
- File "litmus/defString.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/language.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/useArch.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/outUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gen/diy.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CLang.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/dumpParams.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/Version_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/topology.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/objUtil.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/template.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- 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]: unused functor parameter O.
- 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]: unused functor parameter O.
- File "litmus/doEmitPrintf.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/archExtra_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/LISAArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/generateCrossDoc.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/top_litmus.mli", line 100, characters 11-13:
- 100 | module Top(OT:TopConfig)(Tar:Tar.S) : sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter OT.
-
- File "litmus/top_litmus.mli", line 100, characters 25-28:
- 100 | module Top(OT:TopConfig)(Tar:Tar.S) : sig
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Tar.
- File "litmus/runUtils.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/byteSize.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/Version.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/simpleDumper_prime.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CGenParser_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "litmus/CGenParser_litmus.ml", line 78, characters 5-6:
- 78 | (A:Arch_litmus.Base)
- ^
- Warning 60 [unused-module]: unused module A.
- File "litmus/litmusUtils.mli", line 20, characters 22-23:
- 20 | module Hash : functor(O:Warn.Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "litmus/CSymbReg.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/MIPSArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/ARMArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/AArch64Arch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/PPCArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/RISCVArch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86Arch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86_64Arch_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/dumpRun.mli", line 50, characters 11-12:
- 50 | functor (O:Config) -> functor(Tar : Tar.S) -> functor (CT : OneTest) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
-
- File "litmus/dumpRun.mli", line 50, characters 32-35:
- 50 | functor (O:Config) -> functor(Tar : Tar.S) -> functor (CT : OneTest) ->
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Tar.
-
- File "litmus/dumpRun.mli", line 50, characters 57-59:
- 50 | functor (O:Config) -> functor(Tar : Tar.S) -> functor (CT : OneTest) ->
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter CT.
- File "litmus/run_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/archExtra_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "herd/archExtra_herd.ml", line 131, characters 26-28:
- 131 | module Mixed : functor (SZ : ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "herd/Version_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/testDump.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/CGenParser_litmus.ml", line 78, characters 5-6:
- 78 | (A:Arch_litmus.Base)
- ^
- Warning 60 [unused-module]: unused module A.
- File "litmus/MIPSCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/ARMCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/AArch64Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/PPCCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/RISCVCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/X86Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/show.mli", line 18, characters 28-29:
- 18 | module Generator : functor (O:PrettyConf.S) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
-
- File "herd/show.mli", line 22, characters 23-24:
- 22 | module Make : functor (O:PrettyConf.S) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
- File "litmus/X86_64Compile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/test_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/archExtra_herd.ml", line 131, characters 26-28:
- 131 | module Mixed : functor (SZ : ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "herd/AArch64Arch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/constraints.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "herd/constraints.ml", line 43, characters 26-28:
- 43 | module Mixed : functor (SZ: ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "herd/valconstraint.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/MIPSArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86_64Arch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/PPCArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Arch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/RISCVArch_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/compile.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CAction.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellAction.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/event.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/machAction.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/constraints.ml", line 43, characters 26-28:
- 43 | module Mixed : functor (SZ: ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "litmus/CCompile_litmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/skelUtil.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "litmus/skelUtil.ml", line 86, characters 29-30:
- 86 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
-
- File "litmus/skelUtil.ml", line 86, characters 52-55:
- 86 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter EPF.
- File "litmus/LISACompile.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/monad.mli", line 112, characters 13-15:
- 112 | functor (SZ : ByteSize.S) -> sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "litmus/skel.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/LISALang.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/ASMLang.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/branch.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/skelUtil.ml", line 86, characters 29-30:
- 86 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter O.
-
- File "litmus/skelUtil.ml", line 86, characters 52-55:
- 86 | module Dump : functor (O:Indent.S) -> functor(EPF:EmitPrintf.S) -> sig
- ^^^
- Warning 67 [unused-functor-parameter]: unused functor parameter EPF.
- File "litmus/preSi.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/KSkel.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/eventsMonad.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/top_klitmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "litmus/top_klitmus.ml", line 247, characters 10-33:
- 247 | let module V = SymbConstant in
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 60 [unused-module]: unused module V.
- File "litmus/klitmus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "litmus/top_klitmus.ml", line 247, characters 10-33:
- 247 | let module V = SymbConstant in
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 60 [unused-module]: unused module V.
- File "herd/semExtra.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- 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]: unused functor parameter O.
- File "herd/sem.mli", line 31, characters 17-19:
- 31 | module Mixed(SZ:ByteSize.S) : sig
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter SZ.
- File "herd/machModelChecker.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/SelaEvent.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/AArch64Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/Pretty.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "herd/CSem.ml", line 42, characters 17-19:
- 42 | module Mixed(SZ : ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/ARMSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "herd/ARMSem.ml", line 52, characters 17-19:
- 52 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/BellSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "herd/BellSem.ml", line 42, characters 17-19:
- 42 | module Mixed(SZ : ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/MIPSSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "herd/MIPSSem.ml", line 38, characters 17-19:
- 38 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/X86Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "herd/X86Sem.ml", line 43, characters 17-19:
- 43 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/PPCSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/RISCVSem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/AArch64Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "herd/AArch64Mem.ml", line 25, characters 5-6:
- 25 | (B:AArch64Barrier.S with type a = S.barrier)
- ^
- Warning 60 [unused-module]: unused module B.
- File "herd/X86_64Sem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/BellMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/CSem.ml", line 42, characters 17-19:
- 42 | module Mixed(SZ : ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/CAV12.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/minimal.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMSem.ml", line 52, characters 17-19:
- 52 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/BellSem.ml", line 42, characters 17-19:
- 42 | module Mixed(SZ : ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/MIPSSem.ml", line 38, characters 17-19:
- 38 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/X86Sem.ml", line 43, characters 17-19:
- 43 | module Mixed(SZ:ByteSize.S) = struct
- ^^
- Warning 60 [unused-module]: unused module SZ.
- File "herd/mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/MIPSMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/PPCMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/ARMMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/slrc11.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/RISCVMem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-
- File "herd/X86Mem.ml", line 27, characters 5-6:
- 27 | (B:X86Barrier.S with type a = S.barrier)
- ^
- Warning 60 [unused-module]: unused module B.
- File "herd/X86_64Mem.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/top_herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/parseTest.mli", line 40, characters 11-12:
- 40 | functor (C : Config) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter C.
- File "herd/AArch64Mem.ml", line 25, characters 5-6:
- 25 | (B:AArch64Barrier.S with type a = S.barrier)
- ^
- Warning 60 [unused-module]: unused module B.
- File "herd/herd.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "herd/X86Mem.ml", line 27, characters 5-6:
- 27 | (B:X86Barrier.S with type a = S.barrier)
- ^
- Warning 60 [unused-module]: unused module B.
-> compiled herdtools7.7.55
[herdtools7: sh]
+ /usr/bin/sh "./dune-install.sh" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/herdtools7.7.55)
- File "dune-project", line 3, characters 14-17:
- 3 | (using menhir 2.0)
- ^^^
- Warning: Version 2.0 of the menhir extension is not supported until version
- 1.4 of the dune language.
- Supported versions of this extension in version 1.2 of the dune language:
- - 1.0
-> installed herdtools7.7.55
=== STDERR ===
2026-06-20 18:36.48: OK: build herdtools7.7.55 (runc: 226.7s, disk: 47KB)
2026-06-20 18:36.48: Job succeeded