-
Notifications
You must be signed in to change notification settings - Fork 35
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Set properly standard emacs package #1090
Conversation
The lambdapi-pkg must contain a single form
eldoc-documentation-compose requires emacs 28.1
The package name is lambdapi-mode
Copy the lambdapi binary to the test environment
;; Compatibility: GNU Emacs 26.1 | ||
;; Package-Requires: ((emacs "26.1") (eglot "1.5") (math-symbol-lists "1.2.1") (highlight "20190710.1527")) | ||
;; Compatibility: GNU Emacs 28.1 | ||
;; Package-Requires: ((emacs "28.1") (eglot "1.6") (math-symbol-lists "1.2.1") (highlight "20190710.1527")) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Does that mean that it will work with emacs 28.1 only? I am using emacs 27.1 currently.
Just by curiosity: what was Cask for? |
Q: Is the emacs mode tested by the CI? |
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.
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. |
For CI, I just want to make sure that it compiles only. |
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. |
Update, curate and simplify emacs' mode packaging.