Re: Removing compilers that cannot be bootstrapped

2016-03-25 Thread Chris Marusich
Chris Marusich writes: > Leo Famulari writes: > >> `wget https://blob` doesn't count as reproducible :) > > Very true. > > Self-hosting compilers are a cute trick, but they're a far cry from > being reproducible. They're just inscrutable binary blobs. If we want > true reproducibility from the

Re: Removing compilers that cannot be bootstrapped

2016-03-25 Thread John Darrington
Doesn't gcc also belong in this category? J' On Mon, Mar 21, 2016 at 01:54:24PM -0400, Thompson, David wrote: Haskell, OCaml, Chicken, and other compilers that we package have a serious issue that many of us are aware of: they cannot be built from source! They rely upon pre-built

Re: Removing compilers that cannot be bootstrapped

2016-03-25 Thread Chris Marusich
Leo Famulari writes: > `wget https://blob` doesn't count as reproducible :) Very true. Self-hosting compilers are a cute trick, but they're a far cry from being reproducible. They're just inscrutable binary blobs. If we want true reproducibility from the bottom up, then it seems like the only

Re: [PATCH] doc: "Introduction" revise and add figure.

2016-03-25 Thread myglc2
l...@gnu.org (Ludovic Courtès) writes: > Hi! > > After much hesitation and questions, I ended up pushing something > similar in spirit to what you suggest, but with my own words (commit > 6f773606812075ee5c6747c3b7f95285254e48f2). No problem. I knew I was 'messing with your baby.' But then again

[PATCH] import: pypi: read requirements from wheels.

2016-03-25 Thread Cyril Roelandt
* doc/guix.tex (Invoking guix import): Mention that the pypi importer works better with "unzip". * guix/import/pypi.scm (latest-wheel-release, wheel-url->extracted-directory): New procedures. * tests/pypi.scm (("pypi->guix-package, wheels"): New test. --- doc/guix.texi| 4 +- guix/import

Re: python general question (setup.py)

2016-03-25 Thread Nils Gillmann
Cyril Roelandt writes: > On 03/25/2016 11:02 PM, Nils Gillmann wrote: >> I have a question on python. >> My theory is that this is true: >> If I write a setup.py and contribute it to a project because I >> want to make an "easier"[1] install in Guix and elsewhere, >> I feed the "one packagemanage

Re: [PATCH 13/13] gnu: Add beets.

2016-03-25 Thread Leo Famulari
On Fri, Mar 25, 2016 at 08:30:20PM -0400, Leo Famulari wrote: > On Fri, Mar 25, 2016 at 06:37:28PM -0500, Alex Griffin wrote: > > This package builds fine on my Debian system but not on GuixSD. I've > > attached my build output, since it seems you're having trouble. > > [...] > > > ==

Re: [PATCH 13/13] gnu: Add beets.

2016-03-25 Thread Leo Famulari
On Fri, Mar 25, 2016 at 06:37:28PM -0500, Alex Griffin wrote: > This package builds fine on my Debian system but not on GuixSD. I've > attached my build output, since it seems you're having trouble. [...] > == > FAIL: test_nonexi

Re: Removing compilers that cannot be bootstrapped

2016-03-25 Thread Leo Famulari
On Sat, Mar 26, 2016 at 12:08:09AM +0100, Ludovic Courtès wrote: > Leo Famulari skribis: > > > On Wed, Mar 23, 2016 at 03:49:33PM -0700, Christopher Allan Webber wrote: > >> Ludovic Courtès writes: > >> > >> > Christopher Allan Webber skribis: > >> > > >> >> Let me give an even shorter-term sol

Re: [PATCH] import: pypi: read requirements from wheels.

2016-03-25 Thread Cyril Roelandt
On 03/02/2016 10:54 AM, Ludovic Courtès wrote: > It seems that all these files are left behind no? Could you make sure > they are removed? I think they are deleted. I call delete-file-recursively to remove everything, and I can't see the files anywhere, so I'm assuming they're really gone. Cyr

Re: Removing compilers that cannot be bootstrapped

2016-03-25 Thread Ludovic Courtès
Leo Famulari skribis: > On Wed, Mar 23, 2016 at 03:49:33PM -0700, Christopher Allan Webber wrote: >> Ludovic Courtès writes: >> >> > Christopher Allan Webber skribis: >> > >> >> Let me give an even shorter-term solution: maybe there is a way to mark >> >> things as risky from a trust perspectiv

Re: [PATCH 0/3] Fix letsencrypt

2016-03-25 Thread Ludovic Courtès
Leo Famulari skribis: > On Wed, Mar 23, 2016 at 12:12:20PM -0400, Leo Famulari wrote: >> On Tue, Mar 22, 2016 at 09:46:09PM -0400, Leo Famulari wrote: >> > Earlier today I found that I could not build letsencrypt. >> > >> > The recent update to python-hypothesis broke python-pyopenssl, which >>

Re: libcap: bzip2: Compressed file ends unexpectedly on http://mirror.guixsd.org

2016-03-25 Thread Ludovic Courtès
Leo Famulari skribis: > /gnu/store/2wakfpr67rnh8f1m0lm45wcaa1j2r29g-shishi-1.0.2 > /gnu/store/7v3093adf31b2sg2c46y3z2m24x2cjmi-gs-fonts-8.11 > /gnu/store/nv4qhmad49imc789l63plb3wd2cqambr-python2-cffi-1.4.2 All fixed now. Thanks, Ludo’.

Re: [PATCH] doc: "Introduction" revise and add figure.

2016-03-25 Thread Ludovic Courtès
Hi! After much hesitation and questions, I ended up pushing something similar in spirit to what you suggest, but with my own words (commit 6f773606812075ee5c6747c3b7f95285254e48f2). The suggestion you made of describing features “top-down” made a lot of sense to me, esp. compared to the previous

Re: python general question (setup.py)

2016-03-25 Thread Danny Milosavljevic
Hi, On Fri, 25 Mar 2016 23:02:20 +0100 Nils Gillmann wrote: > Is setup.py the equivalent of a package manager in python or does > it serve more purposes? Not at all. AFAIK, it's the equivalent of configure.ac / a Makefile. pip is the package manager. There's $ guix import pypi xxx for ge

Re: python general question (setup.py)

2016-03-25 Thread Cyril Roelandt
On 03/25/2016 11:02 PM, Nils Gillmann wrote: > I have a question on python. > My theory is that this is true: > If I write a setup.py and contribute it to a project because I > want to make an "easier"[1] install in Guix and elsewhere, > I feed the "one packagemanager per language" thing. > Not r

rust work in progress conflicts (was: Re: LLVM: "FileCheck" is missing)

2016-03-25 Thread Nils Gillmann
Here is my work in progress rust.scm, it is on pause until the next release of rust as mentioned before: ~/projects/guix_project/guix/gnu/packages $ cat rust.scm ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2016 Nils Gillmann ;;; ;;; This file is part of GNU Guix. ;;; ;

python general question (setup.py)

2016-03-25 Thread Nils Gillmann
I have a question on python. My theory is that this is true: If I write a setup.py and contribute it to a project because I want to make an "easier"[1] install in Guix and elsewhere, I feed the "one packagemanager per language" thing. Is setup.py the equivalent of a package manager in python or do

Re: LLVM: "FileCheck" is missing

2016-03-25 Thread Nils Gillmann
Danny Milosavljevic writes: Hi Danny, in my long journey to panopticon (https://panopticon.re) I am at rust now. Through what I tested and searched while I packaged rust, the next release candidate of rust will have an option for us where we can disable the llvm tests because they are optional f

Re: Guix vs GuixSD

2016-03-25 Thread myglc2
myglc2 writes: > Chris Marusich writes: > > [...] > > Thank you for the helpful comments. I have revised the diagram > accordingly. Please let me know if I missed something. > [...] Hey Chris, I added this diagram to the doc introduction, referred to our discussions to inform further simplific

Re: IMPORTANT: expat security update

2016-03-25 Thread Mark H Weaver
Mark H Weaver writes: > I just pushed a security update for expat. See: > >https://lwn.net/Articles/681356/ Bah, nevermind. I already fixed this bug last July, in commit 99e29da15690a696690b28b065e0d1b19c9610db. That's embarrassing. Mark

IMPORTANT: expat security update

2016-03-25 Thread Mark H Weaver
I just pushed a security update for expat. See: https://lwn.net/Articles/681356/ I recommend that you update ASAP. Note that Icecat includes a bundled copy of expat, so I guess it is probably still vulnerable. I hope to update it some time in the next few hours. For now, you might want to

Re: GSoC ideas

2016-03-25 Thread myglc2
Christopher Allan Webber writes: > > Sorry, I was unclear. What I'm talking about is Guix *as a package > manager* to be able to be available on foreigh distros so I can > encourage friends to do: > > apt-get install guix > > ... and then do user-space hacking with Guix, and use "guix environme

Re: GSoC ideas

2016-03-25 Thread myglc2
Efraim Flashner writes: [...] > > - ncurses installer -- my idea was Debian's installer can be considered ugly, > but it does have everything needed to install a system. Couldn't agree more. Don't know if you are still considering this idea, but reading your comment and a couple more recent GSo

Re: [GSoC] Draft proposal for an Install Wizard for Guix

2016-03-25 Thread myglc2
Thomas Ingram writes: > Hello, > > I'm a big fan of the project and I'd like to help write an installer > for GuixSD this summer for GSoC I'm including a plain text version of > my draft proposal I'm about so submit to the GNU GSoC page. Any > feedback or suggestions would be very helpful. > > So

Re: GSOC 2016 Application

2016-03-25 Thread myglc2
sapient...@openmailbox.org writes: > Hi all, > > My name is Dylan, and I am a Swarthmore College student interested in > working with Guix this summer! Attached is my proposal to help develop > an installation wizard for GuixSD. Please let me know if there are any > questions or comments. > > I am

[GSoC] Write a Bourne-shell compiler front-end for Guile

2016-03-25 Thread James Wood
Hello, I'm a second year Computer Science undergraduate at the University of Cambridge. I'm sorry for the lateness of this draft proposal (thanks, Ludo, for redirecting me to this list), but hope that there is still some time to consider it. James proposal.pdf Description: Adobe PDF docume

RFC: Install Wizard considerations

2016-03-25 Thread myglc2
There have been a few install wizard proposals for GSOC. They seem to all focus on making GuixSD easy to install. But I think we should consider: o) At the moment, a Guix binary install is easier than a GuixSD USB install and much more likely to leave the user with a fully working system.

Re: GSOC draft

2016-03-25 Thread Alex Vong
l...@gnu.org (Ludovic Courtès) writes: > Hi, Alex! > > Alex Vong skribis: > >> Deliverable: >> An extensible working bare-bone build system in Guile >> Plan: >> Idea: >> Autotool separates the configure phase and the build phase, >> in which the configure phase is responsible of probi

LLVM: "FileCheck" is missing

2016-03-25 Thread Danny Milosavljevic
Hi, is anyone familiar with our LLVM packages? I'm trying to package rust and run into /gnu/store/pmiw7p7a6hwl6k2kblsk3zwhxh3gln21-llvm-3.6.2/bin/FileCheck is missing when configuring rust. Indeed, it is missing in the entire tree /gnu/store/pmiw7p7a6hwl6k2kblsk3zwhxh3gln21-llvm-3.6.2

Re: [PATCH 13/13] gnu: Add beets.

2016-03-25 Thread Leo Famulari
On Fri, Mar 25, 2016 at 12:04:53PM -0400, Mark H Weaver wrote: > Leo Famulari writes: > > > On Thu, Mar 03, 2016 at 08:26:39PM -0500, Leo Famulari wrote: > >> * gnu/packages/music.scm (beets): New variable. > > > > I did a final cleaning pass incorporating reviewers' suggestions, > > satisfying t

Re: gnu: Add elixir. (WIP)

2016-03-25 Thread Leo Famulari
On Thu, Mar 24, 2016 at 11:53:56PM +0100, Pjotr Prins wrote: > Attached the package for the Elixir language based on the upcoming > Erlang package. It fails 12 tests out of 2845, mostly temporary files > in the wrong place. I'll fix that at some point, but this is happy on > my systems. Cool! >

Re: [PATCH 0/3] Fix letsencrypt

2016-03-25 Thread Leo Famulari
On Wed, Mar 23, 2016 at 12:12:20PM -0400, Leo Famulari wrote: > On Tue, Mar 22, 2016 at 09:46:09PM -0400, Leo Famulari wrote: > > Earlier today I found that I could not build letsencrypt. > > > > The recent update to python-hypothesis broke python-pyopenssl, which > > blocked the build of letsencr

Re: [PATCH 13/13] gnu: Add beets.

2016-03-25 Thread Mark H Weaver
Leo Famulari writes: > On Thu, Mar 03, 2016 at 08:26:39PM -0500, Leo Famulari wrote: >> * gnu/packages/music.scm (beets): New variable. > > I did a final cleaning pass incorporating reviewers' suggestions, > satisfying the linter, and updating anything that had received an upstream > update since

Re: GSOC 2016 Application

2016-03-25 Thread Chris Marusich
sapient...@openmailbox.org writes: > My name is Dylan, and I am a Swarthmore College student interested in > working with Guix this summer! Attached is my proposal to help develop > an installation wizard for GuixSD. Please let me know if there are any > questions or comments. This is a great ide

Re: [GSoC] Draft proposal for an Install Wizard for Guix

2016-03-25 Thread Thomas Ingram
On 03/25/2016 09:09 AM, Ludovic Courtès wrote: I like the goals you’re proposing for this installer. How would you go implementing it? The proposal does not explicitly mention a UI library that would be used, and how the UI code would interact with Guix and GuixSD code. I think most of the in

Re: The story of GNOME on GuixSD

2016-03-25 Thread Chris Marusich
l...@gnu.org (Ludovic Courtès) writes: > Here’s a recap of what it took to add GNOME support to GuixSD: > > http://savannah.gnu.org/forum/forum.php?forum_id=8491 That was a really interesting read. Thank you for summarizing the journey! It's amazing how deep the rabbit hole goes. Thank goodn

Re: Call for testing

2016-03-25 Thread Tobias Geerinckx-Rice
Woo! On 25/03/2016, Ludovic Courtès wrote: > As you can see, due to popular demand ;-), the minor version number has > been bumped. I think it makes sense. I'll take an extra laptop along for Easter dinner... :-) Thanks to all contributors, T G-R

Re: GSOC 2016 Application

2016-03-25 Thread Christopher Allan Webber
sapient...@openmailbox.org writes: > Hi all, > > My name is Dylan, and I am a Swarthmore College student interested in > working with Guix this summer! Attached is my proposal to help develop > an installation wizard for GuixSD. Please let me know if there are any > questions or comments. > > I

GSOC 2016 Application

2016-03-25 Thread sapientech
Hi all, My name is Dylan, and I am a Swarthmore College student interested in working with Guix this summer! Attached is my proposal to help develop an installation wizard for GuixSD. Please let me know if there are any questions or comments. I am also interested in applying to work on 8sync

GSOC 2016 Application

2016-03-25 Thread sapientech
Resending this since it seems to have failed. Please ignore if original email comes through. On 2016-03-24 15:06, sapient...@openmailbox.org wrote: Hi all, My name is Dylan, and I am a Swarthmore College student interested in working with Guix this summer! Attached is my proposal to help devel

Re: [GSoC] Draft of my proposition

2016-03-25 Thread Ludovic Courtès
Hi Rémi, Long time no see! :-) How do you view the project you worked on, in hindsight? Would you pick it up and complete it? Cheers, Ludo’.

Re: [GSoC] Draft of my proposition

2016-03-25 Thread Ludovic Courtès
Salut Vincent, skribis: > 23. Mar 2016 02:17 by cmmarus...@gmail.com: [...] >> This is a very compelling idea! Thank you for sharing it; IPFS is new >> to me, and it looks intriguing. I understand that in the past, Rémi >> Birot-Delrue did some work on a similar project to enable publication

Re: GSOC draft

2016-03-25 Thread Ludovic Courtès
Hi, Alex! Alex Vong skribis: > Deliverable: > An extensible working bare-bone build system in Guile > Plan: > Idea: > Autotool separates the configure phase and the build phase, > in which the configure phase is responsible of probing feature > provided by system, while the build

Re: [GSoC] Draft proposal for an Install Wizard for Guix

2016-03-25 Thread Ludovic Courtès
Hi! (Removing summer-of-c...@gnu.org.) Thanks for your proposal! Thomas Ingram skribis: > Plan: > > Before the summer starts: > > I will be reading up on the ncurses documentation and guile writing > small programs to practice and prepare. I've been programming in > scheme for six months so

Re: [PATCH] gnu: Add Icedtea 3.0.0pre09

2016-03-25 Thread Ludovic Courtès
Ricardo Wurmus skribis: > Ludovic Courtès writes: > >> Ricardo Wurmus skribis: [...] >>> Does it make sense to push this patch to master? Or should we wait for >>> an official release? Java 1.8 is already pretty old and it seems like >>> the pre-release is enough to build OpenJDK 8. >> >> I

Re: [PATCH] gnu: Add Icedtea 3.0.0pre09

2016-03-25 Thread Ricardo Wurmus
Ludovic Courtès writes: > Ricardo Wurmus skribis: > >> Ricardo Wurmus writes: >> >>> the latest icedtea-ified JDK has not yet been released, but this doesn’t >>> mean we can’t package it. >>> >>> Attached is a patch to add “icedtea-8” (because it provides the JDK for >>> Java version 1.8). It

Re: [PATCH] gnu: Add Icedtea 3.0.0pre09

2016-03-25 Thread Ludovic Courtès
Ricardo Wurmus skribis: > Ricardo Wurmus writes: > >> the latest icedtea-ified JDK has not yet been released, but this doesn’t >> mean we can’t package it. >> >> Attached is a patch to add “icedtea-8” (because it provides the JDK for >> Java version 1.8). It uses the upstream tarball for versio

Re: [PATCH] gnu: Add gnu-maintain and gnu-standards.

2016-03-25 Thread Ludovic Courtès
Jan Nieuwenhuizen skribis: > From 914756aa6c8893ce68f57dab575ed67f4d5ae560 Mon Sep 17 00:00:00 2001 > From: Jan Nieuwenhuizen > Date: Wed, 23 Mar 2016 22:18:46 +0100 > Subject: [PATCH] gnu: Add gnu-maintain and gnu-standards. > > * gnu/packages/gnu-doc.scm: New file. Please add it to gnu-system

Call for testing

2016-03-25 Thread Ludovic Courtès
Hello! Please consider the following GuixSD installation image for testing, and report any issues or successes! https://www.fdn.fr/~lcourtes/software/guix/guixsd-usb-install-0.10.0pre.x86_64-linux.xz SHA1: 85296c9352740fbcc2b83211a1af39302d9d5f41 https://www.fdn.fr/~lcourtes/software/gui

[PATCH] emacs: Use 'build-and-use-profile' from (guix scripts package).

2016-03-25 Thread Alex Kost
This is to remove code duplication in "emacs/guix-main.scm" and "guix/scripts/package.scm" ('build-and-use-profile' did not exist until commits 1b67644 and d1ac5c0). The only important (or maybe not) difference is: (set-guile-for-build (default-guile)) in "guix-main.scm" which does not exist i

Re: [PATCH] gnu: postgresql: Substitute hard coded "/bin/sh".

2016-03-25 Thread John Darrington
I committed it with the changes you suggested. Thanks On Thu, Mar 24, 2016 at 10:24:32PM +0100, Ricardo Wurmus wrote: Hi John, thanks for the patch! While the patch looks generally okay, I do want to make a few nit-picking comments. > * gnu/packages/datab