diff options
author | zimoun <zimon.toutoune@gmail.com> | 2021-11-10 20:37:48 +0100 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2021-11-22 19:21:17 +0100 |
commit | cb296dfa2e2938d18ae0ee347bed0cc94bc79cf8 (patch) | |
tree | 664c342e60dadd0cb1a45e48e484c1d6505163cc /gnu.scm | |
parent | 3d2e41adf2d907311035d60557168696aaeeb381 (diff) | |
download | guix-cb296dfa2e2938d18ae0ee347bed0cc94bc79cf8.tar.gz |
gnu: proof-general: Adjust autoloads for Emacs.
Fixes <https://bugs.gnu.org/46016>. * gnu/packages/coq.scm (proof-general)[native-inputs]: Remove 'which'. [inputs]: Remove 'coq' and 'emacs'. [arguments]<#:make-flags>: Adjust to find 'emacs'. Set 'ELISP' and 'DEST_LISP'. <#:modules, #:imported-modules>: Remove. <#:phases>: Remove call to 'which' in Makefile. Add copy file allowing Emacs autoloads. Clean unnecessary code. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu.scm')
0 files changed, 0 insertions, 0 deletions