Build:
- 0
2026-06-24 12:11.36: New job: build rfsm.1.4.2 (a91524ef211c) 2026-06-24 12:11.36: Waiting for resource in pool day11-builds 2026-06-24 13:36.10: Got resource from pool day11-builds 2026-06-24 13:36.10: [profile full] build rfsm.1.4.2 2026-06-24 13:36.10: build rfsm.1.4.2 (a91524ef211c) === DEPENDENCIES (14 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb camlp4.4.14+1 42aafa0fa55b dune.3.23.1 848a72441e15 lascar.0.6-alpha 3f7d8439f371 menhir.20211128 4d375e46691e menhirLib.20211128 84dec646e3db menhirSdk.20211128 fab0287522a3 ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-config.2 2d9c209f5590 ocamlbuild.0.16.1 7e0d6aadb209 ocamlfind.1.9.8 214dd418ac02 ocamlgraph.2.2.0 9a3a86466508 === STDOUT === Processing: [default: loading data] [rfsm.1.4.2: dl] [rfsm.1.4.2: extract] -> retrieved rfsm.1.4.2 (https://opam.ocaml.org/cache) [rfsm: ./configure] + /home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2/./configure "--no-gui" "--no-doc" (CWD=/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2) - - ** Configuration summary ** - - Directory where the distribution will be installed: - binaries................ /home/opam/.opam/default/bin - library................. /home/opam/.opam/default/lib - documentation............. /home/opam/.opam/default/doc - emacs mode................ /home/opam/.opam/default/share/emacs/site-lisp - Command for viewing .dot files: "dot" - Command for viewing .dot files: "graphviz" - Command for viewing .vcd files: "gtkwave" - Command for viewing text files: "nano" - - ** Configuration completed successfully ** - ** Wrote files ./config and ./lib/etc/config - [rfsm: make opam] + /usr/bin/make "opam" (CWD=/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2) - (cd src/lib; make byte) - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2/src/lib' - ocamlbuild -use-ocamlfind -use-menhir -no-hygiene -package ocamlgraph -package lascar rfsm.cma - + ocamlfind ocamlc -config - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules version.ml > version.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules misc.mli > misc.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o misc.cmi misc.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules misc.ml > misc.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules ident.mli > ident.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o ident.cmi ident.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules ident.ml > ident.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules intbits.mli > intbits.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o intbits.cmi intbits.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules intbits.ml > intbits.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules types.mli > types.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o types.cmi types.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules types.ml > types.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules expr.mli > expr.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules type_expr.mli > type_expr.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o type_expr.cmi type_expr.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o expr.cmi expr.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules expr.ml > expr.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules type_expr.ml > type_expr.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules typing.mli > typing.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules fsm.mli > fsm.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules action.mli > action.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules eval.mli > eval.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o eval.cmi eval.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules condition.mli > condition.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules global.mli > global.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o action.cmi action.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o condition.cmi condition.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o global.cmi global.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o fsm.cmi fsm.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o typing.cmi typing.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules typing.ml > typing.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules builtins.mli > builtins.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o builtins.cmi builtins.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules builtins.ml > builtins.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules eval.ml > eval.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules condition.ml > condition.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules action.ml > action.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules global.ml > global.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules fsm.ml > fsm.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules sysm.mli > sysm.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o sysm.cmi sysm.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules sysm.ml > sysm.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules fsm_dyn.mli > fsm_dyn.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o fsm_dyn.cmi fsm_dyn.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules fsm_dyn.ml > fsm_dyn.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules stimuli.mli > stimuli.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o stimuli.cmi stimuli.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules stimuli.ml > stimuli.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules trace.ml > trace.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules simul.mli > simul.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -o simul.cmi simul.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules simul.ml > simul.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o trace.cmo trace.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o version.cmo version.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o misc.cmo misc.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o ident.cmo ident.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o intbits.cmo intbits.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o types.cmo types.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o types.cmo types.ml - File "types.ml", line 16, characters 62-80: - 16 | module VarSet = Set.Make(struct type t = string let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o expr.cmo expr.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o expr.cmo expr.ml - File "expr.ml", line 91, characters 62-80: - 91 | module VarSet = Set.Make(struct type t = string let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o type_expr.cmo type_expr.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o typing.cmo typing.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o builtins.cmo builtins.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o eval.cmo eval.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o condition.cmo condition.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o action.cmo action.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o global.cmo global.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o fsm.cmo fsm.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o fsm.cmo fsm.ml - File "fsm.ml", line 37, characters 16-34: - 37 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "fsm.ml", line 67, characters 16-34: - 67 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o sysm.cmo sysm.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o sysm.cmo sysm.ml - File "sysm.ml", line 17, characters 20-38: - 17 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o fsm_dyn.cmo fsm_dyn.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o fsm_dyn.cmo fsm_dyn.ml - File "fsm_dyn.ml", line 235, characters 34-52: - 235 | let compare_priority t1 t2 = Pervasives.compare (priority_of t2) (priority_of t1) in (* reverse order *) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o stimuli.cmo stimuli.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o simul.cmo simul.ml - + ocamlfind ocamlc -pack -g -annot version.cmo misc.cmo ident.cmo intbits.cmo types.cmo type_expr.cmo expr.cmo builtins.cmo eval.cmo action.cmo condition.cmo global.cmo fsm.cmo typing.cmo sysm.cmo fsm_dyn.cmo stimuli.cmo trace.cmo simul.cmo -o rfsm.cmo - + ocamlfind ocamlc -a -package lascar -package ocamlgraph rfsm.cmo -o rfsm.cma - if [ -d ../../lib/ml ]; then rm -f ../../lib/ml/*; else mkdir ../../lib/ml; fi - cp _build/rfsm.cma ../../lib/ml - cp _build/*.cmo _build/*.cmi ../../lib/ml - cp *.mli ../../lib/ml - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2/src/lib' - (cd src/lib; make native) - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2/src/lib' - ocamlbuild -use-ocamlfind -use-menhir -no-hygiene -package ocamlgraph -package lascar rfsm.cmxa - + ocamlfind ocamlc -config - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o types.cmx types.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o types.cmx types.ml - File "types.ml", line 16, characters 62-80: - 16 | module VarSet = Set.Make(struct type t = string let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o type_expr.cmx type_expr.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o expr.cmx expr.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o expr.cmx expr.ml - File "expr.ml", line 91, characters 62-80: - 91 | module VarSet = Set.Make(struct type t = string let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o intbits.cmx intbits.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o builtins.cmx builtins.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o eval.cmx eval.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o action.cmx action.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o condition.cmx condition.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o global.cmx global.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o fsm.cmx fsm.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o fsm.cmx fsm.ml - File "fsm.ml", line 37, characters 16-34: - 37 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "fsm.ml", line 67, characters 16-34: - 67 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o typing.cmx typing.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o ident.cmx ident.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o fsm_dyn.cmx fsm_dyn.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o fsm_dyn.cmx fsm_dyn.ml - File "fsm_dyn.ml", line 235, characters 34-52: - 235 | let compare_priority t1 t2 = Pervasives.compare (priority_of t2) (priority_of t1) in (* reverse order *) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o stimuli.cmx stimuli.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o sysm.cmx sysm.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o sysm.cmx sysm.ml - File "sysm.ml", line 17, characters 20-38: - 17 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o trace.cmx trace.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o version.cmx version.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -o simul.cmx simul.ml - + touch rfsm.mli ; if ocamlfind ocamlopt -pack -g -annot version.cmx misc.cmx ident.cmx intbits.cmx types.cmx type_expr.cmx expr.cmx builtins.cmx eval.cmx action.cmx condition.cmx global.cmx fsm.cmx typing.cmx sysm.cmx fsm_dyn.cmx stimuli.cmx trace.cmx simul.cmx -o rfsm.cmx ; then rm -f rfsm.mli ; else rm -f rfsm.mli ; exit 1; fi - + ocamlfind ocamlopt -a -package lascar -package ocamlgraph rfsm.cmx -o rfsm.cmxa - if [ -d ../../lib/ml ]; then rm -f ../../lib/ml/*; else mkdir ../../lib/ml; fi - cp _build/rfsm.cma _build/rfsm.cmxa _build/rfsm.a ../../lib/ml - cp _build/*.cmx _build/*.cmi ../../lib/ml - cp *.mli ../../lib/ml - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2/src/lib' - (cd src/compiler; make byte) - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2/src/compiler' - ocamlbuild -use-ocamlfind -use-menhir -I lib -no-hygiene -package ocamlgraph -package lascar main.byte - + ocamlfind ocamlc -config - + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - + ocamlfind ocamlc -config - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules main.ml > main.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules ctask.ml > ctask.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/action.mli > lib/action.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/eval.mli > lib/eval.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/expr.mli > lib/expr.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/type_expr.mli > lib/type_expr.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/types.mli > lib/types.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/types.cmi lib/types.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/type_expr.cmi lib/type_expr.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/expr.cmi lib/expr.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/eval.cmi lib/eval.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules cmodel.ml > cmodel.ml.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/action.cmi lib/action.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/condition.mli > lib/condition.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/fsm.mli > lib/fsm.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/condition.cmi lib/condition.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/global.mli > lib/global.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/global.cmi lib/global.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/misc.mli > lib/misc.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/sysm.mli > lib/sysm.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/fsm.cmi lib/fsm.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/misc.cmi lib/misc.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/sysm.cmi lib/sysm.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules logfile.ml > logfile.ml.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o cmodel.cmo cmodel.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o logfile.cmo logfile.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules error.ml > error.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/builtins.mli > lib/builtins.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/fsm_dyn.mli > lib/fsm_dyn.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/ident.mli > lib/ident.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/ident.cmi lib/ident.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules location.mli > location.mli.depends - + /home/opam/.opam/default/bin/ocamllex.opt -q main_lexer.mll - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules main_lexer.ml > main_lexer.ml.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o location.cmi location.mli - + menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' main_parser.mly > main_parser.mly.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules syntax.ml > syntax.ml.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o syntax.cmo syntax.ml - + menhir --ocamlc 'ocamlfind ocamlc -g -annot -package lascar -package ocamlgraph -I lib' --explain --infer main_parser.mly - + menhir --ocamlc 'ocamlfind ocamlc -g -annot -package lascar -package ocamlgraph -I lib' --explain --infer main_parser.mly - Warning: 2 states have shift/reduce conflicts. - Warning: 2 shift/reduce conflicts were arbitrarily resolved. - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules main_parser.mli > main_parser.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o main_parser.cmi main_parser.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/simul.mli > lib/simul.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/fsm_dyn.cmi lib/fsm_dyn.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/stimuli.mli > lib/stimuli.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/stimuli.cmi lib/stimuli.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules static.mli > static.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules systemc.ml > systemc.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/version.ml > lib/version.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/version.cmo lib/version.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/typing.mli > lib/typing.mli.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules vcd.ml > vcd.ml.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/simul.cmi lib/simul.mli - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules vhdl.ml > vhdl.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/intbits.mli > lib/intbits.mli.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/intbits.cmi lib/intbits.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/builtins.cmi lib/builtins.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o main_lexer.cmo main_lexer.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o static.cmi static.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o systemc.cmo systemc.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o lib/typing.cmi lib/typing.mli - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o vcd.cmo vcd.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o vhdl.cmo vhdl.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules options.ml > options.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/trace.ml > lib/trace.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/trace.cmo lib/trace.ml - + ../build_options_spec options_spec.txt options_spec.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules options_spec.ml > options_spec.ml.depends - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o options.cmo options.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o ctask.cmo ctask.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o error.cmo error.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o options_spec.cmo options_spec.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o main.cmo main.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/fsm.ml > lib/fsm.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules location.ml > location.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules main_parser.ml > main_parser.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/simul.ml > lib/simul.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules static.ml > static.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/sysm.ml > lib/sysm.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/fsm.cmo lib/fsm.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/fsm.cmo lib/fsm.ml - File "lib/fsm.ml", line 37, characters 16-34: - 37 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "lib/fsm.ml", line 67, characters 16-34: - 67 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o location.cmo location.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o main_parser.cmo main_parser.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/simul.cmo lib/simul.ml - + ocamlfind ocamlc -c -g -annot -package lascar -package ocamlgraph -I lib -o static.cmo static.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/sysm.cmo lib/sysm.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/sysm.cmo lib/sysm.ml - File "lib/sysm.ml", line 17, characters 20-38: - 17 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/action.ml > lib/action.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/expr.ml > lib/expr.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/misc.ml > lib/misc.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/types.ml > lib/types.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/action.cmo lib/action.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/expr.cmo lib/expr.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/expr.cmo lib/expr.ml - File "lib/expr.ml", line 91, characters 62-80: - 91 | module VarSet = Set.Make(struct type t = string let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/misc.cmo lib/misc.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/types.cmo lib/types.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/types.cmo lib/types.ml - File "lib/types.ml", line 16, characters 62-80: - 16 | module VarSet = Set.Make(struct type t = string let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/eval.ml > lib/eval.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/eval.cmo lib/eval.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/builtins.ml > lib/builtins.ml.depends - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/intbits.ml > lib/intbits.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/builtins.cmo lib/builtins.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/intbits.cmo lib/intbits.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/type_expr.ml > lib/type_expr.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/type_expr.cmo lib/type_expr.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/condition.ml > lib/condition.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/condition.cmo lib/condition.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/global.ml > lib/global.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/global.cmo lib/global.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/typing.ml > lib/typing.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/typing.cmo lib/typing.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/fsm_dyn.ml > lib/fsm_dyn.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/fsm_dyn.cmo lib/fsm_dyn.ml - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/fsm_dyn.cmo lib/fsm_dyn.ml - File "lib/fsm_dyn.ml", line 235, characters 34-52: - 235 | let compare_priority t1 t2 = Pervasives.compare (priority_of t2) (priority_of t1) in (* reverse order *) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/ident.ml > lib/ident.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/ident.cmo lib/ident.ml - + ocamlfind ocamldep -package lascar -package ocamlgraph -modules lib/stimuli.ml > lib/stimuli.ml.depends - + ocamlfind ocamlc -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/stimuli.cmo lib/stimuli.ml - + ocamlfind ocamlc -linkpkg -g -package lascar -package ocamlgraph -I lib lib/misc.cmo lib/types.cmo lib/type_expr.cmo lib/expr.cmo lib/builtins.cmo lib/intbits.cmo lib/eval.cmo lib/action.cmo lib/condition.cmo lib/global.cmo lib/fsm.cmo lib/typing.cmo lib/sysm.cmo cmodel.cmo logfile.cmo ctask.cmo lib/ident.cmo lib/fsm_dyn.cmo lib/stimuli.cmo lib/trace.cmo lib/simul.cmo location.cmo syntax.cmo main_parser.cmo main_lexer.cmo static.cmo lib/version.cmo systemc.cmo vcd.cmo vhdl.cmo error.cmo options.cmo options_spec.cmo main.cmo -o main.byte - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2/src/compiler' - mv src/compiler/main.byte src/compiler/rfsmc - (cd src/compiler; make native) - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2/src/compiler' - ocamlbuild -use-ocamlfind -use-menhir -I lib -no-hygiene -package ocamlgraph -package lascar main.native - + ocamlfind ocamlc -config - + ocamlfind ocamlc -config - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/misc.cmx lib/misc.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/types.cmx lib/types.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/types.cmx lib/types.ml - File "lib/types.ml", line 16, characters 62-80: - 16 | module VarSet = Set.Make(struct type t = string let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/type_expr.cmx lib/type_expr.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/expr.cmx lib/expr.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/expr.cmx lib/expr.ml - File "lib/expr.ml", line 91, characters 62-80: - 91 | module VarSet = Set.Make(struct type t = string let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/builtins.cmx lib/builtins.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/intbits.cmx lib/intbits.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/eval.cmx lib/eval.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/action.cmx lib/action.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/condition.cmx lib/condition.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/global.cmx lib/global.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/fsm.cmx lib/fsm.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/fsm.cmx lib/fsm.ml - File "lib/fsm.ml", line 37, characters 16-34: - 37 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "lib/fsm.ml", line 67, characters 16-34: - 67 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/typing.cmx lib/typing.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/sysm.cmx lib/sysm.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/sysm.cmx lib/sysm.ml - File "lib/sysm.ml", line 17, characters 20-38: - 17 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o cmodel.cmx cmodel.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o logfile.cmx logfile.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/ident.cmx lib/ident.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o location.cmx location.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o syntax.cmx syntax.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o main_parser.cmx main_parser.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/fsm_dyn.cmx lib/fsm_dyn.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/fsm_dyn.cmx lib/fsm_dyn.ml - File "lib/fsm_dyn.ml", line 235, characters 34-52: - 235 | let compare_priority t1 t2 = Pervasives.compare (priority_of t2) (priority_of t1) in (* reverse order *) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/stimuli.cmx lib/stimuli.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/trace.cmx lib/trace.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/version.cmx lib/version.ml - + ocamlfind ocamlopt -c -g -annot -for-pack Rfsm -package lascar -package ocamlgraph -I lib -o lib/simul.cmx lib/simul.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o main_lexer.cmx main_lexer.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o static.cmx static.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o systemc.cmx systemc.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o vcd.cmx vcd.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o vhdl.cmx vhdl.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o options.cmx options.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o ctask.cmx ctask.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o error.cmx error.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o options_spec.cmx options_spec.ml - + ocamlfind ocamlopt -c -g -annot -package lascar -package ocamlgraph -I lib -o main.cmx main.ml - + ocamlfind ocamlopt -linkpkg -g -package lascar -package ocamlgraph -I lib lib/misc.cmx lib/types.cmx lib/type_expr.cmx lib/expr.cmx lib/builtins.cmx lib/intbits.cmx lib/eval.cmx lib/action.cmx lib/condition.cmx lib/global.cmx lib/fsm.cmx lib/typing.cmx lib/sysm.cmx cmodel.cmx logfile.cmx ctask.cmx lib/ident.cmx lib/fsm_dyn.cmx lib/stimuli.cmx lib/trace.cmx lib/simul.cmx lib/version.cmx location.cmx syntax.cmx main_parser.cmx main_lexer.cmx static.cmx systemc.cmx vcd.cmx vhdl.cmx error.cmx options.cmx options_spec.cmx main.cmx -o main.native - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2/src/compiler' - mv src/compiler/main.native src/compiler/rfsmc.opt -> compiled rfsm.1.4.2 [rfsm: make install-opam] + /usr/bin/make "install-opam" (CWD=/home/opam/.opam/default/.opam-switch/build/rfsm.1.4.2) - Installing rfsm in /home/opam/.opam/default/lib - rm -rf /home/opam/.opam/default/lib/rfsm - ocamlfind install -destdir /home/opam/.opam/default/lib rfsm META src/lib/_build/*.mli src/lib/_build/*.cmi src/lib/_build/*.cma src/lib/_build/*.cmx src/lib/_build/*.cmxa src/lib/_build/*.a - Installed /home/opam/.opam/default/lib/rfsm/rfsm.a - Installed /home/opam/.opam/default/lib/rfsm/rfsm.cmxa - Installed /home/opam/.opam/default/lib/rfsm/version.cmx - Installed /home/opam/.opam/default/lib/rfsm/typing.cmx - Installed /home/opam/.opam/default/lib/rfsm/types.cmx - Installed /home/opam/.opam/default/lib/rfsm/type_expr.cmx - Installed /home/opam/.opam/default/lib/rfsm/trace.cmx - Installed /home/opam/.opam/default/lib/rfsm/sysm.cmx - Installed /home/opam/.opam/default/lib/rfsm/stimuli.cmx - Installed /home/opam/.opam/default/lib/rfsm/simul.cmx - Installed /home/opam/.opam/default/lib/rfsm/rfsm.cmx - Installed /home/opam/.opam/default/lib/rfsm/misc.cmx - Installed /home/opam/.opam/default/lib/rfsm/intbits.cmx - Installed /home/opam/.opam/default/lib/rfsm/ident.cmx - Installed /home/opam/.opam/default/lib/rfsm/global.cmx - Installed /home/opam/.opam/default/lib/rfsm/fsm_dyn.cmx - Installed /home/opam/.opam/default/lib/rfsm/fsm.cmx - Installed /home/opam/.opam/default/lib/rfsm/expr.cmx - Installed /home/opam/.opam/default/lib/rfsm/eval.cmx - Installed /home/opam/.opam/default/lib/rfsm/condition.cmx - Installed /home/opam/.opam/default/lib/rfsm/builtins.cmx - Installed /home/opam/.opam/default/lib/rfsm/action.cmx - Installed /home/opam/.opam/default/lib/rfsm/rfsm.cma - Installed /home/opam/.opam/default/lib/rfsm/version.cmi - Installed /home/opam/.opam/default/lib/rfsm/typing.cmi - Installed /home/opam/.opam/default/lib/rfsm/types.cmi - Installed /home/opam/.opam/default/lib/rfsm/type_expr.cmi - Installed /home/opam/.opam/default/lib/rfsm/trace.cmi - Installed /home/opam/.opam/default/lib/rfsm/sysm.cmi - Installed /home/opam/.opam/default/lib/rfsm/stimuli.cmi - Installed /home/opam/.opam/default/lib/rfsm/simul.cmi - Installed /home/opam/.opam/default/lib/rfsm/rfsm.cmi - Installed /home/opam/.opam/default/lib/rfsm/misc.cmi - Installed /home/opam/.opam/default/lib/rfsm/intbits.cmi - Installed /home/opam/.opam/default/lib/rfsm/ident.cmi - Installed /home/opam/.opam/default/lib/rfsm/global.cmi - Installed /home/opam/.opam/default/lib/rfsm/fsm_dyn.cmi - Installed /home/opam/.opam/default/lib/rfsm/fsm.cmi - Installed /home/opam/.opam/default/lib/rfsm/expr.cmi - Installed /home/opam/.opam/default/lib/rfsm/eval.cmi - Installed /home/opam/.opam/default/lib/rfsm/condition.cmi - Installed /home/opam/.opam/default/lib/rfsm/builtins.cmi - Installed /home/opam/.opam/default/lib/rfsm/action.cmi - Installed /home/opam/.opam/default/lib/rfsm/typing.mli - Installed /home/opam/.opam/default/lib/rfsm/types.mli - Installed /home/opam/.opam/default/lib/rfsm/type_expr.mli - Installed /home/opam/.opam/default/lib/rfsm/sysm.mli - Installed /home/opam/.opam/default/lib/rfsm/stimuli.mli - Installed /home/opam/.opam/default/lib/rfsm/simul.mli - Installed /home/opam/.opam/default/lib/rfsm/misc.mli - Installed /home/opam/.opam/default/lib/rfsm/intbits.mli - Installed /home/opam/.opam/default/lib/rfsm/ident.mli - Installed /home/opam/.opam/default/lib/rfsm/global.mli - Installed /home/opam/.opam/default/lib/rfsm/fsm_dyn.mli - Installed /home/opam/.opam/default/lib/rfsm/fsm.mli - Installed /home/opam/.opam/default/lib/rfsm/expr.mli - Installed /home/opam/.opam/default/lib/rfsm/eval.mli - Installed /home/opam/.opam/default/lib/rfsm/condition.mli - Installed /home/opam/.opam/default/lib/rfsm/builtins.mli - Installed /home/opam/.opam/default/lib/rfsm/action.mli - Installed /home/opam/.opam/default/lib/rfsm/META - Installing rfsmc in /home/opam/.opam/default/bin - cp src/compiler/rfsmc src/compiler/rfsmc.opt /home/opam/.opam/default/bin - Installing emacs mode in /home/opam/.opam/default/share/emacs/site-lisp - mkdir -p /home/opam/.opam/default/share/emacs/site-lisp - cp lib/etc/rfsm-mode.el /home/opam/.opam/default/share/emacs/site-lisp -> installed rfsm.1.4.2 === STDERR === 2026-06-24 13:36.47: OK: build rfsm.1.4.2 (runc: 26.1s, disk: 51KB) 2026-06-24 13:36.47: Job succeeded