Hi when using the coqide shim I get this:
/home/ali/coq/_build/default/dev/shim/coqide-prelude: line 2: /home/ali/coq/_build/default/dev/shim//usr/local/bin/coqide: No such file or directory
I guess something is set up wrong?
The shims for coqtop work fine
For whatever reason the coqide shim looks like it is putting two
Could it be because I haven't built the stdlib?
Ah OK I didn't run
You're not supposed to need
./configure to use the shim. However, you should make sure it is built by running
dune build dev/shim/coqide-prelude.
Indeed it is always better to run the shim with
dune exec -- shim to ensure its dependencies are built
Yeah, it seems I was missing some dependencies, but this wasn't visible from dune exec. After installing the dependencies, everything works fine.
Indeed, unfortunately, the output of
dune exec is quite limited.
Last updated: Oct 21 2021 at 21:03 UTC