Re: [PATCH] gnu: Add lpsolve.

2015-05-18 Thread Andreas Enge
On Sun, May 17, 2015 at 10:12:52PM +0200, Ludovic Courtès wrote: > I’d write it “Mixed integer linear programming (MILP) solver”. Okay. > > +(license license:lgpl2.1))) > LGPLv2.1-only? Well, I do not quite know where I took this from any more. The distribution says: "free (see LGPL for the

Re: GNU Guix 0.8.2 released

2015-05-18 Thread Andreas Enge
On Thu, May 14, 2015 at 01:48:48PM +0200, Ludovic Courtès wrote: > We are pleased to announce the release of GNU Guix version 0.8.2, > representing 1,743 commits by 24 people over 3.5 months. Ah, I forgot to congratulate us :-) Thanks a lot to Ludovic for the additional release work. Andreas

Re: Guix binary tarball

2015-05-18 Thread Andreas Enge
Hello, thanks for the work; I would have proposed a patch, but thought the discussion was not yet finished. I am attaching an amended version of Sree's /etc/init.d/guixd with the new group and build user names. Andreas #!/bin/sh ### BEGIN INIT INFO # Provides: guix-daemon # Required-Start: $lo

Re: Guix GnuPg

2015-05-18 Thread Daniel Pimentel
On 2015-05-17 17:18, l...@gnu.org wrote: Daniel Pimentel skribis: So, I install pinentry in my user profile (guix package -i pinentry). I see other same error in other distribution GNU/Linux, so I created a gpg-agent.conf file in my gnupg folder (~/.gnupg) then add path to pinentry: pinentry-p

Re: Guix Oficial Website

2015-05-18 Thread John Darrington
On Wed, May 13, 2015 at 06:53:15PM +0200, Ludovic Court??s wrote: Daniel Pimentel skribis: > I like Guix's website??, design is beautiful, site clean and objective. I was about to announce it :-) So the new web site, designed by Felipe, is now deployed, in time for

Re: Guix Oficial Website

2015-05-18 Thread David Thompson
John Darrington writes: > It would be better if black text on a very dark grey background was > avoided. Where? We use white text on every dark background I can see. -- David Thompson GPG Key: 0FF1D807

Re: Guix Oficial Website

2015-05-18 Thread John Darrington
On Mon, May 18, 2015 at 09:30:42AM -0400, David Thompson wrote: John Darrington writes: > It would be better if black text on a very dark grey background was > avoided. Where? We use white text on every dark background I can see. On the top left, just underneath t

Re: Reproducible profiles

2015-05-18 Thread David Thompson
Ludovic Courtès writes: > We’ll need documentation and tests, too. :-) Regarding tests, where should I add them? I can see that tests/guix-package.sh uses the '-n' flag to avoid building things. Simply running 'guix package -n --apply=test-manifest.scm' and getting a 0 exit value would suffice

Re: Guix Oficial Website

2015-05-18 Thread David Thompson
John Darrington writes: > On Mon, May 18, 2015 at 09:30:42AM -0400, David Thompson wrote: > John Darrington writes: > > > It would be better if black text on a very dark grey background was > > avoided. > > Where? We use white text on every dark background I can

Re: Guix Oficial Website

2015-05-18 Thread John Darrington
On Mon, May 18, 2015 at 09:43:45AM -0400, David Thompson wrote: John Darrington writes: > On Mon, May 18, 2015 at 09:30:42AM -0400, David Thompson wrote: > John Darrington writes: > > > It would be better if black text on a very dark grey background

Re: Guix Oficial Website

2015-05-18 Thread Luis Felipe López Acevedo
On 2015-05-18 08:17, John Darrington wrote: On Wed, May 13, 2015 at 06:53:15PM +0200, Ludovic Court??s wrote: Daniel Pimentel skribis: > I like Guix's website??, design is beautiful, site clean and objective. I was about to announce it :-) So the new web site, designed by Fe

Re: Guix Oficial Website

2015-05-18 Thread David Thompson
John Darrington writes: > On Mon, May 18, 2015 at 09:43:45AM -0400, David Thompson wrote: > John Darrington writes: > > > On Mon, May 18, 2015 at 09:30:42AM -0400, David Thompson wrote: > > John Darrington writes: > > > > > It would be better if bl

Re: Guix Oficial Website

2015-05-18 Thread Luis Felipe López Acevedo
On 2015-05-18 09:04, Luis Felipe López Acevedo wrote: On 2015-05-18 08:17, John Darrington wrote: On Wed, May 13, 2015 at 06:53:15PM +0200, Ludovic Court??s wrote: Daniel Pimentel skribis: > I like Guix's website??, design is beautiful, site clean and objective. I was about t

Re: Guix feedbacks

2015-05-18 Thread Luis Felipe López Acevedo
On 2015-05-15 23:13, Daniel Pimentel wrote: Hi Guix, I have some feedback about site, documentation, Guix 0.8.2 and I'd like your opinion. First, site: I like the new Guix website. It's beautiful design, so if you put a carrousel effect in screenshot pictures, maybe have more beautiful. Thank

Re: Guix Oficial Website

2015-05-18 Thread Andreas Enge
Hello! On Wed, May 13, 2015 at 06:53:15PM +0200, Ludovic Courtès wrote: > I was about to announce it :-) So the new web site, designed by Felipe, > is now deployed, in time for the new release. Big thanks to Felipe for > the beautiful design and initial implementation, and to Mathieu for > putti

Re: Guix Oficial Website

2015-05-18 Thread Luis Felipe López Acevedo
On 2015-05-18 10:47, Andreas Enge wrote: Hello! Hi, Andreas. The "mobile phone" part of the responsive design activates itself quite early; personally, I am using a window that is a bit larger than half of my laptop screen, and the mobile phone design looks weird. For instance, the menu co

Re: Guix Oficial Website

2015-05-18 Thread Andreas Enge
On Mon, May 18, 2015 at 11:53:45AM -0500, Luis Felipe López Acevedo wrote: > Yes, I agree. The current design discriminates between two ranges of screens > only. So a new range could be added to avoid the too-much-menu issue in > wide-enough screens. That is yet another option. But I think that al

Syntax for package inputs

2015-05-18 Thread Ludovic Courtès
David Thompson skribis: > Ludovic Courtès writes: > >> (FWIW I’m not fond of the `(,gcc-toolchain "debug") notation that we >> also use in packages, but it has the advantage of being concise.) > > Do you have plans to introduce a better notation? G-exps? No concrete plan yet. A remote possibi

Re: Reproducible profiles

2015-05-18 Thread Ludovic Courtès
David Thompson skribis: > Ludovic Courtès writes: > >> We’ll need documentation and tests, too. :-) > > Regarding tests, where should I add them? I can see that > tests/guix-package.sh uses the '-n' flag to avoid building things. > Simply running 'guix package -n --apply=test-manifest.scm' and

Re: [PATCH] gnu: Add lpsolve.

2015-05-18 Thread Ludovic Courtès
Andreas Enge skribis: > On Sun, May 17, 2015 at 10:12:52PM +0200, Ludovic Courtès wrote: [...] >> > +(license license:lgpl2.1))) >> LGPLv2.1-only? > > Well, I do not quite know where I took this from any more. The distribution > says: > "free (see LGPL for the GNU lesser general public lice

Re: Guix binary tarball

2015-05-18 Thread Ludovic Courtès
Andreas Enge skribis: > thanks for the work; I would have proposed a patch, but thought the discussion > was not yet finished. Sorry, I did not want to pressure you, the discussion remains open anyway. :-) > I am attaching an amended version of Sree's /etc/init.d/guixd with the new > group and

Re: Guix Oficial Website

2015-05-18 Thread Ludovic Courtès
Luis Felipe López Acevedo skribis: > I just pushed a fix for the issue with colors. Thanks, committed to CVS. > As for the empty space, I'll let others comment on that because I > don't see it as a problem. I also don't mind if people decide that > using the whole width of the page (with reason

Re: Guix Oficial Website

2015-05-18 Thread Ludovic Courtès
Andreas Enge skribis: > On Mon, May 18, 2015 at 11:53:45AM -0500, Luis Felipe López Acevedo wrote: >> Yes, I agree. The current design discriminates between two ranges of screens >> only. So a new range could be added to avoid the too-much-menu issue in >> wide-enough screens. > > That is yet ano

Re: Guix Oficial Website

2015-05-18 Thread Luis Felipe López Acevedo
On 2015-05-18 14:45, l...@gnu.org wrote: Andreas Enge skribis: On Mon, May 18, 2015 at 11:53:45AM -0500, Luis Felipe López Acevedo wrote: Yes, I agree. The current design discriminates between two ranges of screens only. So a new range could be added to avoid the too-much-menu issue in wide

Special setup for Guix atop another distro

2015-05-18 Thread Ludovic Courtès
Hello! Our manual lacks info on things that need to be tweaked when using Guix on top of another distro. To get the discussion started, here’s a preliminary patch for you people to complete. :-) Please report all the things that you’ve had to tweak, or annoyances that you don’t know how to fix.

[PATCH] gnu: fltk: Use system zlib, libjpeg, and libpng.

2015-05-18 Thread Eric Bavier
From 99a43bda21fd243b84b65c6877251f199bb7047b Mon Sep 17 00:00:00 2001 From: Eric Bavier Date: Mon, 18 May 2015 15:07:50 -0500 Subject: [PATCH] gnu: fltk: Use system zlib, libjpeg, and libpng. * gnu/packages/fltk.scm (fltk)[inputs]: Add libjpeg, libpng, and zlib. [arguments]: Add 'patch-config'

Re: Reproducible profiles

2015-05-18 Thread David Thompson
Below is a new patch set taking into account the feedback received thus far. The (guix profiles) module still needs to be documented in the manual, but there's quite a lot of procedures and variables to account for. Would anyone be intertested in helping with this part? >From d506ad1d8824cc69436

Prerequesits GuixSD

2015-05-18 Thread Fabian Boucsein
Hello Guix developer, i came across Ludovics Fosdem talk and was instantly fascinated. This led to a strong "WANT TO TRY NOW". But the system build broke. I used a Lenovo T60 with just 1GB RAM. What hardware do i need to build a Guix system? I used the very tiny system configuration that i found o

Re: Guix Oficial Website

2015-05-18 Thread Amirouche BOUBEKKI
Le lundi 18 mai 2015 à 09:30 -0400, David Thompson a écrit : > John Darrington writes: > > > It would be better if black text on a very dark grey background was > > avoided. > > Where? We use white text on every dark background I can see. > Links that may help! [0] can help test constrat acc

[PATCH 01/10] gnu: base: Pass PATH_MAX TO sed and patch.

2015-05-18 Thread Manolis Ragkousis
From 4eb7220772b5ddb916debb5577ebc8febbba55b4 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Sun, 3 May 2015 22:02:12 +0300 Subject: [PATCH 01/10] gnu: base: Pass PATH_MAX TO sed and patch. * gnu/packages/base.scm (sed): Pass PATH_MAX to configure. * gnu/packages/base.scm (patch): Same.

wip-hurd: Reviewing my local patches.

2015-05-18 Thread Manolis Ragkousis
Hello guix, Hello Ludo, I am sending my local patches for review. Some of the commit messages may not be right, but I am mostly sending the patches for code review. All the patches apply on top of wip-hurd. When building the bootstrap binaries, glibc-for-bootstrap chooses the wrong glibc. The mac

[PATCH 02/10] gnu: base: Fix a bug that occurs in non-Linux systems.

2015-05-18 Thread Manolis Ragkousis
From ebdc9239ccdf7c27846f673478e1e44dd949a3e0 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 19 May 2015 00:21:12 +0300 Subject: [PATCH 02/10] gnu: base: Fix a bug that occurs in non-Linux systems. * gnu/packages/base.scm (tar): Apply patch. * gnu/packages/patches/tar-d_ino_in_diren

[PATCH 03/10] gnu: hurd: Pass --build to gnumach-headers when not cross building.

2015-05-18 Thread Manolis Ragkousis
From a03b2964be16bbcd2a61e915ae10469ade6adff1 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Sun, 10 May 2015 20:34:33 +0300 Subject: [PATCH 03/10] gnu: hurd: Pass --build to gnumach-headers when not cross building. * gnu/packages/hurd.scm (gnumach-headers): Adjust accordingly. --- gnu

[PATCH 05/10] gnu: bison: Add m4 as a native input.

2015-05-18 Thread Manolis Ragkousis
From 341be976921664ca8c2c071fcbf0e0c2df6224a5 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 12 May 2015 20:42:38 +0300 Subject: [PATCH 05/10] gnu: bison: Add m4 as a native input. * gnu/packages/bison (bison): Add m4 as a native input. --- gnu/packages/bison.scm | 4 +++- 1 file c

[PATCH 04/10] gnu: hurd: Pass --build to hurd-headers when not cross building.

2015-05-18 Thread Manolis Ragkousis
From 92fe3a0baf47712ee622f6caaa1d29f1918ce381 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 12 May 2015 21:05:12 +0300 Subject: [PATCH 04/10] gnu: hurd: Pass --build to hurd-headers when not cross building. * gnu/packages/hurd.scm (hurd-headers): Adjust accordingly. --- gnu/packa

[PATCH 06/10] gnu: flex: Add m4 as a native input.

2015-05-18 Thread Manolis Ragkousis
From 59edf7d33961ffd6dd56567caaca1a23a109d144 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 12 May 2015 20:45:41 +0300 Subject: [PATCH 06/10] gnu: flex: Add m4 as a native input. * gnu/packages/flex (flex): Add m4 as a native input. --- gnu/packages/flex.scm | 4 1 file chang

[PATCH 07/10] gnu: hurd: Add flex as an input to mig.

2015-05-18 Thread Manolis Ragkousis
From afdd6c8f76d9f11d7acb4d7d00d48d805f0ba0c6 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 12 May 2015 20:59:32 +0300 Subject: [PATCH 07/10] gnu: hurd: Add flex as an input to mig. * gnu/packages/hurd (mig): Add flex as an input. --- gnu/packages/hurd.scm | 4 +++- 1 file changed

[PATCH 08/10] gnu: base: Updated glibc-hurd to 2.19 and removed patches.

2015-05-18 Thread Manolis Ragkousis
This and the next one will become part of the add glibc/hurd commit. From c4417ed2a812ecabf61aafa5d1ea1a2677c27585 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 19 May 2015 00:44:59 +0300 Subject: [PATCH 08/10] gnu: base: Updated glibc-hurd to 2.19 and removed patches. gnu/packages

[PATCH 09/10] gnu: base: Remove a multiple definition from libpthread.

2015-05-18 Thread Manolis Ragkousis
This and the previous one will become part of the add glibc/hurd commit. From c79795377c6325739fdd1f5d1f40942f0dc349ad Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 19 May 2015 00:57:04 +0300 Subject: [PATCH 09/10] gnu: base: Remove a multiple definition from libpthread. gnu/packag

[PATCH 10/10] gnu: base: Added glibc-for-target macro.

2015-05-18 Thread Manolis Ragkousis
The macro that doesn't work as expected. From 0ee996bfbd300c62f2a31a8b6466de7565022da0 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 19 May 2015 01:10:06 +0300 Subject: [PATCH 10/10] gnu: base: Added glibc-for-target macro. gnu/packages/base.scm (glibc): Add macro. --- gnu/packages

Re: [PATCH 08/10] gnu: base: Updated glibc-hurd to 2.19 and removed patches.

2015-05-18 Thread Manolis Ragkousis
I did some rebasing before sending the patches, and the hash got a bit wrong. :P From 5eea545dcf50951d5bad8208b5f9ea83cc249f12 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 19 May 2015 00:44:59 +0300 Subject: [PATCH 8/10] gnu: base: Updated glibc-hurd to 2.19 and removed patches. g

Re: [PATCH 10/10] gnu: base: Added glibc-for-target macro.

2015-05-18 Thread Manolis Ragkousis
Because of my mistake in [8/10] the previous patch won't apply. Here is the updated one. :-) From 8534372800703610b1436870da2caf1fa3c9796c Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis Date: Tue, 19 May 2015 01:42:14 +0300 Subject: [PATCH 10/10] gnu: base: Added glibc-for-target macro. gnu/pac

[PATCH] gnu: Add sfxr.

2015-05-18 Thread David Thompson
>From af67dcbcee6dfe218e8f3080551a213b5cc8eebd Mon Sep 17 00:00:00 2001 From: David Thompson Date: Mon, 18 May 2015 19:14:01 -0400 Subject: [PATCH] gnu: Add sfxr. * gnu/packages/game-development.scm (sfxr): New variable. --- gnu/packages/game-development.scm | 42

[PATCH] Makefile.am: add a target that lists patches no longer used

2015-05-18 Thread Cyril Roelandt
* list-useless-patches.sh: New file. * Makefile.am (check-for-useless-patches): New target. --- Makefile.am | 3 +++ list-useless-patches.sh | 27 +++ 2 files changed, 30 insertions(+) create mode 100755 list-useless-patches.sh diff --git a/Makefile.am b/Make

patch for gnu/packages/scheme.scm

2015-05-18 Thread Alexander Shendi
Dear list, I have just installed Guix SD 0.8.2. I have initialized the system from the desktop template. I noticed a problem with the mit-scheme 9.2 package. When inwoking the edwin editor from the MIT-Scheme REPL (via "(edwin)"), I got an error message instead of the expected editor window: