make verilator-tests output (59e47777)

gistfile1.txt

> make verilator-tests
make verilator-tests                                                                                                                                 Thu 11 Mar 2021 01:49:07 PM UTC
make -C tests
make[1]: Entering directory '/home/mbaty/nosave/koika/examples/rv/tests'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/home/mbaty/nosave/koika/examples/rv/tests'
make -C ../.. examples/rv/_objects/rv32i.v
make[1]: Entering directory '/home/mbaty/nosave/koika'

== Building OCaml library and executables ==
dune build ocaml/cuttlec.exe @install
etc/configure tests/cross_cycle.v tests/double_write.v tests/errors.v tests/extcall.v tests/internal_functions.v tests/large_writeset.v tests/muxelim.v tests/read1_write1_check.v tests/register_file_bypassing.v tests/shifts.v tests/struct_init.v tests/switches.v tests/trivial_state_machine.v tests/unpack.v examples/collatz.v examples/conflicts_modular.v examples/conflicts.v examples/cosimulation.v examples/datatypes.v examples/external_rule.v examples/fft.v examples/fir.v examples/function_call.v examples/gcd_machine.v examples/method_call.v examples/pipeline_tutorial.v examples/pipeline.v examples/save_restore.v examples/uart.v examples/vector.v examples/rv/rv32i.v examples/rv/rv32e.v

-- Compiling examples/rv/rv32i.v --
dune build "examples/rv/_objects/rv32i.v/rv32i.ml"
dune exec -- cuttlec "_build/default/examples/rv/_objects/rv32i.v/rv32i.ml" -T all -o "examples/rv/_objects/rv32i.v"
make[2]: Entering directory '/home/mbaty/nosave/koika/examples/rv/_objects/rv32i.v'
make[2]: Leaving directory '/home/mbaty/nosave/koika/examples/rv/_objects/rv32i.v'
make[1]: Leaving directory '/home/mbaty/nosave/koika'
make -C _objects/rv32i.v obj_dir.opt/Vtop
make[1]: Entering directory '/home/mbaty/nosave/koika/examples/rv/_objects/rv32i.v'
verilator +define+MEM_ADDRESS_WIDTH=14 +define+BRAM_RUNTIME_INIT+SIMULATION -CFLAGS -DVL_USER_FINISH -Wno-fatal -CFLAGS "-I /home/mbaty/nosave/koika/examples/rv/_objects/rv32i.v" --prefix Vtop --cc --exe --compiler gcc --Mdir obj_dir.opt --x-assign fast --x-initial fast --noassert -O3 -CFLAGS '-O3 -march=native -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=0 -fno-stack-protector -flto' -LDFLAGS '-O3 -march=native -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=0 -fno-stack-protector -flto' rvcore.verilator.cpp top.v
%Error: rv32.v:280:2: Cannot find file containing module: 'ext_host_id'
  280 |  ext_host_id mod_ext_host_id0(.CLK(CLK), .RST_N(RST_N), .arg(1'b1), .out(mod_ext_host_id0_out));
      |  ^~~~~~~~~~~
        top.v:25:1: ... note: In file included from top.v
%Error: rv32.v:280:2: This may be because there's no search path specified with -I<dir>.
  280 |  ext_host_id mod_ext_host_id0(.CLK(CLK), .RST_N(RST_N), .arg(1'b1), .out(mod_ext_host_id0_out));
      |  ^~~~~~~~~~~
        top.v:25:1: ... note: In file included from top.v
        ... Looked in:
             ext_host_id
             ext_host_id.v
             ext_host_id.sv
             obj_dir.opt/ext_host_id
             obj_dir.opt/ext_host_id.v
             obj_dir.opt/ext_host_id.sv
%Error: Exiting due to 2 error(s)
make[1]: *** [Makefile:193: obj_dir.opt/Vtop.mk] Error 1
make[1]: Leaving directory '/home/mbaty/nosave/koika/examples/rv/_objects/rv32i.v'
make: *** [Makefile:42: _objects/rv32i.v/obj_dir.opt/Vtop] Error 2