Set properly standard emacs package

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Other

265 stars 35 forks source link

Set properly standard emacs package #1090

Closed gabrielhdt closed 2 months ago

gabrielhdt commented 2 months ago

Update, curate and simplify emacs' mode packaging.

[x] removed mentions to Cask
[x] setup emacs standard packaging through a tarball
[x] remove dune integration (don't install the mode through opam or dune)
[x] review manual

fblanqui commented 2 months ago

Just by curiosity: what was Cask for?

fblanqui commented 2 months ago

Q: Is the emacs mode tested by the CI?

gabrielhdt commented 2 months ago

Just by curiosity: what was Cask for?

It's supposed to make packaging easier. I think it's more cumbersome to have to install cask and set it up rather than bypass it and really stick to Emacs' standards.

Q: Is the emacs mode tested by the CI?

No it's not; I don't really know how to test human interfaces (apart from command line interfaces). It would be really cool though.

fblanqui commented 2 months ago

For CI, I just want to make sure that it compiles only.

gabrielhdt commented 2 months ago

That should be easy to do, you'd just have to call

$ emacs --batch --eval "(add-to-list  'load-path \"$(pwd)\")" --eval '(byte-compile-file "FILE")'

on each file, assuming the command is called from the directory that contains the files.