| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-mtime): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-rresult): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-topkg): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-result): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-stringext): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-qtest): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-frontc): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
| |
* gnu/packages/guile.scm (guile-bash): New variable.
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-zarith): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocamlmod): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (camlzip): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-ounit): New variable.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-forge-origin): New procedure.
(lablgtk)[origin]: Use it.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml): Fix indentation.
|
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml)[native-search-paths]: Add
CAML_LD_LIBRARY_PATH.
Signed-off-by: David Craven <david@craven.ch>
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
| |
* gnu/packages/ocaml.scm: Reorder imports alphabetically.
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq,
proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]:
Add prefix.
|
|
|
|
| |
* gnu/packages/idris.scm (idris-lens): New variable.
|
|
|
|
| |
* gnu/packages/idris.scm (idris-bifunctors): New variable.
|
|
|
|
| |
* gnu/packages/idris.scm (idris-wl-pprint): New variable.
|
|
|
|
|
| |
* gnu/packages/idris.scm (idris-lightyear, idris-default-arguments):
New variables.
|
|
|
|
|
|
| |
* gnu/packages/haskell.scm: Move 'idris' to...
* gnu/packages/idris.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add idris.scm.
|
|
|
|
| |
* gnu/packages/haskell.scm (idris): Update to 0.99.
|
|
|
|
| |
* gnu/packages/haskell.scm: Order module imports alphabetically.
|
|
|
|
|
| |
* gnu/packages/haskell.scm (ghc-language-c): Fix up indentation and
description.
|
|
|
|
|
| |
* gnu/packages/rust.scm (cargo-bootstrap): Make private.
* guix/build-system/cargo.scm (default-cargo): Use cargo.
|
|
|
|
| |
* gnu/packages/rust.scm (cargo): New variable.
|
|
|
|
| |
* gnu/packages/haskell.scm (ghc-language-c): New variable.
|
|
|
|
|
|
|
|
|
|
| |
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.
|
|
|
|
|
|
| |
* gnu/packages/ebook.scm (calibre): Update to 2.76.0.
Signed-off-by: Leo Famulari <leo@famulari.name>
|
|
|
|
|
|
| |
* gnu/packages/image-viewers.scm (feh): Update to 2.18.
Signed-off-by: Leo Famulari <leo@famulari.name>
|
|
|
|
|
|
| |
* gnu/packages/audio.scm (bs1770gain): Update to 0.4.12.
Signed-off-by: Leo Famulari <leo@famulari.name>
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
|
|
|
| |
* 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>
|
|
|
|
|
|
| |
* gnu/packages/shellutils.scm (trash-cli): Update to 0.17.1.1.
Signed-off-by: Leo Famulari <leo@famulari.name>
|
|
|
|
| |
* gnu/packages/backup.scm (wimlib): New variable.
|
|
|
|
| |
* gnu/packages/parallel.scm (parallel): Update to 20161222.
|
|
|
|
| |
* gnu/packages/code.scm (global): Update to 6.5.6.
|
|
|
|
| |
* gnu/packages/nano.scm (nano): Update to 2.7.3.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* 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.
|
|
|
|
|
|
| |
* gnu/packages/emacs.scm (emacs-git-gutter): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
|
|
|
|
| |
* gnu/packages/games.scm (supertux): Update to 0.5.1.
|
|
|
|
|
|
|
|
|
| |
* 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.
|