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/packages/scribus.scm | |
| parent | 3d2e41adf2d907311035d60557168696aaeeb381 (diff) | |
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/packages/scribus.scm')
0 files changed, 0 insertions, 0 deletions