Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
265 stars 35 forks source link

conf-emacs dep missing in editors/emacs/dune-project #984

Closed fblanqui closed 2 months ago

fblanqui commented 1 year ago

after dune clean, dune build fails:

File "editors/emacs/dune", line 5, characters 7-19:
5 |   (run %{bin:emacs} --batch --quick --funcall batch-byte-compile
           ^^^^^^^^^^^^
Error: Program emacs not found in the tree or in PATH
 (context: default)
ejgallego commented 1 year ago

Actually the dep there won't be enough, you still need to run opam for the deps to update.

gabrielhdt commented 2 months ago

This is kind of fixed by #1090 because the dune related install is abandoned.