summaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2017-01-04gnu: Add ocaml-zarith.•••* gnu/packages/ocaml.scm (ocaml-zarith): New variable. Signed-off-by: David Craven <david@craven.ch> Julien Lepiller
2017-01-04gnu: Add ocamlmod.•••* gnu/packages/ocaml.scm (ocamlmod): New variable. Signed-off-by: David Craven <david@craven.ch> Julien Lepiller
2017-01-04gnu: Add camlzip.•••* gnu/packages/ocaml.scm (camlzip): New variable. Signed-off-by: David Craven <david@craven.ch> Julien Lepiller
2017-01-04gnu: Add ocaml-ounit.•••* gnu/packages/ocaml.scm (ocaml-ounit): New variable. Signed-off-by: David Craven <david@craven.ch> Julien Lepiller
2017-01-04gnu: camlp4: Install camlp4 META file.•••* gnu/packages/ocaml.scm (camlp4)[arguments]: Install in OCAMLPATH and META file. (ocaml-findlib)[arguments]: Delete camlp4 META file. Signed-off-by: David Craven <david@craven.ch> Julien Lepiller
2017-01-04gnu: ocaml: Use a helper function to download from ocaml-forge.•••* gnu/packages/ocaml.scm (ocaml-forge-origin): New procedure. (lablgtk)[origin]: Use it. Signed-off-by: David Craven <david@craven.ch> Julien Lepiller
2017-01-04gnu: 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> Julien Lepiller
2017-01-04gnu: 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> Julien Lepiller
2017-01-04gnu: ocaml: Fix indentation.•••* gnu/packages/ocaml.scm (ocaml): Fix indentation. David Craven
2017-01-04gnu: 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> Julien Lepiller
2017-01-04gnu: 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> Julien Lepiller
2017-01-04gnu: Reorder imports in (gnu packages ocaml).•••* gnu/packages/ocaml.scm: Reorder imports alphabetically. David Craven
2017-01-04gnu: 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. David Craven
2017-01-04gnu: Add idris-lens.•••* gnu/packages/idris.scm (idris-lens): New variable. David Craven
2017-01-04gnu: Add idris-bifunctors.•••* gnu/packages/idris.scm (idris-bifunctors): New variable. David Craven
2017-01-04gnu: Add idris-wl-pprint.•••* gnu/packages/idris.scm (idris-wl-pprint): New variable. David Craven
2017-01-04gnu: Add idris-lightyear.•••* gnu/packages/idris.scm (idris-lightyear, idris-default-arguments): New variables. David Craven
2017-01-04gnu: 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. David Craven
2017-01-04gnu: idris: Update to 0.99.•••* gnu/packages/haskell.scm (idris): Update to 0.99. David Craven
2017-01-04gnu: Order module imports in (gnu packages haskell) alphabetically.•••* gnu/packages/haskell.scm: Order module imports alphabetically. David Craven
2017-01-04gnu: ghc-language-c: Fix up.•••* gnu/packages/haskell.scm (ghc-language-c): Fix up indentation and description. Ricardo Wurmus
2017-01-04build-system: cargo: Use correct cargo.•••* gnu/packages/rust.scm (cargo-bootstrap): Make private. * guix/build-system/cargo.scm (default-cargo): Use cargo. David Craven
2017-01-04gnu: Add cargo.•••* gnu/packages/rust.scm (cargo): New variable. David Craven
2017-01-04gnu: Add ghc-language-c.•••* gnu/packages/haskell.scm (ghc-language-c): New variable. Danny Milosavljevic
2017-01-04gnu: mcrypt: Fix patches for CVE-2012-{4409,4527}.•••This fixes CVE-2012-{4409,4527}. This is a followup to commit fd1461879c63c608617d30524183a71370a7451c. * gnu/packages/patches/mcrypt-CVE-2012-4409.patch, gnu/packages/patches/mcrypt-CVE-2012-4527.patch: Apply the patches to the mcrypt source code. Leo Famulari
2017-01-04gnu: calibre: Update to 2.76.0.•••* gnu/packages/ebook.scm (calibre): Update to 2.76.0. Signed-off-by: Leo Famulari <leo@famulari.name> Alex Griffin
2017-01-03gnu: feh: Update to 2.18.•••* gnu/packages/image-viewers.scm (feh): Update to 2.18. Signed-off-by: Leo Famulari <leo@famulari.name> Alex Griffin
2017-01-03gnu: bs1770gain: Update to 0.4.12.•••* gnu/packages/audio.scm (bs1770gain): Update to 0.4.12. Signed-off-by: Leo Famulari <leo@famulari.name> Alex Griffin
2017-01-03gnu: 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> Alex Griffin
2017-01-03gnu: 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> Alex Griffin
2017-01-03gnu: 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> Alex Griffin
2017-01-03gnu: 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> Alex Griffin
2017-01-04gnu: Add wimlib.•••* gnu/packages/backup.scm (wimlib): New variable. Tobias Geerinckx-Rice
2017-01-04gnu: parallel: Update to 20161222.•••* gnu/packages/parallel.scm (parallel): Update to 20161222. Tobias Geerinckx-Rice
2017-01-04gnu: global: Update to 6.5.6.•••* gnu/packages/code.scm (global): Update to 6.5.6. Tobias Geerinckx-Rice
2017-01-04gnu: nano: Update to 2.7.3.•••* gnu/packages/nano.scm (nano): Update to 2.7.3. Tobias Geerinckx-Rice
2017-01-04gnu: 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. Tobias Geerinckx-Rice
2017-01-03gnu: Add emacs-git-gutter•••* gnu/packages/emacs.scm (emacs-git-gutter): New variable. Signed-off-by: Leo Famulari <leo@famulari.name> Christopher Baines
2017-01-03gnu: supertux: Update to 0.5.1.•••* gnu/packages/games.scm (supertux): Update to 0.5.1. Kei Kebreau
2017-01-03gnu: 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. Leo Famulari
2017-01-03gnu: Add python-xdo.•••* gnu/packages/python.scm (python-xdo): New variable. (python2-xdo): Use package-with-python2. Leo Famulari
2017-01-03gnu: python2-xdo: Update to 0.3.•••* gnu/packages/python.scm (python2-xdo): Update to 0.3. Leo Famulari
2017-01-03gnu: Add python-gpg.•••* gnu/packages/gnupg.scm (python-gpg, python2-gpg): New variable. Leo Famulari
2017-01-03gnu: 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. Leo Famulari
2017-01-03system: 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". Ludovic Courtès
2017-01-03gnu: Add Zile-on-Guile.•••* gnu/packages/zile.scm (zile-on-guile): New variable. Ludovic Courtès
2017-01-03gnu: pcsc-lite: Update to 1.8.20 [fixes CVE-2016-10109].•••* gnu/packages/security-token.scm (pcsc-lite): Update to 1.8.20. Marius Bakke
2017-01-03gnu: glibc-hurd: Disable werror.•••* gnu/packages/base.scm (glibc/hurd)[arguments]: Add "--disable-werror". Manolis Ragkousis
2017-01-03gnu: 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. Manolis Ragkousis
2017-01-03gnu: 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. Kei Kebreau