John Soo
5c826341a3
gnu: Add ghc-happy@1.19.9
...
* gnu/packages/purescript.scm (ghc-happy-1.19.9): New file, New variable.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add purescript.scm.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:26 +01:00
John Soo
3cf7219cac
gnu: Add ghc-semialign.
...
* gnu/packages/haskell-xyz.scm (ghc-semialign): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:26 +01:00
John Soo
20c440ea04
gnu: Add ghc-these.
...
* gnu/packages/haskell-xyz.scm (ghc-these): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:26 +01:00
John Soo
af36939410
gnu: Add ghc-assoc.
...
* gnu/packages/haskell-xyz.scm (ghc-assoc): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:26 +01:00
John Soo
e345d93825
gnu: Add ghc-aeson-better-errors.
...
* gnu/packages/haskell-web.scm (ghc-aeson-better-errors): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:26 +01:00
John Soo
03d4ea83bf
gnu: Add ghc-bower-json.
...
* gnu/packages/haskell-web.scm (ghc-bower-json): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:26 +01:00
John Soo
42e7128673
gnu: Add ghc-language-javascript.
...
* gnu/packages/haskell-web.scm (ghc-language-javascript): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:25 +01:00
John Soo
25a221a80b
gnu: Add ghc-pattern-arrows.
...
* gnu/packages/haskell-xyz.scm (ghc-pattern-arrows): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:25 +01:00
John Soo
8a6e745df1
gnu: Add ghc-protolude.
...
* gnu/packages/haskell-xyz.scm (ghc-protolude): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:25 +01:00
John Soo
4759b61735
gnu: Add ghc-mtl-compat.
...
* gnu/packages/haskell-xyz.scm (ghc-mtl-compat): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:25 +01:00
John Soo
868415d8a4
gnu: Add ghc-sourcemap.
...
gnu/pacakges/haskell-web.scm (ghc-sourcemap): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:25 +01:00
John Soo
b62f4ec4ca
gnu: Add ghc-wai-websockets.
...
* gnu/packages/haskell-web.scm (ghc-wai-websockets): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:25 +01:00
John Soo
c9fc2d2964
gnu: Add ghc-websockets.
...
* gnu/packages/haskell-web.scm (ghc-websockets): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:25 +01:00
John Soo
13f7e5a1b7
gnu: Add ghc-tasty-hspec.
...
* gnu/packages/haskell-check.scm (ghc-tasty-hspec): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:24 +01:00
John Soo
460e4e42c8
gnu: Add ghc-transformers.
...
* gnu/packages/haskell-xyz.scm (ghc-transformers): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:24 +01:00
John Soo
d7ad08239b
gnu: Add ghc-utf8-light.
...
* gnu/packages/haskell-xyz.scm (ghc-utf8-light): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-05-08 09:53:22 +01:00
Guillaume Le Vaillant
503447ad4e
gnu: rtl-sdr: Fix location of udev rules file.
...
* gnu/packages/radio.scm (rtl-sdr)[arguments]: Modify 'fix-paths' phase to put
the udev rules file in 'lib/' instead of 'etc/'.
2020-05-08 09:01:14 +02:00
Tobias Geerinckx-Rice
44585a0e9f
gnu: powertop: Fix typo in description.
...
* gnu/packages/linux.scm (powertop)[description]: Excise space.
2020-05-08 02:41:09 +02:00
Tobias Geerinckx-Rice
ae1cda76f5
gnu: acpi-call-linux-module: Update to 3.17-0.70b9c80.
...
* gnu/packages/linux.scm (acpi-call-linux-module): Update to
3.17-0.70b9c80.
[arguments]: Remove ‘fix-for-linux-4.12’ phase.
2020-05-08 02:31:58 +02:00
Tobias Geerinckx-Rice
4d36a27887
gnu: powertop: Update to 2.12.
...
* gnu/packages/linux.scm (powertop): Update to 2.12.
2020-05-08 02:31:58 +02:00
Ludovic Courtès
bdb9b4e8d3
pack: Factorize 'exec_in_user_namespace' wrapper.
...
* gnu/packages/aux-files/run-in-namespace.c (exec_in_user_namespace):
New function, with code taken from...
(main): ... here. Call it.
2020-05-07 23:52:25 +02:00
Ludovic Courtès
14928af2af
pack: Add 'xmalloc' in wrapper.
...
* gnu/packages/aux-files/run-in-namespace.c (xmalloc): New function.
(concat): Use it.
2020-05-07 23:52:25 +02:00
Ludovic Courtès
4a53c19a32
pack: Fix off-by-one in PRoot handling in the wrapper.
...
* gnu/packages/aux-files/run-in-namespace.c (exec_with_proot): Make
'proot_argv' one element larger to account for the terminating NULL.
2020-05-07 23:52:25 +02:00
Nicolas Goaziou
8ba2aa22f1
gnu: Add emacs-tramp.
...
* gnu/packages/emacs-xyz.scm (emacs-tramp): New variable.
2020-05-07 18:08:28 +02:00
Guillaume Le Vaillant
2bee789a47
gnu: rtl-sdr: Install udev rules.
...
* gnu/packages/radio.scm (rtl-sdr)[arguments]: Add '-DINSTALL_UDEV_RULES=ON'
to configure-flags and add a 'fix-paths' phase to put the udev rules in the
right place.
[description]: Indicate how to add the udev rules to the system
configuration.
2020-05-07 16:48:49 +02:00
Jonathan Brielmaier
b14aab6710
gnu: Add icedove.
...
* gnu/packages/gnuzilla.scm (%icedove-build-id, icedove): New variables.
Co-authored-by: Nikita <nikita@n0.is>
Co-authored-by: Adrian Malacoda <malacoda@monarch-pass.net>
Co-authored-by: Ricardo Wurmus <rekado@elephly.net>
2020-05-07 15:43:11 +02:00
Tobias Geerinckx-Rice
eb8b471e82
gnu: mu: Remove dubious TODO.
...
We don't actually want to add mug, ‘just a toy which is not meant for
distribution.’ (NEWS.org)
* gnu/packages/mail.scm (mu): Remove a comment encouraging it.
2020-05-07 15:22:33 +02:00
Tobias Geerinckx-Rice
712f52ace3
gnu: mu: Update to 1.4.4.
...
* gnu/packages/mail.scm (mu): Update to 1.4.4.
[source]: Update URI.
2020-05-07 15:22:32 +02:00
Brice Waegeneire
f96ddb6096
gnu: usbguard: Fix warning about 'catch'.
...
* gnu/packages/hardware.scm (usbguard)[arguments]: Rename phase
'patch-makefile' to 'patch-build-scripts', patch 'Makefile.in' files
instead of 'Makefile.am' and fix 'catch' include path.
[native-inputs]: Remove 'autoconf' and 'automake'.
2020-05-07 11:26:44 +02:00
Brice Waegeneire
febd19daaa
gnu: usbguard: Use packaged 'pegtl'.
...
* gnu/packages/hardware.scm (usbguard)[arguments]: Remove configure flag
'--with-bundled-pegtl'.
[inputs]: Add 'pegtl'
2020-05-07 11:26:42 +02:00
Brice Waegeneire
741d222647
gnu: Add pegtl.
...
* gnu/packages/cpp.scm (pegtl): New variable.
2020-05-07 11:26:38 +02:00
Pierre Neidhardt
e5f1f5ce07
gnu: warsow-qfusion: Remove bundled binaries and inputs.
...
* gnu/packages/game-development.scm (warsow-qfusion)[source]: Add snippet to
remove unused bundled binaries and inputs.
2020-05-07 09:58:56 +02:00
Pierre Neidhardt
3078c05eb2
gnu: sbcl-iolib.grovel: Deprecate in favour of sbcl-cffi-grovel.
...
* gnu/packages/lisp-xyz.scm (sbcl-iolib.grovel): Deprecate since upstream has
removed it; they are now using cffi-grovel instead.
2020-05-07 09:23:06 +02:00
Pierre Neidhardt
d35a0f1452
gnu: sbcl-trivial-backtrace: Fix typo in description.
...
* gnu/packages/lisp-xyz.scm (sbcl-trivial-backtrace)[description]: Replace
"On" with "One".
2020-05-07 09:23:06 +02:00
Jan (janneke) Nieuwenhuizen
1339a03b6d
gnu: glibc/hurd-headers: Cross-build fix for the Hurd.
...
* gnu/packages/base.scm (glibc/hurd-headers)[native-inputs]: Add mig; when
cross-building use 32-bit mig.
2020-05-07 07:11:33 +02:00
L p R n d n
bed695aa94
gnu: lightdm-gtk-greeter: Wrap binary.
...
* gnu/package/display-managers.scm (lightdm-gtk-greeter)[inputs]: Add
shared-mime-info.
[arguments]: Add "wrap-program" phase.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2020-05-07 00:08:11 +02:00
L p R n d n
13b012754e
gnu: lightdm-gtk-greeter: Fix .desktop file.
...
* gnu/packages/display-managers.scm (lightdm-gtk-greeter)[arguments]: Fix
reference to greeter in .desktop file with "fix-.desktop-file" phase.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2020-05-07 00:08:11 +02:00
L p R n d n
4e6396983a
gnu: lightdm-gtk-greeter: Fix at-spi runtime dependency.
...
* gnu/packages/display-manager.scm (lightdm-gtk-greeter): Fix at-spi runtime
dependency.
[inputs]: Add at-spi2-core.
[arguments]: Add "--enable-at-spi-command" configure flag.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2020-05-07 00:08:11 +02:00
L p R n d n
0097e931d0
gnu: lightdm: Add vala bindings.
...
* gnu/packages/display-managers.scm (lightdm)[native-inputs]: Add vala.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2020-05-07 00:08:10 +02:00
L p R n d n
373c5dfadf
gnu: lightdm: Update to 1.30.0.
...
* gnu/packages/display-managers.scm (lightdm): Update to 1.30.0.
[arguments]: Re-enable all tests by removing 'disable-broken-tests phase.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2020-05-07 00:08:10 +02:00
Ricardo Wurmus
5b9bdeb52c
gnu: Add plymouth.
...
* gnu/packages/freedesktop.scm (plymouth): New variable.
Co-authored-by: Nikita <nikita@n0.is>
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2020-05-07 00:08:10 +02:00
Giacomo Leidi
13c18af1d8
gnu: nix: Update to 2.3.4.
...
* gnu/packages/package-management.scm (nix): Update to 2.3.4,
[inputs]: Add boost, brotli, editline.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2020-05-06 22:49:56 +02:00
Giacomo Leidi
b84ea6c9db
gnu: Add editline.
...
* gnu/packages/libedit.scm (editline): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2020-05-06 22:49:56 +02:00
Giacomo Leidi
409d2907b8
gnu: supercollider: Update to 3.11.0.
...
This also restores IDE support.
* gnu/packages/audio.scm (supercollider): Update to 3.11.0.
[outputs]: Add an "ide" output.
[configure-flags]: Enable Qt IDE, fortify source and build scsynth as a
shared library.
[phases]: Do not delete no longer existing failing tests and add
an 'install-ide phase.
[native-inputs]: Add qttools and ableton-link.
[inputs]: Add qtbase, qtdeclarative, qtsvg, qtwebchannel and qtwebsockets.
[propagated-inputs]: Add qtwebengine.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2020-05-06 22:49:56 +02:00
Giacomo Leidi
17aa4eb4e1
gnu: Add ableton-link.
...
* gnu/packages/audio.scm (ableton-link): New variable.
* gnu/packages/patches/ableton-link-system-libraries-debian.patch: Patch
CMakeLists.txt to use system libraries.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2020-05-06 22:49:56 +02:00
Jack Hill
0e741a8975
gnu: Add gnome-shell-extension-clipboard-indicator.
...
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-clipboard-indicator):
New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2020-05-06 22:49:56 +02:00
Jean-Baptiste Note
b2b9b227f3
gnu: Add makepasswd.
...
* gnu/packages/password-utils.scm (makepasswd): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2020-05-06 22:49:55 +02:00
Jack Hill
a6919866b0
gnu: webkitgtk: Patch to share store via Bubblewrap.
...
Fixes <https://bugs.gnu.org/40837 >.
* gnu/packages/patches/webkitgtk-share-store.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/webkit.scm (webkitgtk)[source](patches): Use it.
Co-authored-by: Marius Bakke <mbakke@fastmail.com>
2020-05-06 22:49:55 +02:00
Timotej Lazar
e3bf2a66a2
gnu: endless-sky: Update to 0.9.12.
...
* gnu/packages/games.scm (endless-sky): Update to 0.9.12.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-05-06 22:24:37 +03:00
Pierre Neidhardt
758f32afdb
gnu: sbcl-type-i: Update to 20191203.
...
* gnu/packages/lisp-xyz.scm (sbcl-type-i): Update to 20191203.
2020-05-06 18:15:58 +02:00