Tim Hutt

Right. If you just run `cmake` it won't though. It's on by default in `build_simulators.sh` but not in CMake.

The performance problems come from integers / bit-vectors that Sail *doesn't* know the size of though (or a fixed maximum size), so I think to get good performance we need...

> There is a simple workaround however: you can set the generated file to be promoted to the source files. If I'm understanding this correctly, that will mean the generated...

Hmm that didn't seem to work. I added `(mode (promote... ` as follows: ``` (rule (target ast.ml) (deps (:ast ast.lem)) (action (progn (run lem -ocaml %{ast}))) (mode (promote (until-clean))))

Ah I eventually found that it works for `dune build` but not `dune build --release`! That seems like a very strange design. Also I can't use `dune build` because it...

Ok so `dune build` builds `src/lib/ast.ml` and then fails with some warnings. If I *then* do `dune build --release` the build completes and I have `src/lib/ast.ml`. However I don't think...

> we probably want a new directive to prevent Merlin from incorrectly jumping to the _build dir. I still don't quite understand this. Why is it incorrect to jump to...

Ok feedback from the Dune guys: `promote` isn't supposed to work in release builds and isn't a suitable workaround for this issue.

Is there a way to enable promotion in dev mode and disabled it in release mode though?

Note, this works on my relatively normal RHEL8 laptop. The above is from a HPC server which has weird TCL modules and stuff. But even so it should work!