John Soo
be41d7d91d
gnu: cedille: Install the info pages.
...
* gnu/packages/cedille.scm (cedille)[arguments]: Rename phase
'patch-cedille-path-el' to 'patch-cedille-paths' and add substitution for the
info page location. In the 'copy-cedille-mode' phase, install the info page.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2020-04-02 20:55:14 +02:00
John Soo
a8f1b52017
gnu: cedille: Fix emacs outputs.
...
* gnu/packages/cedille.scm (cedille):[arguments] Add slashes to output paths.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2020-04-02 20:55:14 +02:00
Maxim Cournoyer
0a3ce07784
gnu: cedille: Remove guix.d from the Elisp installation directory.
...
* gnu/packages/cedille.scm (cedille)[phases]{patch-cedille-path-el}: Update
the Elisp installation prefix used.
{copy-cedille-mode}: Likewise.
2020-03-19 12:07:10 -04:00
John Soo
1063dea4ff
gnu: cedille: Update to 1.1.2.
...
* gnu/packages/cedille.scm (cedille): Update to 1.1.2.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2020-02-23 19:01:22 +01:00
Timothy Sample
8e41d38afd
gnu: cedille: Use most recent GHC.
...
* gnu/packages/cedille.scm (cedille)[inputs]: Replace 'ghc-8.4' with
'ghc'.
2019-11-20 20:48:50 -05:00
Ludovic Courtès
aa0f683462
gnu: cedille: Adjust import list.
...
This is a followup to dddbc90c64
2019-09-01 00:13:28 +02:00
John Soo
5416d9a942
gnu: Add cedille.
...
* gnu/packages/cedille.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-08-28 18:52:51 +02:00
