summary refs log tree commit diff
path: root/gnu.scm
diff options
context:
space:
mode:
authorzimoun <zimon.toutoune@gmail.com>2021-11-10 20:37:48 +0100
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-11-22 19:21:17 +0100
commitcb296dfa2e2938d18ae0ee347bed0cc94bc79cf8 (patch)
tree664c342e60dadd0cb1a45e48e484c1d6505163cc /gnu.scm
parent3d2e41adf2d907311035d60557168696aaeeb381 (diff)
downloadguix-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