Empty file in hydra store?

2017-01-03 Thread John Darrington
I got this error (twice) when attempting "guix system init": Downloading https://mirror.hydra.gnu.org/nar/ciqw5z470c8ihl1kfswj1j3ix6hs092d-module-import (1KiB installed)... ^[[K module-import 0B/s 00:00 | 0B transferred bzip2: Compressed file ends unexpected

Re: Per-package updaters?

2017-01-03 Thread Efraim Flashner
On Sat, Dec 31, 2016 at 01:29:15AM +0100, Ludovic Courtès wrote: > Hello Guix! > > Ricardo Wurmus skribis: > > > we have a couple of generic package updaters (CPAN, CRAN, Bioconductor, > > Github, GNU, etc), but they don’t nearly cover all of our packages. I > > wonder if we should add one-off

Re: Creating a docker image with Guix

2017-01-03 Thread Ricardo Wurmus
Ludovic Courtès writes: > Ricardo Wurmus skribis: > >> I just played around with Docker and built up a command to create a >> Docker image for Emacs. > > Fun! > >> Can anyone find a more elegant way to do this? >> >> guix environment --ad-hoc \ >> coreutils bash emacs-no-x-toolkit -- \ >>

Re: cargo-build-system: cargo-build-flags: --cfg=unix in package recipe

2017-01-03 Thread David Craven
> Aha! It can - if one uses propagated-inputs in the package recipes. I think > the importer should propagate inputs if the current package is > Rust-source-only. Otherwise packages further down the dependency graph > (further to the clients) won't compile later. One of the ideas behind the [re

Re: [PATCH 4/4] gnu: ocaml-findlib: Update to 1.7.1.

2017-01-03 Thread Ben Woodcroft
Hi David, Thanks for this. On 03/01/17 03:38, David Craven wrote: * gnu/packages/ocaml.scm (ocaml-findlib)[arguments]: Move ocaml-findlib-make-install.patch to phase and set ldconf="ignore" in findlib.conf.in. * gnu/local.mk (dist_patch_DATA): Remove old patch. The deletion of the patch

Re: WIP patch: build-system: cargo: Make lots and lots of rust packages work

2017-01-03 Thread David Craven
> For it to work, you also have to back out the (cons "src" outputs) (in > ./guix/build-system/cargo.scm) and the (assoc-ref outputs "src") (in > guix/build/cargo-build-system.scm) starting from current master. Can you elaborate on why you think it's a bad idea to separate the source from the bi

Re: cargo-build-system: cargo-build-flags: --cfg=unix in package recipe

2017-01-03 Thread ng0
Danny Milosavljevic writes: > Hi, > > so it seems I got the cargo-build-system to work for large-ish Rust > dependency trees now. It still can't pick up transitive dependencies but hey > :P > > However, some of the Rust crates have a "windows" target which fails. > > For these I'd like to pass

Re: WIP patch: build-system: cargo: Make lots and lots of rust packages work

2017-01-03 Thread Danny Milosavljevic
Hi David, On Tue, 3 Jan 2017 12:08:56 +0100 David Craven wrote: > Can you elaborate on why you think it's a bad idea to separate the > source from the binaries into different outputs? Huh? I think it's a good idea. It just doesn't work yet and I didn't find out why :) > I see that you are try

Re: cargo-build-system: cargo-build-flags: --cfg=unix in package recipe

2017-01-03 Thread Danny Milosavljevic
On Tue, 3 Jan 2017 11:57:48 +0100 David Craven wrote: > > For these I'd like to pass "--cfg=unix" and I'd like to put it into the > > package recipe and not hardcode it into the build system. > > Nice, didn't know about this flag. That explains why it refused to > build without the windows de

Re: WIP patch: build-system: cargo: Make lots and lots of rust packages work

2017-01-03 Thread Danny Milosavljevic
> > Can you elaborate on why you think it's a bad idea to separate the > > source from the binaries into different outputs? > > Huh? I think it's a good idea. It just doesn't work yet and I didn't find out > why :) Hmm I think I would have to update all my imported crates' package recipes to

Re: cargo-build-system: cargo-build-flags: --cfg=unix in package recipe

2017-01-03 Thread Danny Milosavljevic
Hi ng0, On Tue, 03 Jan 2017 11:19:55 + ng0 wrote: > It does indeed, and this would fix the bug I filed. > I've cut down the number of crates I packaged from 160 to 81 just > by removing the *32-sys and winapi dependencies after reading a > bit about the system. Just a heads-up, if there's a

[PATCH] gnu: doxygen: Use sh from the store.

2017-01-03 Thread Thomas Danckaert
Hi Guix, Doxygen uses a hardcoded "/bin/sh" to run "dot" (and maybe other processes as well) to generate documentation graphs, which fails in a build environment. This patch adds the store item of bash-minimal as a prefix. According to `guix refresh --list-dependent', this patch would cause

Re: [PATCH 3/7] gnu: idris: Update to 0.99.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/haskell.scm (idris): Update to 0.99. LGTM!

Re: [PATCH 2/7] gnu: Order module imports in (gnu packages haskell) alphabetically.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/haskell.scm: Order module imports alphabetically. OK!

Re: [PATCH 4/7] gnu: Add idris-lightyear.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/haskell.scm (idris-lightyear, idris-default-arguments): > New variables. > --- > gnu/packages/haskell.scm | 71 > > 1 file changed, 71 insertions(+) > > diff --git a/gnu/packages/haskell.scm b/gnu/packages

Re: [PATCH 6/7] gnu: Add idris-bifunctors.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/haskell.scm (idris-bifunctors): New variable. LGTM!

Re: [PATCH 7/7] gnu: Add idris-lens.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/haskell.scm (idris-lens): New variable. Same comment regarding ‘idris-default-arguments’, but otherwise LGTM!

Re: [PATCH 5/7] gnu: Add idris-wl-pprint.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/haskell.scm (idris-wl-pprint): New variable. OK!

Re: [PATCH 1/7] git-download: Add some helpers.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * guix/git-download.scm (git-version, git-file-name): New variables. > --- > guix/git-download.scm | 10 +- > 1 file changed, 9 insertions(+), 1 deletion(-) > > diff --git a/guix/git-download.scm b/guix/git-download.scm > index 81d1d4fbf..c453aaa6d 100644 > --- a/

Re: [PATCH] gnu: doxygen: Use sh from the store.

2017-01-03 Thread Danny Milosavljevic
Thanks for the patch! Looks good to me. In any case, if we search for "portable_system", we find that there are lots of other things that don't use in-store names: ./cite.cpp: if ((exitCode=portable_system("perl","\""+bib2xhtmlFile+"\" "+bibOutputFiles+" \""+ ./dia.cpp: if ((exitCode=portable

Re: [PATCH 3/7] gnu: idris: Update to 0.99.

2017-01-03 Thread Ludovic Courtès
BTW, perhaps we should eventually move these packages to idris.scm. Thoughts? Ludo’.

Re: [PATCH 2/4] gnu: Add ocaml-zarith.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/ocaml.scm (ocaml-zarith): New variable. LGTM!

Re: [PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages ocaml).

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/ocaml.scm (ocaml, opam, camlp4, camlp5, hevea, coq, > proof-general, ocaml-menhir, lablgtk, unison, ocaml-findlib)[license]: > Add prefix. OK!

Re: [PATCH 3/4] gnu: Reorder imports in (gnu packages ocaml).

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/ocaml.scm: Reorder imports alphabetically. OK!

Re: Bad signature on commit 6a34f4ccc8a5d (gnu: python-prompt-toolkit: Update to 1.0.9.)

2017-01-03 Thread Ludovic Courtès
Leo Famulari skribis: > On Mon, Jan 02, 2017 at 09:59:20PM +0100, Ludovic Courtès wrote: >> I’m all for adding it to the repo and recommending it in HACKING. >> >> Leo? > > I've attached a patch. Actually no. :-) > I'm not sure where to store the hook. I’d say in a new etc/guix directory? T

Re: Creating a docker image with Guix

2017-01-03 Thread Ludovic Courtès
Jan Nieuwenhuizen skribis: > Ricardo Wurmus writes: > >> I just played around with Docker and built up a command to create a >> Docker image for Emacs. > > Nice! > >> Can anyone find a more elegant way to do this? >> >> guix environment --ad-hoc \ >> coreutils bash emacs-no-x-toolkit -- \ >>

Re: [PATCH 1/5] gnu: gpgme: Update to 1.8.0.

2017-01-03 Thread Ludovic Courtès
Leo Famulari skribis: > * 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. LGTM, thanks!

Re: [PATCH 2/5] gnu: Add python-gpg.

2017-01-03 Thread Ludovic Courtès
Leo Famulari skribis: > * gnu/packages/gnupg.scm (python-gpg, python2-gpg): New variable. LGTM, thanks!

Re: [PATCH 4/5] gnu: Add python-xdo.

2017-01-03 Thread Ludovic Courtès
Leo Famulari skribis: > * gnu/packages/python.scm (python-xdo): New variable. > (python2-xdo): Use package-with-python2. LGTM!

Re: [PATCH 3/5] gnu: python2-xdo: Update to 0.3.

2017-01-03 Thread Ludovic Courtès
Leo Famulari skribis: > * gnu/packages/python.scm (python2-xdo): Update to 0.3. LGTM!

Re: [PATCH 5/5] gnu: assword: Update to 0.10.

2017-01-03 Thread Ludovic Courtès
Leo Famulari skribis: > * 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 help

Re: [PATCH] gnu: doxygen: Use sh from the store.

2017-01-03 Thread Thomas Danckaert
From: Danny Milosavljevic Subject: Re: [PATCH] gnu: doxygen: Use sh from the store. Date: Tue, 3 Jan 2017 13:28:37 +0100 Thanks for the patch! Looks good to me. In any case, if we search for "portable_system", we find that there are lots of other things that don't use in-store names: ./cite

Re: Empty file in hydra store?

2017-01-03 Thread Jan Synáček
On Tue, Jan 3, 2017 at 9:17 AM, John Darrington wrote: > I got this error (twice) when attempting "guix system init": > > Downloading > https://mirror.hydra.gnu.org/nar/ciqw5z470c8ihl1kfswj1j3ix6hs092d-module-import > (1KiB installed)... > ^[[K module-import

Re: [PATCH 4/7] gnu: Add idris-lightyear.

2017-01-03 Thread David Craven
> IMO you can push this patch as is and provide an ‘idris-build-system’ > later on, or do the latter first. Either way is fine with me as long as > we don’t wait until there are ten users of ‘idris-default-arguments’. > WDYT? Regarding that, I think it's harder than it should be to add new build

Zero-length files cached by nginx

2017-01-03 Thread Ludovic Courtès
John Darrington skribis: > and if I try to manually download > https://mirror.hydra.gnu.org/nar/ciqw5z470c8ihl1kfswj1j3ix6hs092d-module-import > > I get a zero length file. :( Indeed: --8<---cut here---start->8--- $ wget -q -O - https://mirror.hydra.gnu.org

Re: Per-package updaters?

2017-01-03 Thread Ludovic Courtès
Efraim Flashner skribis: > On Sat, Dec 31, 2016 at 01:29:15AM +0100, Ludovic Courtès wrote: >> Hello Guix! >> >> Ricardo Wurmus skribis: >> >> > we have a couple of generic package updaters (CPAN, CRAN, Bioconductor, >> > Github, GNU, etc), but they don’t nearly cover all of our packages. I >

Re: Chicken security bugs [was Re: [pe...@more-magic.net: Irregex packages should be updated to 0.9.6]]

2017-01-03 Thread Kei Kebreau
Leo Famulari writes: > On Sun, Jan 01, 2017 at 11:04:33PM -0500, Kei Kebreau wrote: >> Ah, this works excellently. Thanks for the pointer! The two attached >> patches should do the trick. > >> From 41ce29321b21edc698a9ed2ce6dab09f2d190d50 Mon Sep 17 00:00:00 2001 >> From: Kei Kebreau >> Date: Su

Re: [PATCH] make nginx service extensible

2017-01-03 Thread Ludovic Courtès
Hi Julien, Sorry for the looong delay! At last I got around to reviewing these patches from last year. :-) Julien Lepiller skribis: > From 52f220a2bb5a7186c9dde79b6d9a419bc58feec4 Mon Sep 17 00:00:00 2001 > From: Julien Lepiller > Date: Tue, 13 Dec 2016 20:44:31 +0100 > Subject: [PATCH 1/3]

Deleting merged wip branches

2017-01-03 Thread David Craven
Hi guix! I'm looking at some of the branches called wip- and it seems to me that some have already been merged into master. I think it would be good to clean them up. Two examples would be these: origin/wip-environment-profiles origin/wip-pam-elogind

[PATCH] gnu: Add wimlib.

2017-01-03 Thread Tobias Geerinckx-Rice
* gnu/packages/backup.scm (wimlib): New variable. --- Guix, This adds wimlib, a handy litte tool for liberating files from .wim images. I've kept the description rather short to avoid any promotion of the format and platform, for obvious reasons. Kind regards, T G-R gnu/packages/backup.scm |

Re: cargo-build-system: cargo-build-flags: --cfg=unix in package recipe

2017-01-03 Thread ng0
Danny Milosavljevic writes: > Hi ng0, > > On Tue, 03 Jan 2017 11:19:55 + > ng0 wrote: > >> It does indeed, and this would fix the bug I filed. >> I've cut down the number of crates I packaged from 160 to 81 just >> by removing the *32-sys and winapi dependencies after reading a >> bit about

Re: cargo-build-system: cargo-build-flags: --cfg=unix in package recipe

2017-01-03 Thread David Craven
> Unfortunately due to technical reassons I can't give you > view/read access to the branch, so if there's something terribly > wrong/missing you will be able to comment on the weekend or in > the following week. For me it seems to work. Looking forward to seeing your ideas/solution!

Re: FOSDEM 2017 Schedule is there! Change of schedule!:wq

2017-01-03 Thread Pjotr Prins
In other good news: we have a full day instead of a half day! https://fosdem.org/2017/schedule/track/gnu_guile/ All talks have more time and we can still add a few talks. The final schedule has to be ready by this Saturday. So, if anyone has ideas, please shoot. Also note it is now on Sund

Re: [PATCH] gnu: Use hurd-triplet? to check if GNU/Hurd.

2017-01-03 Thread Ludovic Courtès
Hi! Manolis Ragkousis skribis: > Hello Kei, > > On 2 January 2017 at 22:11, Kei Kebreau wrote: >> >> LGTM. I assume this one will be pushed to master as well? >> >> P.S. Is there currently a way to successfully build the bootstrap >> binaries for Hurd from Guix on x86_64 Linux? > > If you merge

Re: [PATCH 4/7] gnu: Add idris-lightyear.

2017-01-03 Thread Ludovic Courtès
David Craven skribis: >> IMO you can push this patch as is and provide an ‘idris-build-system’ >> later on, or do the latter first. Either way is fine with me as long as >> we don’t wait until there are ten users of ‘idris-default-arguments’. >> WDYT? > > Regarding that, I think it's harder than

Re: Deleting merged wip branches

2017-01-03 Thread Ludovic Courtès
David Craven skribis: > I'm looking at some of the branches called wip- and it seems to me > that some have already been merged into master. I think it would be > good to clean them up. > > Two examples would be these: > origin/wip-environment-profiles > origin/wip-pam-elogind Agreed, you can al

Re: [PATCH 4/7] gnu: Add idris-lightyear.

2017-01-03 Thread David Craven
> Regarding that, I think it's harder than it should be to add new build > systems at the moment. I think that adding a new build system requires > a substantial amount of boiler plate. Actually I withdraw this statement. Except copying the guile-for-build procedure into every build-system, there

Re: [PATCH] gnu: Use hurd-triplet? to check if GNU/Hurd.

2017-01-03 Thread Manolis Ragkousis
Hello, On 01/03/17 16:56, Ludovic Courtès wrote: > Is it just 9b5f498deff516a9799a132fb04b40fb9ccfd7a6? That commit could > also go to master. Actually we also need b810a85019ab3c4ee1f889d0751b8eb06157dadc which sets gcc-5 as default. The latest Hurish glibc needs it. Manolis

Re: [PATCH 1/4] gnu: Use 'license:' prefix in (gnu packages ocaml).

2017-01-03 Thread Danny Milosavljevic
LGTM!

[PATCH] Creating a docker image with Guix

2017-01-03 Thread Ricardo Wurmus
Ludovic Courtès writes: > I’m not familiar enough with Docker but I’m under the impression that we > should be able to generate an image without even using Docker. :-) The attached patch adds a Docker export feature, so you can do this: docker load < \ $(guix archive --export-docker

Re: FOSDEM 2017 Schedule is there! Change of schedule!:wq

2017-01-03 Thread Amirouche Boubekki
On 2017-01-03 15:46, Pjotr Prins wrote: In other good news: we have a full day instead of a half day! https://fosdem.org/2017/schedule/track/gnu_guile/ All talks have more time and we can still add a few talks. The final schedule has to be ready by this Saturday. Great news :) So, if

Re: [PATCH 6/6] gnu: Add grub-efi.

2017-01-03 Thread Ludovic Courtès
Howdy! l...@gnu.org (Ludovic Courtès) skribis: > Marius Bakke skribis: > OK. I'll try to find out why tests don't work with the UEFI variant first in order to at least write a meaningful comment. Maybe qemu needs UEFI support or something like that. >>> >>> It might be that we no

Re: [PATCH 6/6] gnu: Add grub-efi.

2017-01-03 Thread Chris Marusich
l...@gnu.org (Ludovic Courtès) writes: > Howdy! > > There I typed at the GRUB command prompt: > > insmod efi_gop > insmod efi_uga > cat /var/guix/gcroots/grub.cfg Slightly off-topic question: how does one find out what the possible values for X are in a command like "insmod X"? I've search

Re: [PATCH] Creating a docker image with Guix

2017-01-03 Thread Chris Marusich
Ricardo Wurmus writes: > Ludovic Courtès writes: > >> I’m not familiar enough with Docker but I’m under the impression that we >> should be able to generate an image without even using Docker. :-) > > The attached patch adds a Docker export feature, so you can do this: > > docker load < \ >

Re: Thoughts on GuixSD and IDS like AIDE and Tripwire

2017-01-03 Thread dian_cecht
On Mon, Jan 02, 2017 at 11:28:55PM +0100, Ludovic Courtès wrote: > Hi! > > dian_ce...@zoho.com skribis: > > > P.S. On second thought (and after a cup of coffee), could the database file > > be > > generated using the same format programs like md5sum, sha1sum, et al use so > > we'd > > just have

Re: guix build fails: can't change into `/var/tmp/guix-build-...drv-0'

2017-01-03 Thread Hartmut Goebel
Am 02.01.2017 um 17:53 schrieb Leo Famulari: > Could it be related to this bug? > > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25242 Yes, this looks like my problem. Now I just need to find out how to update. `guix pull` as of yesterday still has version 0.12.0-2.b291. -- Regards Hartmut Goeb

Re: [PATCH] Creating a docker image with Guix

2017-01-03 Thread Ricardo Wurmus
Chris Marusich writes: > What happens if I invoke this command while GC is trying to delete the > specified path? It will do weird things, I guess. It’s best to do this inside of “guix environment” as I demonstrated because while you’re in the environment the temporary profile is protected fro

Re: [PATCH 1/1] gnu: unrtf: Fix CVE-2016-10091.

2017-01-03 Thread Marius Bakke
Leo Famulari writes: > * gnu/packages/patches/unrtf-CVE-2016-10091.patch: New file. > * gnu/local.mk (dist_patch_DATA): Add it. > * gnu/packages/unrtf.scm (unrtf)[source]: Use it. [...] > diff --git a/gnu/packages/patches/unrtf-CVE-2016-10091.patch > b/gnu/packages/patches/unrtf-CVE-2016-10091

Re: Bad signature on commit 6a34f4ccc8a5d (gnu: python-prompt-toolkit: Update to 1.0.9.)

2017-01-03 Thread Leo Famulari
On Tue, Jan 03, 2017 at 01:34:31PM +0100, Ludovic Courtès wrote: > Leo Famulari skribis: > > > On Mon, Jan 02, 2017 at 09:59:20PM +0100, Ludovic Courtès wrote: > >> I’m all for adding it to the repo and recommending it in HACKING. > >> > >> Leo? > > > > I've attached a patch. > > Actually no.

Re: guix build fails: can't change into `/var/tmp/guix-build-...drv-0'

2017-01-03 Thread Leo Famulari
On Tue, Jan 03, 2017 at 05:43:36PM +0100, Hartmut Goebel wrote: > Am 02.01.2017 um 17:53 schrieb Leo Famulari: > > Could it be related to this bug? > > > > https://debbugs.gnu.org/cgi/bugreport.cgi?bug=25242 > Yes, this looks like my problem. > > Now I just need to find out how to update. `guix pu

Re: [PATCH 5/5] gnu: assword: Update to 0.10.

2017-01-03 Thread Leo Famulari
On Tue, Jan 03, 2017 at 01:41:15PM +0100, Ludovic Courtès wrote: > Leo Famulari skribis: > > > * 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

Re: [PATCH 4/7] gnu: Add idris-lightyear.

2017-01-03 Thread David Craven
> I’m not sure what a ‘phase-build-system’ would look like, if not like > ‘gnu-build-system’, but it’s an interesting idea to explore. I think you are right, it would look exactly like the gnu-build-system. I think my issue wasn't technical but psychological. It feels like other build-systems aren

[PATCH 00/96] ocaml-build-system and packages

2017-01-03 Thread Julien Lepiller
Hi, it's a bit late for christmas, so let's call this ocamlismas ;). Here are ~100 patches that: - Add an ocaml-build-system - Change the ocaml compiler, camlp4 and findlib to work nicely with it - A lot of packages (all dependencies of bap, and bap itself). I took one patch from debian to help

[PATCH 07/96] gnu: camlp4: Install camlp4 META file.

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-findlib): Delete camlp4 META file. * gnu/packages/ocaml.scm (camlp4): Install in OCAMLPATH and install its META file. --- gnu/packages/ocaml.scm | 21 ++--- 1 file changed, 18 insertions(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/p

[PATCH 06/96] gnu: ocaml: Use a helper function to download from ocaml-forge.

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-forge-origin): New procedure. * gnu/packages/ocaml.scm (lablgtk): Use it. --- gnu/packages/ocaml.scm | 19 --- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1554be217..6bb0e4826 1

[PATCH 01/96] gnu: ocaml: Add a .file directive to generated .s files

2017-01-03 Thread Julien Lepiller
* gnu/packages/patches/ocaml-Add-a-.file-directive.patch: New file * gnu/local.mk (dist_patch_DATA): Add patch. * gnu/packages/ocaml.scm (ocaml) [origin]: Add patch. --- gnu/local.mk | 1 + gnu/packages/ocaml.scm | 7 +- .../patch

[PATCH 11/96] gnu: Add ocaml-zarith.

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-zarith): New variable. --- gnu/packages/ocaml.scm | 24 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1900cfc70..a1c8df1da 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.sc

[PATCH 02/96] gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml) [native-search-paths]: Add CAML_LD_LIBRARY_PATH --- gnu/packages/ocaml.scm | 7 +-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4bb138a14..f74cd5245 100644 --- a/gnu/packages/ocaml.scm +++

[PATCH 03/96] gnu: camlp4: compile native

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (camlp4): Change default target to "all", and compile both native and byte version. --- gnu/packages/ocaml.scm | 4 1 file changed, 4 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f74cd5245..90483c6e1 100644 --- a/gnu/packages/ocaml

[PATCH 08/96] gnu: Add ocaml-ounit.

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ounit): New variable. --- gnu/packages/ocaml.scm | 19 +++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7d9d363b5..e32bd9de1 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -

[PATCH 05/96] gnu: ocaml: Use a prefix for license field.

2017-01-03 Thread Julien Lepiller
--- gnu/packages/ocaml.scm | 24 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 644638f8a..1554be217 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -24,7 +24,7 @@ ;;; along with GN

[PATCH 13/96] gnu: Add ocaml-qtest

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-qtest): New variable. --- gnu/packages/ocaml.scm | 29 + 1 file changed, 29 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4289e5336..7c3945884 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocam

[PATCH 10/96] gnu: Add ocamlmod.

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocamlmod): New variable. --- gnu/packages/ocaml.scm | 15 +++ 1 file changed, 15 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1de96c760..1900cfc70 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -801,3 +

[PATCH 04/96] gnu: Add ocaml-build-system.

2017-01-03 Thread Julien Lepiller
* 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. --- Makefile.am | 2 + gnu/packages/ocaml.scm| 2 +- guix/buil

[PATCH 09/96] gnu: Add camlzip

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (camlzip): New variable. --- gnu/packages/ocaml.scm | 27 +++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e32bd9de1..1de96c760 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm

[PATCH 14/96] gnu: Add ocaml-stringext

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-stringext): New variable. --- gnu/packages/ocaml.scm | 21 + 1 file changed, 21 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7c3945884..bf89b847a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.sc

[PATCH 15/96] gnu: Add ocaml-bisect

2017-01-03 Thread Julien Lepiller
* 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. --- gnu/local.mk | 1 + gnu/packages/ocaml.scm

[PATCH 20/96] gnu: Add ocaml-mtime

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-mtime): New variable. --- gnu/packages/ocaml.scm | 25 + 1 file changed, 25 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index fea3ebda0..e971e72d0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.sc

[PATCH 12/96] gnu: Add ocaml-frontc

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-frontc): New variable. --- gnu/packages/ocaml.scm | 41 + 1 file changed, 41 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a1c8df1da..4289e5336 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/

[PATCH 17/96] gnu: Add ocaml-result

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-result): New variable. --- gnu/packages/ocaml.scm | 20 1 file changed, 20 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 9814e10d2..335a81c88 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@

[PATCH 18/96] gnu: Add ocaml-topkg

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-topkg): New variable. --- gnu/packages/ocaml.scm | 26 ++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 335a81c88..25354fbcc 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.s

[PATCH 19/96] gnu: Add ocaml-rresult

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-rresult): New variable. --- gnu/packages/ocaml.scm | 26 ++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 25354fbcc..fea3ebda0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml

[PATCH 28/96] gnu: Add ocaml-lwt

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lwt): New variable. --- gnu/packages/ocaml.scm | 37 + 1 file changed, 37 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7328004a0..5418ee235 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/package

[PATCH 22/96] gnu: Add ocaml-fmt

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-fmt): New variable. --- gnu/packages/ocaml.scm | 27 +++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8f7e3ec55..31b717874 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.sc

[PATCH 16/96] gnu: Add ocaml-bitstring

2017-01-03 Thread Julien Lepiller
* 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. --- gnu/local.mk | 1 + gnu/packages/ocaml.scm | 62 ++

[PATCH 23/96] gnu: Add ocaml-astring

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-astring): New variable. --- gnu/packages/ocaml.scm | 29 + 1 file changed, 29 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 31b717874..bf308f1a7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/oc

[PATCH 33/96] gnu: Add ocaml-ulex

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ulex): New variable. --- gnu/packages/ocaml.scm | 26 ++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 21859ea90..33dc8d114 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.sc

[PATCH 30/96] gnu: Add ocaml-fpath

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-fpath): New variable. --- gnu/packages/ocaml.scm | 26 ++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 3856af1e9..13d9b488d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.s

[PATCH 26/96] gnu: Add ocaml-react

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-react): New variable. --- gnu/packages/ocaml.scm | 25 + 1 file changed, 25 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 915926e6f..e710efc2f 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.sc

[PATCH 25/96] gnu: Add ocaml-ppx-tools

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ppx-tools): New variables. --- gnu/packages/ocaml.scm | 18 ++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 93092cfb1..915926e6f 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm

[PATCH 21/96] gnu: Add ocaml-cmdliner

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-cmdliner): New variable. --- gnu/packages/ocaml.scm | 27 +++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e971e72d0..8f7e3ec55 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/oca

[PATCH 32/96] gnu: Add ocaml-xmlm

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-xmlm): New variable. --- gnu/packages/ocaml.scm | 26 ++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1301bcb6d..21859ea90 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.sc

[PATCH 35/96] gnu: Add ocaml-uutf

2017-01-03 Thread Julien Lepiller
* gna/packages/ocaml.scm (ocaml-uutf): New variable. --- gnu/packages/ocaml.scm | 31 +++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 48583e8c0..a4b129f42 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/oca

[PATCH 37/96] gnu: Add ocaml-ocurl

2017-01-03 Thread Julien Lepiller
* gnu/pcakages/ocaml.scm (ocaml-ocurl): New variable. --- gnu/packages/ocaml.scm | 26 ++ 1 file changed, 26 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 0c8b188ca..a695d4a5e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.s

[PATCH 34/96] gnu: Add ocaml-uchar

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-uchar): New variable. --- gnu/packages/ocaml.scm | 24 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 33dc8d114..48583e8c0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm

[PATCH 27/96] gnu: Add ocaml-ssl

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ssl): New variable. --- gnu/packages/ocaml.scm | 32 1 file changed, 32 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e710efc2f..7328004a0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/oca

[PATCH 36/96] gnu: Add ocaml-jsonm

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-jsonm): New variable. --- gnu/packages/ocaml.scm | 27 +++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a4b129f42..0c8b188ca 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.

[PATCH 42/96] gnu: Add ocaml-pcre

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-pcre): New variable. --- gnu/packages/ocaml.scm | 23 +++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2975004b0..09017211c 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @

[PATCH 29/96] gnu: Add ocaml-logs

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-logs): New variable. --- gnu/packages/ocaml.scm | 30 ++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 5418ee235..3856af1e9 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocam

[PATCH 49/96] gnu: Add ocaml-ppx-core

2017-01-03 Thread Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-ppx-core): New variable. --- gnu/packages/ocaml.scm | 22 ++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 1dad83fe7..3a9a8de13 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.sc

  1   2   3   >