Commit Graph

35004 Commits

Author SHA1 Message Date
Tobias Geerinckx-Rice 22c88f5d85
gnu: libgit2: Don't use unstable tarball.
* gnu/packages/version-control.scm (libgit2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice c3ecab0dc5
gnu: python-pygit2: Update to 0.28.0.
* gnu/packages/python-xyz.scm (python-pygit2): Update to 0.28.0.
[arguments]: Remove ‘fix-dependency-versioning’ phase.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 05f6b03217
gnu: synfig, synfigstudio: Update to 1.2.2.
* gnu/packages/animation.scm (synfig-version): New variable.
(etl)[version]: Use it.
(synfig)[version]: Likewise.
[source]: Update to 1.2.2.
[native-inputs]: Add intltool.
(synfigstudio)[version]: Use SYNFIG-VERSION.
[source]: Update to 1.2.2.  Remove obsolete patch.
* gnu/packages/patches/synfigstudio-fix-ui-with-gtk3.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 36c8f1f1e6
gnu: etl: Update to 1.2.2.
* gnu/packages/animation.scm (etl): Update to 1.2.2.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 8b4e76249a
gnu: linux-libre: Set DEVPTS_MULTIPLE_INSTANCES only where needed.
* gnu/packages/linux.scm (%default-extra-linux-options): Move obsolete
CONFIG_DEVPTS_MULTIPLE_INSTANCES option…
(linux-libre-4.4): …here.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 5309c3a158
gnu: khal: Use HTTPS home page.
* gnu/packages/calendar.scm (khal)[home-page]: Use HTTPS.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 2125cf62ef
gnu: khal: Update to 0.10.1.
* gnu/packages/calendar.scm (khal): Update to 0.10.1.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 8ce7520d09
gnu: burp: Update to 2.3.4.
* gnu/packages/backup.scm (burp): Update to 2.3.4.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 228414cee5
gnu: emacs-evil-org: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-evil-org)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 3b5edf911d
gnu: emacs-evil-multiedit: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-evil-multiedit)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 06c520586f
gnu: emacs-evil-magit: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-evil-magit)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice fdb4afd41a
gnu: emacs-desktop-environment: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-desktop-environment)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice 8609bee846
gnu: emacs-esh-autosuggest: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-esh-autosuggest)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:29 +02:00
Tobias Geerinckx-Rice c9cb0fda5e
gnu: emacs-daemons: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-daemons)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice d405677747
gnu: emacs-dts-mode: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-dts-mode)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 2eca49a01b
gnu: emacs-noflet: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-noflet)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice f615fdecee
gnu: emacs-stickyfunc-enhance: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-stickyfunc-enhance)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 9491392df8
gnu: emacs-eros: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-eros)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice c4a835268f
gnu: emacs-highlight-escape-sequences: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-highlight-escape-sequences)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice c1e57bc70f
gnu: emacs-stumpwm-mode: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-stumpwm-mode)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 60ec1cdaeb
gnu: emacs-grep-context: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-grep-context)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 4fa915b29e
gnu: emacs-racket-mode: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-racket-mode)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice ceae4b1067
gnu: emacs-faceup: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-faceup)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice fa6b687bb3
gnu: emacs-default-text-scale: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-default-text-scale)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 42ce34471f
gnu: emacs-helm-descbinds: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-descbinds)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 3a2b69f201
gnu: emacs-helm-company: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-company)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 2eb10e886e
gnu: emacs-helm-eww: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-eww)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 650c155bb8
gnu: emacs-helm-firefox: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-firefox)[source]: Use GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 5496aa124d
gnu: emacs-s: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-s)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 85baeb2002
gnu: mupen64plus-video-z64: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-video-z64)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-14 20:15:28 +02:00
Tobias Geerinckx-Rice 10bcd4bb95
gnu: mupen64plus-core: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-core)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-14 20:15:27 +02:00
Danny Milosavljevic e74a08f921
gnu: docker: Check for error on XFRM.
* gnu/packages/patches/docker-use-fewer-modprobes.patch: Check for error on
XFRM.
2019-04-14 19:02:52 +02:00
Pierre Neidhardt 9a018b9b93
gnu: Add cdemu-client.
* gnu/packages/cdrom.scm (cdemu-client): New variable.
2019-04-14 19:01:10 +02:00
Pierre Neidhardt ba5c154e96
gnu: Add cdemu-daemon.
* gnu/packages/cdrom.scm (cdemu-daemon): New variable.
2019-04-14 19:01:10 +02:00
Pierre Neidhardt 4a22d71af5
gnu: Add libmirage.
* gnu/packages/cdrom.scm (libmirage): New variable.
2019-04-14 19:01:09 +02:00
Brian Leung f446f789e6
gnu: Add emacs-eacl.
* gnu/packages/emacs-xyz.scm (emacs-eacl): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:12 +02:00
Brian Leung bbc22b984d
gnu: Add emacs-counsel-tramp.
* gnu/packages/emacs-xyz.scm (emacs-counsel-tramp): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:12 +02:00
Brian Leung ebc6a59c63
gnu: Add emacs-eval-sexp-fu-el.
* gnu/packages/emacs-xyz.scm (emacs-eval-sexp-fu-el): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:12 +02:00
Brian Leung 388168b6b4
gnu: Add emacs-info-plus.
* gnu/packages/emacs-xyz.scm (emacs-info-plus): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:11 +02:00
Brian Leung a13884dc36
gnu: Add emacs-el-patch.
* gnu/packages/emacs-xyz.scm (emacs-el-patch): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:11 +02:00
Brian Leung 46695dbaac
gnu: Add emacs-counsel-dash.
* gnu/packages/emacs-xyz.scm (emacs-counsel-dash): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:11 +02:00
Brian Leung 5150c6e53d
gnu: Add emacs-helm-dash.
* gnu/packages/emacs-xyz.scm (emacs-helm-dash): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:11 +02:00
Brian Leung 3b60b5fa89
gnu: Add emacs-counsel-etags.
* gnu/packages/emacs-xyz.scm (emacs-counsel-etags): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:11 +02:00
Brian Leung df04eeec75
gnu: Add emacs-peep-dired.
* gnu/packages/emacs-xyz.scm (emacs-peep-dired): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:11 +02:00
Brian Leung 87b6896ed7
gnu: Add emacs-origami-el.
* gnu/packages/emacs-xyz.scm (emacs-origami-el): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:11 +02:00
Brian Leung 226ab1bc01
gnu: Add emacs-rjsx-mode.
* gnu/packages/emacs-xyz.scm (emacs-rjsx-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:11 +02:00
Brian Leung fa07cf621e
gnu: Add emacs-flow-minor-mode.
* gnu/packages/emacs-xyz.scm (emacs-flow-minor-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:10 +02:00
Brian Leung fba587b1ad
gnu: Add emacs-add-node-modules-path.
* gnu/packages/emacs-xyz.scm (emacs-add-node-modules-path): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:10 +02:00
Brian Leung e395359b95
gnu: Add emacs-dotenv-mode.
* gnu/packages/emacs-xyz.scm (emacs-dotenv-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:10 +02:00
Brian Leung e626d7ee8f
gnu: Add emacs-markdown-preview-mode.
* gnu/packages/emacs-xyz.scm (emacs-markdown-preview-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:10 +02:00
Brian Leung 8d7da6f0ca
gnu: Add emacs-web-server.
* gnu/packages/emacs-xyz.scm (emacs-web-server): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:10 +02:00
Brian Leung 877546b46c
gnu: Add emacs-prodigy-el.
* gnu/packages/emacs-xyz.scm (emacs-prodigy-el): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:10 +02:00
Brian Leung 6746bdddf1
gnu: Add emacs-ert-async.
* gnu/packages/emacs-xyz.scm (emacs-ert-async): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:10 +02:00
Brian Leung e961133f74
gnu: Add emacs-exwm-edit.
* gnu/packages/emacs-xyz.scm (emacs-exwm-edit): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:10 +02:00
Brian Leung bb1df815d0
gnu: Add emacs-all-the-icons-dired.
* gnu/packages/emacs-xyz.scm (emacs-all-the-icons-dired): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung 0ff3c6a006
gnu: Add emacs-vdiff-magit.
* gnu/packages/emacs-xyz.scm (emacs-vdiff-magit): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung 568c67e5d7
gnu: Add emacs-vdiff.
* gnu/packages/emacs-xyz.scm (emacs-vdiff): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung 00400e84eb
gnu: Add emacs-equake.
* gnu/packages/emacs-xyz.scm (emacs-equake): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung 6a39740d58
gnu: Add emacs-tco-el.
* gnu/packages/emacs-xyz.scm (emacs-tco-el): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung ccf220f363
gnu: Add emacs-eshell-up.
* gnu/packages/emacs-xyz.scm (emacs-eshell-up): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung 884cc87164
gnu: Add emacs-fish-mode.
* gnu/packages/emacs-xyz.scm (emacs-fish-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung c6b384de50
gnu: Add emacs-prettier.
* gnu/packages/emacs-xyz.scm (emacs-prettier): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:09 +02:00
Brian Leung b571a69a0f
gnu: Add emacs-js2-refactor-el.
* gnu/packages/emacs-xyz.scm (emacs-js2-refactor-el): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Brian Leung a8ef7ecc8e
gnu: Add emacs-flycheck-haskell.
* gnu/packages/emacs-xyz.scm (emacs-flycheck-haskell): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Brian Leung 83b6da9bc4
gnu: Add emacs-vimrc-mode.
* gnu/packages/emacs-xyz.scm (emacs-vimrc-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Brian Leung 5b947258c8
gnu: Add emacs-elisp-docstring-mode.
* gnu/packages/emacs-xyz.scm (emacs-elisp-docstring-mode): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Brian Leung e22ab6a1b4
gnu: Add emacs-undo-propose-el.
* gnu/packages/emacs-xyz.scm (emacs-undo-propose-el): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-04-14 17:42:08 +02:00
Ricardo Wurmus a84510f99b
gnu: Add flightgear.
* gnu/packages/games.scm (flightgear): New variable.
2019-04-14 15:54:40 +02:00
Ricardo Wurmus cd5289467d
gnu: Add plib.
* gnu/packages/game-development.scm (plib): New variable.
2019-04-14 15:53:25 +02:00
Ricardo Wurmus 20185e4fe7
gnu: Add simgear.
* gnu/packages/games.scm (simgear): New variable.
2019-04-14 14:45:47 +02:00
Ricardo Wurmus df8ab77450
gnu: Add openscenegraph-3.4.
* gnu/packages/graphics.scm (openscenegraph-3.4): New variable.
2019-04-14 14:45:47 +02:00
Christopher Baines cabe8f1844
gnu: Add sqitch.
* gnu/packages/databases.scm (sqitch): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 7b233133ce
gnu: Add perl-string-shellquote.
* gnu/packages/perl.scm (perl-string-shellquote): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 55916fa226
gnu: Add perl-mysql-config.
* gnu/packages/databases.scm (perl-mysql-config): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 3840c51555
gnu: Add perl-test-version.
* gnu/packages/perl-check.scm (perl-test-version): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 709a9e9214
gnu: Add perl-test-file-contents.
* gnu/packages/perl-check.scm (perl-test-file-contents): New variable.
2019-04-14 10:45:59 +01:00
Christopher Baines 402cfebf5c
gnu: Add perl-test-file.
* gnu/packages/perl-check.scm (perl-test-file): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines 9c5551c4cc
gnu: Add perl-test-dir.
* gnu/packages/perl-check.scm (perl-test-dir): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines c1a4e783b2
gnu: Add perl-test-checkdeps.
* gnu/packages/perl-check.scm (perl-test-checkdeps): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines 618d52a607
gnu: Add perl-uri-db.
* gnu/packages/perl-web.scm (perl-uri-db): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines ce6bea4439
gnu: Add perl-uri-nested.
* gnu/packages/perl-web.scm (perl-uri-nested): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines 9273ebfeab
gnu: Add perl-template-tiny.
* gnu/packages/perl.scm (perl-template-tiny): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines e748fbe2ac
gnu: Add perl-string-formatter.
* gnu/packages/perl.scm (perl-string-formatter): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines f73d4b1fdc
gnu: Add perl-io-pager.
* gnu/packages/perl.scm (perl-io-pager): New variable.
2019-04-14 10:45:58 +01:00
Christopher Baines 54a51789fd
gnu: Add perl-tie-handle-offset.
* gnu/packages/perl.scm (perl-tie-handle-offset): New variable.
2019-04-14 10:45:57 +01:00
Christopher Baines 366b76c1cd
gnu: Add perl-cpan-distnameinfo.
* gnu/packages/perl.scm (perl-cpan-distnameinfo): New variable.
2019-04-14 10:45:57 +01:00
Christopher Baines ef9902d37e
gnu: Add perl-config-gitlike.
* gnu/packages/perl.scm (perl-config-gitlike): New variable.
2019-04-14 10:45:57 +01:00
Christopher Baines 41c685f51c
gnu: Add perl-http-tinyish.
* gnu/packages/web.scm (perl-http-tinyish): New variable.
2019-04-14 10:45:57 +01:00
Rutger Helling 1b7436aeb5
gnu: wine-staging: Update to 4.6.
* gnu/packages/wine.scm (wine-staging-patchset-data): Update to 4.6.
* gnu/packages/wine.scm (wine-staging): Update to 4.6.
2019-04-14 09:34:43 +02:00
Nicolò Balzarotti 296ea15cf3
gnu: Add r-rex.
* gnu/packages/cran.scm (r-rex): New variable.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2019-04-13 11:12:15 +02:00
Ricardo Wurmus 472af99950
gnu: Add marble-marcher.
* gnu/packages/games.scm (marble-marcher): New variable.
2019-04-13 11:06:33 +02:00
Mark H Weaver 5069baedb8
gnu: emacs: Update to 26.2.
* gnu/packages/emacs.scm (emacs): Update to 26.2.
2019-04-12 18:42:43 -04:00
Julien Lepiller ee6c4b62b8
gnu: opam: Update to 2.0.4.
* gnu/packages/ocaml.scm (opam): Update to 2.0.4.
2019-04-12 22:08:28 +02:00
Christopher Baines 81343b9a34
gnu: Fix uri for perl-template-toolkit.
* gnu/packages/perl.scm (perl-template-toolkit)[source]: Fix origin uri.
2019-04-12 20:56:21 +01:00
Ricardo Wurmus e768c37e3f
gnu: r-rpart: Update to 4.1-15.
* gnu/packages/statistics.scm (r-rpart): Update to 4.1-15.
2019-04-12 19:27:39 +02:00
Ricardo Wurmus 7f290982dc
gnu: r-reticulate: Update to 1.12.
* gnu/packages/cran.scm (r-reticulate): Update to 1.12.
2019-04-12 18:34:02 +02:00
Danny Milosavljevic 16cb1c51ad
gnu: fc-host-tools: Fix fc-loadtool.
* gnu/packages/embedded.scm (fc-host-tools)[arguments]<#:phases>
[patch-installation-paths]: Modify.
2019-04-12 16:30:10 +02:00
Jelle Licht 21d56a8237
gnu: emacs-direnv: Update to 1.5.0.
* gnu/packages/emacs-xyz.scm (emacs-direnv): Update to 1.5.0.
2019-04-12 14:00:58 +02:00
Eric Bavier 89647ff1d4
gnu: idris: Run tests.
* gnu/packages/patches/idris-test-no-node.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/idris.scm (idris)[origin]: Use it.
[native-inputs]: New field.
[arguments]: Remove "#:tests? #f".  Add custom 'check' phase after 'install'.
2019-04-11 19:34:01 -05:00
Eric Bavier e16bc71015
gnu: idris: Enable FFI and GMP support.
* gnu/packages/idris.scm (idris)[inputs]: Add ghc-libffi.
[arguments]: Add "-fFFI" and "-fGMP" to #:configure-flags.
2019-04-11 19:34:01 -05:00