I just tried:
dune build -p coq-core,coq-stdlib,coqide-server,coqide find _build -name coqide -executable
and got nothing. I have it in my package, but don't know where I get it from...
this is because
_build/install/default/bin/coqide is a symlink to
The thing looks a bit weird but dune has to work on windows so there is a bit of stuff like this to have a more uniform setup in cross-compilation etc...
I'm using coq's 8.15.0 tarball from github, dune 2.9.1 and my command line to compile is:
dune build -p coq-core,coq-stdlib,coqide-server,coqide.
$ find _build/ -name "coqide*" -type f _build/default/coqide-server.install _build/default/coqide-server.opam _build/default/coqide.opam _build/default/coqide-server.dune-package _build/default/coqide.dune-package _build/default/man/coqide.1 _build/default/tools/configure/coqide.ml _build/default/tools/configure/.conf.objs/coqide.ml.d _build/default/tools/configure/.conf.objs/coqide.mli.d _build/default/tools/configure/coqide.mli _build/default/coqide.install
I do see ide/coqide/dune declaring an executable with public_name coqide, but I don't see it anywhere... I do have a /usr/bin/coqide in my Debian package, but trying to build by hand, I don't know where it comes from. In fact, I was precisely trying to understand things better to rework the Debian packaging to follow upstream packages. For the moment, let's say learning dune starts with a cliff rather than a steep slope ;-)
The executable is optional
are you sure you have the deps installed?
The location is
Oh dear, indeed with the current OCaml 4.13.1 transition in Debian, I had lost lablgtk... thanks!
Julien Puydt has marked this topic as resolved.
Last updated: Feb 06 2023 at 18:03 UTC