e6876cb9dc
gnu: Add ocaml-build-system.
...
* guix/build/ocaml-build-system.scm: New file.
* guix/build-system/ocaml.scm: New file.
* Makefile.am (MODULES): Add them.
* gnu/packages/ocaml.scm (ocaml)[native-search-paths]: Adjuste OCAMLPATH.
Signed-off-by: David Craven <david@craven.ch>
2017-01-04 16:03:39 +01:00
e0ddaa8be3
gnu: camlp4: Compile native version.
...
* gnu/packages/ocaml.scm (camlp4)[arguments]: Disable parallel-build.
Change default target to "all" to compile native and byte version.
Signed-off-by: David Craven <david@craven.ch>
2017-01-04 16:03:16 +01:00
2b1f7b83f7
gnu: ocaml: Fix indentation.
...
* gnu/packages/ocaml.scm (ocaml): Fix indentation.
2017-01-04 16:03:07 +01:00
796a17ab01
gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.
...
* gnu/packages/ocaml.scm (ocaml)[native-search-paths]: Add
CAML_LD_LIBRARY_PATH.
Signed-off-by: David Craven <david@craven.ch>
2017-01-04 16:03:00 +01:00
8bd10c1082
gnu: ocaml: Add a .file directive to generated .s files.
...
* gnu/packages/ocaml.scm (ocaml)[origin]: Add patch.
* gnu/packages/patches/ocaml-Add-a-.file-directive.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add patch.
Signed-off-by: David Craven <david@craven.ch>
2017-01-04 16:02:38 +01:00
1ff755d1d5
gnu: Reorder imports in (gnu packages ocaml).
...
* gnu/packages/ocaml.scm: Reorder imports alphabetically.
2017-01-04 14:07:56 +01:00
d8e0a08c26
gnu: Use 'license:' prefix in (gnu packages ocaml).
...
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
2017-01-04 14:07:56 +01:00
3254e1aba9
gnu: Add idris-lens.
...
* gnu/packages/idris.scm (idris-lens): New variable.
2017-01-04 12:11:14 +01:00
5a16d828b3
gnu: Add idris-bifunctors.
...
* gnu/packages/idris.scm (idris-bifunctors): New variable.
2017-01-04 12:11:14 +01:00
4e17fff386
gnu: Add idris-wl-pprint.
...
* gnu/packages/idris.scm (idris-wl-pprint): New variable.
2017-01-04 12:11:14 +01:00
ea3b38f1e1
gnu: Add idris-lightyear.
...
* gnu/packages/idris.scm (idris-lightyear, idris-default-arguments):
New variables.
2017-01-04 12:11:14 +01:00
ae482ce12d
gnu: idris: Move to (gnu packages idris).
...
* gnu/packages/haskell.scm: Move 'idris' to...
* gnu/packages/idris.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add idris.scm.
2017-01-04 11:51:36 +01:00
c7a7129c5a
gnu: idris: Update to 0.99.
...
* gnu/packages/haskell.scm (idris): Update to 0.99.
2017-01-04 11:44:07 +01:00
c0d5b6452b
gnu: Order module imports in (gnu packages haskell) alphabetically.
...
* gnu/packages/haskell.scm: Order module imports alphabetically.
2017-01-04 11:44:07 +01:00
de793e9a5a
gnu: ghc-language-c: Fix up.
...
* gnu/packages/haskell.scm (ghc-language-c): Fix up indentation and
description.
2017-01-04 11:41:43 +01:00
3b7ccbe94c
build-system: cargo: Use correct cargo.
...
* gnu/packages/rust.scm (cargo-bootstrap): Make private.
* guix/build-system/cargo.scm (default-cargo): Use cargo.
2017-01-04 11:29:15 +01:00
b5a09649db
gnu: Add cargo.
...
* gnu/packages/rust.scm (cargo): New variable.
2017-01-04 11:29:14 +01:00
2d2388e243
gnu: Add ghc-language-c.
...
* gnu/packages/haskell.scm (ghc-language-c): New variable.
2017-01-04 11:27:24 +01:00
324f4fc559
gnu: mcrypt: Fix patches for CVE-2012-{4409,4527}.
...
This fixes CVE-2012-{4409,4527}.
This is a followup to commit fd1461879c
2017-01-04 02:46:51 -05:00
37e8a2e219
gnu: calibre: Update to 2.76.0.
...
* gnu/packages/ebook.scm (calibre): Update to 2.76.0.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-04 00:00:34 -05:00
f7e9f1cadc
gnu: feh: Update to 2.18.
...
* gnu/packages/image-viewers.scm (feh): Update to 2.18.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-03 23:39:22 -05:00
eb5378f902
gnu: bs1770gain: Update to 0.4.12.
...
* gnu/packages/audio.scm (bs1770gain): Update to 0.4.12.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-03 23:39:22 -05:00
648733dc14
gnu: dwm: Update to 6.1.
...
* gnu/packages/suckless.scm (dwm): Update to 6.1.
[inputs]: Add libxft and freetype.
[arguments]: Set FREETYPEINC in #:make-flags.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-03 23:39:22 -05:00
bc47382a5d
gnu: dmenu: Update to 4.6.
...
* gnu/packages/suckless.scm (dmenu): Update to 4.6.
[inputs]: Add libxft and freetype.
[arguments]: Set FREETYPEINC in #:make-flags.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-03 23:39:21 -05:00
f3a53f3c8f
gnu: slock: Update to 1.4.
...
* gnu/packages/suckless.scm (slock): Update to 1.4.
[source] Remove CVE-2016-6866 patch (no longer needed).
* gnu/packages/patches/slock-CVE-2016-6866.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-03 23:39:21 -05:00
8efd807f95
gnu: trash-cli: Update to 0.17.1.1.
...
* gnu/packages/shellutils.scm (trash-cli): Update to 0.17.1.1.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-03 23:39:21 -05:00
3b40213923
gnu: Add wimlib.
...
* gnu/packages/backup.scm (wimlib): New variable.
2017-01-04 05:14:22 +01:00
835d371f4b
gnu: parallel: Update to 20161222.
...
* gnu/packages/parallel.scm (parallel): Update to 20161222.
2017-01-04 05:14:22 +01:00
0b2a91d8b7
gnu: global: Update to 6.5.6.
...
* gnu/packages/code.scm (global): Update to 6.5.6.
2017-01-04 05:14:22 +01:00
02dadd3827
gnu: nano: Update to 2.7.3.
...
* gnu/packages/nano.scm (nano): Update to 2.7.3.
2017-01-04 05:14:22 +01:00
3b3b60d037
gnu: Use HTTPS for all sourceforge.net home pages.
...
* gnu/packages/admin.scm (mingetty, clusterssh)[home-page]: Use HTTPS.
* gnu/packages/audio.scm (libbs2b, soxr)[home-page]: Likewise.
* gnu/packages/bioinformatics.scm (bless)[home-page]: Likewise.
* gnu/packages/display-managers.scm (slim)[home-page]: Likewise.
* gnu/packages/games.scm (extremetuxracer)[home-page]: Likewise.
* gnu/packages/ghostscript.scm (gs-fonts)[home-page]: Likewise.
* gnu/packages/haskell.scm (ghc-regex-base, ghc-regex-posix,
ghc-regex-compat)[home-page]: Likewise.
* gnu/packages/image.scm (imlib2)[home-page]: Likewise.
* gnu/packages/libreoffice.scm (librevenge, libcmis, libodfgen, libmwaw)
[home-page]: Likewise.
* gnu/packages/linux.scm (hdparm, acpid, libavc1394, rng-tools)
[home-page]: Likewise.
* gnu/packages/mail.scm (esmtp)[home-page]: Likewise.
* gnu/packages/mp3.scm (ripperx)[home-page]: Likewise.
* gnu/packages/onc-rpc.scm (libtirpc)[home-page]: Likewise.
* gnu/packages/perl.scm (perl-czplib)[home-page]: Likewise.
* gnu/packages/python.scm (python-pyasn1-modules)[home-page]: Likewise.
* gnu/packages/xdisorg.scm (xosd)[home-page]: Likewise.
2017-01-04 05:14:22 +01:00
0916dc526e
gnu: Add emacs-git-gutter
...
* gnu/packages/emacs.scm (emacs-git-gutter): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-03 22:46:55 -05:00
ea5cc29561
gnu: supertux: Update to 0.5.1.
...
* gnu/packages/games.scm (supertux): Update to 0.5.1.
2017-01-03 18:07:45 -05:00
f339f2773d
gnu: assword: Update to 0.10.
...
* gnu/packages/password-utils.scm (assword): Update to 0.10.
[arguments]: Use Python 3 instead of Python 2.
[inputs]: Use Python 3 variants of inputs. Replace python2-pygpgme with
python-gpg. Remove python2-pygtk. Add python-pygobject.
[native-inputs]: Replace help2man with txt2man.
[arguments]: Remove PYTHONPATH from 'Makefile' in the 'manpage' phase.
2017-01-03 12:35:45 -05:00
7637de2313
gnu: Add python-xdo.
...
* gnu/packages/python.scm (python-xdo): New variable.
(python2-xdo): Use package-with-python2.
2017-01-03 12:35:44 -05:00
e871c332a0
gnu: python2-xdo: Update to 0.3.
...
* gnu/packages/python.scm (python2-xdo): Update to 0.3.
2017-01-03 12:35:44 -05:00
e3dd1f0cb8
gnu: Add python-gpg.
...
* gnu/packages/gnupg.scm (python-gpg, python2-gpg): New variable.
2017-01-03 12:35:44 -05:00
9e0f16f23f
gnu: gpgme: Update to 1.8.0.
...
* gnu/packages/gnupg.scm (gpgme): Update to 1.8.0.
[arguments]: Don't set 'GPG=gpg2' in #:configure-flags. GnuPG-2.x is
installed as 'gpg' on Guix.
2017-01-03 12:35:44 -05:00
4d0a3d8e9f
system: grub: Load relevant EFI modules on EFI systems.
...
* gnu/system/grub.scm (eye-candy)[setup-gfxterm-body]: Add 'insmod'
invocations when ${grub_platform} is "efi".
2017-01-03 18:16:01 +01:00
70c6341110
gnu: Add Zile-on-Guile.
...
* gnu/packages/zile.scm (zile-on-guile): New variable.
2017-01-03 18:16:01 +01:00
e2c3037427
gnu: pcsc-lite: Update to 1.8.20 [fixes CVE-2016-10109].
...
* gnu/packages/security-token.scm (pcsc-lite): Update to 1.8.20.
2017-01-03 17:15:04 +01:00
367f701379
gnu: glibc-hurd: Disable werror.
...
* gnu/packages/base.scm (glibc/hurd)[arguments]: Add "--disable-werror".
2017-01-03 16:00:43 +02:00
62596a158b
gnu: Use hurd-triplet? to check if GNU/Hurd.
...
* gnu/packages/make-bootstrap.scm (hurd-triplet?): Move it from here..
* gnu/packages/hurd.scm: ..to here. New exported procedure.
* gnu/packages/commencement.scm (glibc-final-with-bootstrap-bash)
[arguments]: Replace string-match.
[inputs]: Same.
* gnu/packages/cross-base.scm (cross-libc)[native-inputs]: Same.
2017-01-03 16:00:39 +02:00
6a37872cd2
gnu: chicken: Fix CVE-2016-{6830,6831}.
...
* gnu/packages/patches/chicken-CVE-2016-6830+CVE-2016-6831.patch: New file.
* gnu/local.mk (dist_patch_DATA): Use it.
* gnu/packages/scheme.scm (chicken)[source]: Use it.
2017-01-03 08:35:02 -05:00
b9b6db45e8
gnu: chicken: Update to 4.11.1.
...
* gnu/packages/scheme.scm (chicken): Update to 4.11.1.
2017-01-03 08:34:54 -05:00
d338237d8c
services: nginx: Make service extensible.
...
* gnu/services/web.scm (<nginx-configuration>)[server-blocks]: New
field.
(nginx-activation): When CONFIG-FILE is #f, use 'default-nginx-config'.
(nginx-shepherd-service): Likewise.
(nginx-service-type): Add 'compose' and 'extend' fields.
(nginx-service): Change default value of #:server-list to '(), and
default value of #:config-file to #f.
* doc/guix.texi (Web Services): Document it.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2017-01-03 14:30:44 +01:00
4e9ae301ce
services: nginx: Fix multiple index and server name.
...
* gnu/services/web.scm (config-domain-strings, config-index-string): separate
names with a space.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-03 14:30:44 +01:00
3b9b12ef49
services: nginx: Rename "vhost" to "server".
...
* gnu/services/web.scm (<nginx-vhost-configuration>): Rename to...
(<nginx-server-configuration>): ... this.
* doc/guix.texi (Web Services): Adjust accordingly.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-03 14:30:44 +01:00
7b030c9f9b
gnu: r-plotrix: Update to 3.6-4.
...
* gnu/packages/statistics.scm (r-plotrix): Update to 3.6-4.
2017-01-03 13:51:05 +01:00
0c74399d98
gnu: r-git2r: Update to 0.18.0.
...
* gnu/packages/statistics.scm (r-git2r): Update to 0.18.0.
2017-01-03 13:49:18 +01:00
Julien Lepiller