Commit Graph

13368 Commits (337273e41f6bb9486424d0bb636e69f9ca55d88f)

Author SHA1 Message Date
David Craven 337273e41f
gnu: ocaml-ounit: Enable tests.
Followup to 7a76b4afd0.

* gnu/packages/ocaml.scm (ocaml-ounit)[arguments]: Enable tests.

Problem reported by Julien Lepiller <julien@lepiller.eu>.
2017-01-04 19:10:00 +01:00
Efraim Flashner 9c64f76e8a
gnu: aria2: Update to 1.30.0.
* gnu/packages/bittorrent.scm (aria2): Update to 1.30.0.
2017-01-04 19:15:00 +02:00
Ricardo Wurmus 68f9067324
gnu: inkscape: Update to 0.92.0.
* gnu/packages/patches/inkscape-drop-wait-for-targets.patch: Remove it.
* gnu/local.mk (dist_patch_DATA): Remove it.
* gnu/packages/inkscape.scm (inkscape): Update to 0.92.0.
[build-system]: Use "cmake-build-system".
[native-inputs]: Add glib:bin.
[arguments]: Remove obsolete arguments; disable tests.
2017-01-04 18:06:44 +01:00
Julien Lepiller 6548e53fcb
gnu: Add ocaml-cmdliner.
* gnu/packages/ocaml.scm (ocaml-cmdliner): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
Julien Lepiller eb1ba73185
gnu: Add ocaml-mtime.
* gnu/packages/ocaml.scm (ocaml-mtime): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
Julien Lepiller 63147e5e1e
gnu: Add ocaml-rresult.
* gnu/packages/ocaml.scm (ocaml-rresult): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
Julien Lepiller a359c7277c
gnu: Add ocaml-topkg.
* gnu/packages/ocaml.scm (ocaml-topkg): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
Julien Lepiller 704b990c36
gnu: Add ocaml-result.
* gnu/packages/ocaml.scm (ocaml-result): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
Julien Lepiller 44c23cb8d8
gnu: Add ocaml-bitstring.
* gnu/packages/ocaml.scm (ocaml-bitstring): New variable.
* gnu/packages/patches/ocaml-bitstring-fix-configure.patch: New file.
* gnu/local.mk (dist_patch_DATA): New patch.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
Julien Lepiller a5b5bd1d18
gnu: Add ocaml-bisect.
* gnu/packages/ocaml.scm (ocaml-bisect): New variable.
* gnu/packages/patches/ocaml-bisect-fix-camlp4-in-another-directory.patch:
  New file.
* gnu/local.mk (dist_patch_DATA): Add patch.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:10 +01:00
Julien Lepiller 3d598ebd35
gnu: Add ocaml-stringext.
* gnu/packages/ocaml.scm (ocaml-stringext): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:10 +01:00
Julien Lepiller 0472836fce
gnu: Add ocaml-qtest.
* gnu/packages/ocaml.scm (ocaml-qtest): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:10 +01:00
Julien Lepiller ff891f10ed
gnu: Add ocaml-frontc.
* gnu/packages/ocaml.scm (ocaml-frontc): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:10 +01:00
Ludovic Courtès a614ce389f
gnu: Add Guile-Bash.
* gnu/packages/guile.scm (guile-bash): New variable.
2017-01-04 16:18:52 +01:00
Julien Lepiller ddf2b503b1
gnu: Add ocaml-zarith.
* gnu/packages/ocaml.scm (ocaml-zarith): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 16:05:28 +01:00
Julien Lepiller 93eeadf022
gnu: Add ocamlmod.
* gnu/packages/ocaml.scm (ocamlmod): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 16:05:25 +01:00
Julien Lepiller bc2c3bc627
gnu: Add camlzip.
* gnu/packages/ocaml.scm (camlzip): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 16:05:06 +01:00
Julien Lepiller 7a76b4afd0
gnu: Add ocaml-ounit.
* gnu/packages/ocaml.scm (ocaml-ounit): New variable.

Signed-off-by: David Craven <david@craven.ch>
2017-01-04 16:04:51 +01:00
Julien Lepiller ad3d730e3a
gnu: 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>
2017-01-04 16:04:32 +01:00
Julien Lepiller 56f73eadc0
gnu: 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>
2017-01-04 16:03:56 +01:00
Julien Lepiller 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
Julien Lepiller 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
David Craven 2b1f7b83f7
gnu: ocaml: Fix indentation.
* gnu/packages/ocaml.scm (ocaml): Fix indentation.
2017-01-04 16:03:07 +01:00
Julien Lepiller 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
Julien Lepiller 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
David Craven 1ff755d1d5
gnu: Reorder imports in (gnu packages ocaml).
* gnu/packages/ocaml.scm: Reorder imports alphabetically.
2017-01-04 14:07:56 +01:00
David Craven 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
David Craven 3254e1aba9
gnu: Add idris-lens.
* gnu/packages/idris.scm (idris-lens): New variable.
2017-01-04 12:11:14 +01:00
David Craven 5a16d828b3
gnu: Add idris-bifunctors.
* gnu/packages/idris.scm (idris-bifunctors): New variable.
2017-01-04 12:11:14 +01:00
David Craven 4e17fff386
gnu: Add idris-wl-pprint.
* gnu/packages/idris.scm (idris-wl-pprint): New variable.
2017-01-04 12:11:14 +01:00
David Craven ea3b38f1e1
gnu: Add idris-lightyear.
* gnu/packages/idris.scm (idris-lightyear, idris-default-arguments):
  New variables.
2017-01-04 12:11:14 +01:00
David Craven 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
David Craven c7a7129c5a
gnu: idris: Update to 0.99.
* gnu/packages/haskell.scm (idris): Update to 0.99.
2017-01-04 11:44:07 +01:00
David Craven 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
Ricardo Wurmus 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
David Craven 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
David Craven b5a09649db
gnu: Add cargo.
* gnu/packages/rust.scm (cargo): New variable.
2017-01-04 11:29:14 +01:00
Danny Milosavljevic 2d2388e243
gnu: Add ghc-language-c.
* gnu/packages/haskell.scm (ghc-language-c): New variable.
2017-01-04 11:27:24 +01:00
Leo Famulari 324f4fc559
gnu: mcrypt: Fix patches for CVE-2012-{4409,4527}.
This fixes CVE-2012-{4409,4527}.

This is a followup to commit fd1461879c.

* gnu/packages/patches/mcrypt-CVE-2012-4409.patch,
gnu/packages/patches/mcrypt-CVE-2012-4527.patch: Apply the patches to the mcrypt
source code.
2017-01-04 02:46:51 -05:00
Alex Griffin 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
Alex Griffin 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
Alex Griffin 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
Alex Griffin 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
Alex Griffin 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
Alex Griffin 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
Alex Griffin 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
Tobias Geerinckx-Rice 3b40213923
gnu: Add wimlib.
* gnu/packages/backup.scm (wimlib): New variable.
2017-01-04 05:14:22 +01:00
Tobias Geerinckx-Rice 835d371f4b
gnu: parallel: Update to 20161222.
* gnu/packages/parallel.scm (parallel): Update to 20161222.
2017-01-04 05:14:22 +01:00
Tobias Geerinckx-Rice 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
Tobias Geerinckx-Rice 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