Re: [PATCH 3/3] gnu: Add filezilla.

Minor thing, and I'm not sure if we have a convention for this, but it'd be neat to keep the use-module statements ordered alphabetically. Ordered alphabetically! Again, I'm under the impression that this should rather be gpl2+. I'd be happy to be proven wrong otherwise! +(propert

Re: [PATCH 2/3] gnu: Add libfilezilla.

Hello, Thanks for the explanation about the licenses. Attachment patch with suggested changes. I don't see this in the sources (https://svn.filezilla-project.org/filezilla/libfilezilla/tags/0.9.0/). I'm pretty sure those GPLv3 licensed files are part of the GNU autotools rather than libfilezi

[WIP Patch] tripwire; "install" duplicate filenames?

Hi, does anyone know how I can easily fix "install" complaining about a file being specified multiple times (in an upstream project)? The error messages I get (among other similar ones): /gnu/store/9xfn6q7cxqxaxsv6kgiic9iygl2iv2ci-coreutils-8.25/bin/install -c -m 644 twconfig.4 twpolicy.4 twc

Re: [PATCH 1/1] services: Add agetty service.

On Tue, Feb 14, 2017 at 07:12:44PM -0500, Leo Famulari wrote: > * gnu/services/base.scm (): New record type. > (agetty-shepherd-service, agetty-service): New procedures. > (agetty-service-type): New variable. My intention is to get a serial tty, for example /dev/ttyS0, so that I can install GuixSD

[PATCH 1/1] services: Add agetty service.

* gnu/services/base.scm (): New record type. (agetty-shepherd-service, agetty-service): New procedures. (agetty-service-type): New variable. --- gnu/services/base.scm | 72 ++- 1 file changed, 71 insertions(+), 1 deletion(-) diff --git a/gnu/service

Re: Archive authentication & ‘guix challenge’

On 02/14/2017 at 17:43 Maxim Cournoyer writes: > Hi George and Ludovic, > > l...@gnu.org (Ludovic Courtès) writes: > > [...] >> >> ‘guix pull’ preserves your (guix config) module. So if the ‘guix’ you >> run was configured to use /etc, it’ll keep using that; if it was >> configured to use /usr/l

Re: Archive authentication & ‘guix challenge’

On 02/14/2017 at 16:29 Ludovic Courtès writes: > myglc2 skribis: > >> g1@g1 ~/src/guix [env]$ ./configure --sysconfdir=/etc >> >> ... it gave this message ... >> >> [...] >> checking the current installation's localstatedir... /var >> configure: error: chosen localstatedir '/usr/local/var' does

Re: [GNU-linux-libre] Free firmware - A redefinition of the term and a new metric for it's measurement.

And to be clear I never suggested adding the raspberry pi firmware to a FSDG compliant distribution. I don't think the suggestion I made actually qualifies the raspberry pi firmware - or any current firmware for that matter. It was made to encourage hardware manufacturers that are willing to dip a

Re: [GNU-linux-libre] Free firmware - A redefinition of the term and a new metric for it's measurement.

> David, I think you need to give up wasting your time trying to convince > a Gnu/Linux *Libre* list that proprietary kernel blobs are a good idea. > Most people are here because they care more about freedom than getting > the support of every manufacturer on the market. If you want to make > headw

Re: [GNU-linux-libre] Free firmware - A redefinition of the term and a new metric for it's measurement.

Some folks are working a free firmware for Rpi2: https://wiki.debian.org/RaspberryPi2 What you say below is not necessarily true. You can buy libre systems. Of course, sometimes they cost more... but in a non-ideal world freedom sometimes comes with a price. Anyway, the point of projects like thi

Re: [GNU-linux-libre] Free firmware - A redefinition of the term and a new metric for it's measurement.

> About that conversation involving some GuixSD user: He gave that kind of > recommendation so easily? I'm shocked... The irony is that unless you know as much about hardware as Denis you ARE USING NON-FREE FIRMWARE. As proven by you suggestion to simply use a different distro.

Re: [GNU-linux-libre] Free firmware - A redefinition of the term and a new metric for it's measurement.

About that conversation involving some GuixSD user: He gave that kind of recommendation so easily? I'm shocked... Unless the conversation was cut somewhere, I didn't see indication that you wanted/want to develop free/libre replacement for the non-free software needed for RPI 2 to work. In this ca

Re: guix system delete-generations -- advice?

(I somehow messed up the encoding/body of previous message, so here it is again. my apologies) I added `guix system delete-generations' in my git checkout, WIP patch attached. I had started to adapt the corresponding code from `guix package delete-generations', but then realized that `delete-matc

Re: [PATCH 3/6] daemon: On aarch64, use increments of 16 on the stack.

On Tue, Feb 14, 2017 at 09:47:30AM +0100, Ludovic Courtès wrote: > Efraim Flashner skribis: > > > man2 clone: EINVAL: ... on aarch64, child_stack must be a multiple of 16. > > > > * nix/libstore/build.cc (DerivationGoal::startBuilder): When on aarch64, > > when calling clone(), increment the stac

Re: [PATCH 4/6] gnu: Add bootstrap-binaries for 'aarch64-linux'.

On Tue, Feb 14, 2017 at 09:51:01AM +0100, Ludovic Courtès wrote: > Efraim Flashner skribis: > > > * gnu/packages/bootstrap/aarch64-linux/bash, > > gnu/packages/bootstrap/aarch64-linux/mkdir, > > gnu/packages/bootstrap/aarch64-linux/xz, > > gnu/packages/bootstrap/aarch64-linux/tar: New files. > >

guix system delete-generations -- advice?

Hi Guix, I added `guix system delete-generations' in my git checkout, WIP patch attached. I had started to adapt the corresponding code from `guix package delete-generations', but then realized that `delete-matching-generations` from (guix scripts package) contains everything that's needed (could

Re: [PATCH 1/6] gnu: %static-inputs: Use 'grep' without custom phase.

On Tue, Feb 14, 2017 at 09:30:01AM +0100, Ludovic Courtès wrote: > Efraim Flashner skribis: > > > This reverts commit 1063d325ea76aa2b00dfcd3d436b16e412103df1 for during > > creation of the bootstrap-binaries. > > > > * gnu/packages/make-bootstrap.scm (%static-inputs): Use a custom 'grep' > > wit

Re: [PATCH 5/6] gnu: gcc: Force Aarch64 to use /lib.

On Tue, Feb 14, 2017 at 09:51:47AM +0100, Ludovic Courtès wrote: > Danny Milosavljevic skribis: > > >> + ;; Force Aarch64 libdir to be /lib and not /lib64 > >> + (substitute* "gcc/config/aarch64/t-aarch64-linux" > >> +(("lib64") "lib")) > >> + > > > > I'd

Re: [PATCH 2/6] gnu: %bootstrap-coreutils&co: Patch egrep/fgrep to work regardless of $PATH.

On Tue, Feb 14, 2017 at 09:35:58AM +0100, Ludovic Courtès wrote: > Efraim Flashner skribis: > > > This is the bootstrap version of 1063d325ea76aa2b00dfcd3d436b16e412103df1 > > > > * gnu/packages/bootstrap.scm (%bootstrap-coreutils&co)[source]: Patch > > the absolute location of 'grep' when called

Re: unmerged patches

ng0 writes: > Hi, > > I will re-submit my unmerged patches to the new guix-patches list. If > someone lost track, there's an online view to keep track of open/closed > things. > > I hope this helps to move forward the patches I still have control over > (some are already dropped for reasons). Gre

Re: [PATCH 1/1] gnu: vim: Fix CVE-2017-5953.

On Tue, Feb 14, 2017 at 05:21:10PM +0100, Ludovic Courtès wrote: > Leo Famulari skribis: > > > * gnu/packages/patches/vim-CVE-2017-5953.patch: New file. > > * gnu/local.mk (dist_patch_DATA): Add it. > > * gnu/packages/vim.scm (vim)[source]: Use it. I corrected the upstream mistake and pushed as

Re: hash of fish is wrong.

On Tue, Feb 14, 2017 at 02:27:00PM -0500, Leo Famulari wrote: > On Tue, Feb 14, 2017 at 08:14:43PM +0100, Tobias Geerinckx-Rice wrote: > > Anyone want to scan a 20,357-line diff for a back door before I push an > > update? > > We should file a bug report with the fish maintainers. Somebody else a

Re: hash of fish is wrong.

On Tue, Feb 14, 2017 at 08:14:43PM +0100, Tobias Geerinckx-Rice wrote: > Anyone want to scan a 20,357-line diff for a back door before I push an > update? We should file a bug report with the fish maintainers. signature.asc Description: PGP signature

Re: hash of fish is wrong.

ng0 (again, and this time the list), Thanks for catching and reporting this. On 14/02/17 18:19, ng0 wrote: > can someone else check which hash should be the correct one? I think > 19djav128nkhjxgfhwhc32i5y9d9c3karbh5yg67kqrdranyvh7q is correct. We're both right! Yay! It's a Valentine's day mirac

Re: [GNU-linux-libre] Free firmware - A redefinition of the term and a new metric for it's measurement.

Hi Denis, Thank you for your extensive feedback. > With that we can still use WiFi by ignoring the intel wifi card and > using an USB wifi card instead. I considered using this option but realized that I had a buggy thunderbolt controller in my laptop, that I can only update from a windows compu

Re: [PATCH] gnu: Add emacs-pretty-mode.

On 17-02-02 12:16:28, Alex Kost wrote: > contact@cryptolab.net (2017-02-01 18:08 +) wrote: > > > From: ng0 > > > > * gnu/packages/emacs.scm (emacs-pretty-mode): New variable. > > --- > > gnu/packages/emacs.scm | 23 +++ > > 1 file changed, 23 insertions(+) > > > > dif

unmerged patches

Hi, I will re-submit my unmerged patches to the new guix-patches list. If someone lost track, there's an online view to keep track of open/closed things. I hope this helps to move forward the patches I still have control over (some are already dropped for reasons). -- ng0 -- https://www.inventat

Re: Add: bbs100.

On 17-02-01 11:22:15, Kei Kebreau wrote: > ng0 writes: > > > This patch adds bbs100. It is still maintained, the release intervals > > are just very long. > > It will need a service to be fully functional, but that service looks > > like it will be small. > > The build runs a test and does not fo

Re: Announcement regarding the oss-security mailing list

Ricardo Wurmus writes: > Leo Famulari writes: > >> I think that several of us are subscribed to oss-security as part of our >> effort to learn about upstream security issues in a timely manner. >> >> A couple days ago, MITRE decided to stop assigning CVEs from the list: >> >> http://seclists.org

Re: [PATCH] gnu: font-gnu-unifont: Call mkfontdir for pcf output

Hi, > One problem of this solution is that some font packages (for example, > fonts-misc-misc) already have fonts.dir, to avoid conflict, it is better > to remove fonts.dir in all font packages and generate fonts.dir in > fonts-dir-file, I think that is good. But I don't know whether others > th

Re: [GNU-linux-libre] Free firmware - A redefinition of the term and a new metric for it's measurement.

Hi David, David Craven writes: >> I had followed some earlier developments but had lost track recently! >> I'm happy to see that they have released the sources of their >> microcontroller chip design. > > It's more than a microcontroller chip design. The people behind sifive are > from uc berkel

Re: Archive authentication & ‘guix challenge’

Hi George and Ludovic, l...@gnu.org (Ludovic Courtès) writes: [...] > > ‘guix pull’ preserves your (guix config) module. So if the ‘guix’ you > run was configured to use /etc, it’ll keep using that; if it was > configured to use /usr/local/etc, it’ll keep using that. > > If you run “./pre-inst-e

Re: [PATCH] gnu: Remove xf86-video-modesetting.

On Tue, Feb 14, 2017 at 05:47:53PM +0100, Marius Bakke wrote: > This is maintained as part of xorg-server nowadays. > > * gnu/packages/xorg.scm (xf86-video-modesetting): Remove variable. > * gnu/services/xorg.scm (xorg-configuration-file, %default-xorg-modules): > Adjust accordingly. I believe it

hash of fish is wrong.

Hi, can someone else check which hash should be the correct one? master tree of guix gives: ng0@greendragon ~/src/guix-dev$ guix package -i fish Starting download of /gnu/store/a44p5qn1idsy75qfgky7l3ksjjrxqmca-fish-2.5.0.tar.gz >From https://fishshell.com/files/2.5.0/fish-2.5.0.tar.gz...

Re: [PATCH] gnu: Add python-openid.

On 17-02-14 15:55:11, ng0 wrote: > On 17-02-14 16:23:13, Marius Bakke wrote: > > Julien Lepiller writes: > > > > > * gnu/packages/python.scm (python-openid): New variable. > > > > [...] > > > > > +(define-public python-openid > > > + (package > > > +(name "python-openid") > > > +(ver

[PATCH] gnu: Remove xf86-video-modesetting.

This is maintained as part of xorg-server nowadays. * gnu/packages/xorg.scm (xf86-video-modesetting): Remove variable. * gnu/services/xorg.scm (xorg-configuration-file, %default-xorg-modules): Adjust accordingly. --- gnu/packages/xorg.scm | 26 -- gnu/services/xorg.scm |

Re: GuixSD on commodity hosting platforms, hoster: IN-Berlin

On Tue, Feb 14, 2017 at 10:24:57AM +0100, Ludovic Courtès wrote: > Leo Famulari skribis: > > I'd like for someone to try this conversion themself and verify that it > > creates the same qcow2 file. > > The image itself is most likely not bit-reproducible, if that’s what you > mean (non-reproducib

Re: Archive authentication & ‘guix challenge’

myglc2 skribis: > g1@g1 ~/src/guix [env]$ ./configure --sysconfdir=/etc > > ... it gave this message ... > > [...] > checking the current installation's localstatedir... /var > configure: error: chosen localstatedir '/usr/local/var' does not match that > of the existing installation '/var' > Ins

Re: Ideas for Summer of Code 2017

ng0 skribis: > On 17-02-14 10:10:55, Ludovic Courtès wrote: >> Christopher Allan Webber skribis: >> >> > One interesting change from when this was defined last year and this >> > year is that the "extensible event loop" one has some candidates to pick >> > from, via guile a-sync, fibers, and 8s

Re: [PATCH 1/1] gnu: vim: Fix CVE-2017-5953.

Leo Famulari skribis: > * gnu/packages/patches/vim-CVE-2017-5953.patch: New file. > * gnu/local.mk (dist_patch_DATA): Add it. > * gnu/packages/vim.scm (vim)[source]: Use it. Go for it! Thanks, Ludo'.

Re: Let’s freeze and build ‘core-updates’!

Hey Marius, Marius Bakke skribis: > Ludovic Courtès writes: > >> Hello Guix! >> >> Since I’m about to leave keyboard for a couple of weeks, here’s a to-do >> list for those of you who’ll be around. :-) >> >> The last things I wanted to push for ‘core-updates’ were a reproducible >> Guile (done

Re: [PATCH] website: packages: Anchor location url to commit id.

ng0 skribis: > On 17-02-13 15:35:25, Ludovic Courtès wrote: >> ericbav...@openmailbox.org skribis: >> >> > From: Eric Bavier >> > >> > * website/www/packages.scm (git-description): New variable. >> > (location-url): Include "?id=..." if possible. >> >> Looks like a good idea, please push! >>

Re: [PATCH] gnu: Add python-openid.

On 17-02-14 16:23:13, Marius Bakke wrote: > Julien Lepiller writes: > > > * gnu/packages/python.scm (python-openid): New variable. > > [...] > > > +(define-public python-openid > > + (package > > +(name "python-openid") > > +(version "3.0.10") > > +(source > > + (origin > > +

Re: Archive authentication & ‘guix challenge’

On 02/14/2017 at 09:20 Ludovic Courtès writes: > myglc2 skribis: > >> On 02/13/2017 at 14:05 Ludovic Courtès writes: >> >>> Hi Maxim, >>> >>> Maxim Cournoyer skribis: >>> l...@gnu.org (Ludovic Courtès) writes: > myglc2 skribis: > >> On 02/09/2017 at 17:36 Ludovic Courtès

[PATCH 8/8] bootloader: Add install procedures and use them.

* gnu/system/bootloader.scm (dd, install-grub, install-syslinux): New procedures. * gnu/build/install.scm (install-boot-config): New procedure. (install-grub): Move to (gnu system bootloader). * gnu/build/vm.scm (register-bootcfg-root): Rename register-grub.cfg-root and adjust accordingly.

[PATCH 7/8] vm: Fix full-boot? option.

* gnu/system/vm.scm (virtualized-operating-system): Add full-boot? option. Don't add a %store-mapping when full-boot? is passed. This leads the grub-configuration-file procedure to look for the kernel and initrd in / instead of /gnu/store. --- gnu/system/vm.scm | 31 ++---

[PATCH 5/8] vm: Remove hard coded kernel file name.

* gnu/system/vm.scm (system-qemu-image/shared-store-script, expression->derivation-in-linux-vm): Use operating-system-kernel-file and system-linux-image-file-name. * gnu/system.scm (system-linux-image-file-name): Add ARM. --- gnu/system.scm| 9 ++--- gnu/system/vm.scm | 5 +++-- 2 file

[PATCH 3/8] system: Add extlinux support.

* gnu/system.scm (operating-system): Add default bootloader. (operating-system-grub.cfg): Use bootloader-configuration-file-procedure. * gnu/system/grub.scm (bootloader-configuration->grub-configuration): New variable. (grub-configuration-file): Use bootloader-configuration->grub-configuratio

[PATCH 2/8] system: Pass to grub.

* gnu/system.scm (operating-system-grub.cfg): Pass . * gnu/system/grub.scm (boot-parameters->menu-entry): New variable. (grub-configuration-file): Use boot-parameters->menu-entry. --- gnu/system.scm | 12 +++- gnu/system/grub.scm | 19 +++ 2 files changed, 22 inserti

[PATCH 0/8] WIP: Better support for non-grub bootloaders.

These patches make changes to the bootloader API and will break operating-system's and some scripts (--no-grub is renamed to --no-bootloader). I would like some feedback on the API and also ideas on how to handle API changes with minimal discomfort to our users. The most interesting commit is 8

[PATCH 6/8] vm: Improve readability of run-vm.sh generation.

* gnu/system/vm.scm (common-qemu-options, system-qemu-image/shared-store-script): Improve readability. --- gnu/system/vm.scm | 69 ++- 1 file changed, 38 insertions(+), 31 deletions(-) diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm index a

[PATCH 2/8] system: Pass to grub.

* gnu/system.scm (operating-system-grub.cfg): Pass . * gnu/system/grub.scm (boot-parameters->menu-entry): New variable. (grub-configuration-file): Use boot-parameters->menu-entry. --- gnu/system.scm | 12 +++- gnu/system/grub.scm | 19 +++ 2 files changed, 22 inserti

[PATCH 4/8] scripts: system: Rename --no-grub option to --no-bootloader.

* guix/scripts/system.scm (%options, show-help): Adjust accordingly. --- guix/scripts/system.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/guix/scripts/system.scm b/guix/scripts/system.scm index fb32d08a5..04274919e 100644 --- a/guix/scripts/system.scm +++ b/guix/scri

[PATCH 1/8] file-systems: Add FAT32 support.

* gnu/build/file-systems.scm (%fat32-endianness, fat32-superblock?, read-fat32-superblock, fat32-superblock-uuid, fat32-uuid->string, fat32-superblock-volume-name, check-fat32-file-system): New variables. (%partition-label-readers, %partition-uuid-readers, check-file-system): Add fat suppor

python-pyicu test failure

Hello Guix, The 'python-pyicu' package is currently failing a test. == FAIL: testAddPattern (test.test_DateTimeParserGenerator.TestDateTimePatternGenerator) Test overwriting a pattern with the same skeleton.

Re: [PATCH] gnu: Add python-openid.

Julien Lepiller writes: > * gnu/packages/python.scm (python-openid): New variable. [...] > +(define-public python-openid > + (package > +(name "python-openid") > +(version "3.0.10") > +(source > + (origin > + (method url-fetch) > + (uri (pypi-uri "python3-openid"

Re: Let’s freeze and build ‘core-updates’!

Ludovic Courtès writes: > Hello Guix! > > Since I’m about to leave keyboard for a couple of weeks, here’s a to-do > list for those of you who’ll be around. :-) > > The last things I wanted to push for ‘core-updates’ were a reproducible > Guile (done in b5efd14a9add1bcb4a44fa5b9c1b47706f3df9da),

Re: [neomutt-devel] neomutt now available on Guix and GuixSD

Hi, CC'd the guix-devel mailinglist for the inline question. On 17-02-14 13:39:32, Richard Russon wrote: > Hi ng0, > > > > i forgot to ask: Do you want to join our packaging team? > > > it requires a github account to log in > > And right now, and as long as I can avoid it, I don't have an gith

Re: [GNU-linux-libre] Free firmware - A redefinition of the term and a new metric for it's measurement.

On Fri, 3 Feb 2017 15:37:32 +0100 David Craven wrote: > This leads to two models of loading the firmware that runs on the MCU. > > 1. The peripheral does not contain persistent storage and the firmware > is loaded by the linux kernel through a standard API. When using the Linux kernel, the firmw

Re: server and client in one package -> security issue

On Tue 14 Feb 2017 11:28, Hartmut Goebel writes: > Am 13.02.2017 um 15:13 schrieb Ludovic Courtès: >> Now, back to the “only install the required software”, I wouldn’t go as >> far as you do. I generally agree with the rule, but I’m skeptical as to >> what this buys you from a security perspecti

Re: server and client in one package -> security issue

Am 13.02.2017 um 15:13 schrieb Ludovic Courtès: > Now, back to the “only install the required software”, I wouldn’t go as > far as you do. I generally agree with the rule, but I’m skeptical as to > what this buys you from a security perspective: users can always install > whatever they want by han

Re: server and client in one package -> security issue

Am 14.02.2017 um 10:16 schrieb Danny Milosavljevic: > I don't think Guix should do that, though. I think guix should provide the tools for doing so. Guix has the big advantage of providing trustworthy packages, but kicks itself out of the race if hardening is so much complicated. > IMO locking d

Re: [GNU-linux-libre] Free firmware - A redefinition of the term and a new metric for it's measurement.

> I had followed some earlier developments but had lost track recently! > I'm happy to see that they have released the sources of their > microcontroller chip design. It's more than a microcontroller chip design. The people behind sifive are from uc berkeley and also developed a full gcc toolchain

Re: Add murmur.

Am 12.02.2017 um 18:54 schrieb David Craven: > If an attacker already has the privileges required to start the software > I don't think it's possible to gain any more privileges unless that software > has the setuid bit set. You are right. I implicitly made some assumptions like setuid bit set. N

Re: GuixSD on commodity hosting platforms, hoster: IN-Berlin

On 17-02-14 10:24:57, Ludovic Courtès wrote: > Leo Famulari skribis: > > > On Thu, Feb 09, 2017 at 06:36:09PM +, ng0 wrote: > >> today I had a short message exchange with the hoster "IN-Berlin"[0], a > >> non-commercial group predating the widespread access of internet in > >> Germany. > >>

Re: server and client in one package -> security issue (was: Add murmur)

On 17-02-14 10:16:51, Danny Milosavljevic wrote: > Hi, > > I think the argument that things that don't exist can't be abused is a good > one. > > However, a regular user can install it anyway. I don't remember when I last > ran "guix package -i" as root. I just run it using my regular user acco

Re: Ideas for Summer of Code 2017

On 17-02-14 10:10:55, Ludovic Courtès wrote: > Christopher Allan Webber skribis: > > > One interesting change from when this was defined last year and this > > year is that the "extensible event loop" one has some candidates to pick > > from, via guile a-sync, fibers, and 8sync. > > > > However u

Re: GuixSD on commodity hosting platforms, hoster: IN-Berlin

Leo Famulari skribis: > On Thu, Feb 09, 2017 at 06:36:09PM +, ng0 wrote: >> today I had a short message exchange with the hoster "IN-Berlin"[0], a >> non-commercial group predating the widespread access of internet in >> Germany. >> >> It turns out that it could be as simple as providing the

Re: Archive authentication & ‘guix challenge’

myglc2 skribis: > On 02/13/2017 at 14:05 Ludovic Courtès writes: > >> Hi Maxim, >> >> Maxim Cournoyer skribis: >> >>> l...@gnu.org (Ludovic Courtès) writes: >>> myglc2 skribis: > On 02/09/2017 at 17:36 Ludovic Courtès writes: [...] >> Could it be that the ‘guix

Re: [PATCH v2] build: dub-build-system: Don't use "dub run" at all.

Pushed to master, commit 80345600faae388f508822818adfc990b1ebac66.

Re: server and client in one package -> security issue (was: Add murmur)

Hi, I think the argument that things that don't exist can't be abused is a good one. However, a regular user can install it anyway. I don't remember when I last ran "guix package -i" as root. I just run it using my regular user account. So to separate the outputs adds just a miniscule step. In

Re: [PATCH 04/10] gnu: Add ocaml-ppx-driver.

Hi, Julien Lepiller skribis: > On Wed, 08 Feb 2017 12:17:31 +0100 > l...@gnu.org (Ludovic Courtès) wrote: > >> Hello! >> >> Minor issues: >> >> Julien Lepiller skribis: >> >> > +(synopsis "Feature-full driver for OCaml AST transformers") >> > +(description "A driver is an executable

Re: Ideas for Summer of Code 2017

Christopher Allan Webber skribis: > One interesting change from when this was defined last year and this > year is that the "extensible event loop" one has some candidates to pick > from, via guile a-sync, fibers, and 8sync. > > However using any of those would require Shepherd being pinned to Gu

Re: Ideas for Summer of Code 2017

David Craven skribis: >> Students, mentors, and hackers: please discuss your ideas on this list >> and add them to the wiki page! > > RISCV port. Why not, please add it to the wiki page! > I've made a lot of progress on the bootloader stuff. I'll be posting patches > for commenting soon. > > I

Let’s freeze and build ‘core-updates’!

Hello Guix! Since I’m about to leave keyboard for a couple of weeks, here’s a to-do list for those of you who’ll be around. :-) The last things I wanted to push for ‘core-updates’ were a reproducible Guile (done in b5efd14a9add1bcb4a44fa5b9c1b47706f3df9da), and a subset or all of the aarch64 pat

Re: Add murmur.

On 17-02-12 14:37:53, Ludovic Courtès wrote: > ng0 skribis: > > > On 17-02-11 15:31:15, Ludovic Courtès wrote: > >> ng0 skribis: > > [...] > > >> > As far as I know right now, it does not have any graphical features or > >> > dependencies. > >> > > >> > mumble:murmur -> total: 1072.6 MiB > >>

Re: [PATCH v2] build: dub-build-system: Don't use "dub run" at all.

Danny Milosavljevic skribis: > It doesn't make sense to run non-test executables (which is what "dub run" > would do). > > The "check" function already invokes "dub test" and that's enough. > > * guix/build/dub-build-system.scm (build): Remove "dub run" invocation. Perfect, thank you! Ludo’.

Re: [PATCH 6/6] hydra: Add "aarch64-linux-gnu" as a cross-compilation target.

Efraim Flashner skribis: > * build-aux/hydra/gnu-system.scm (%cross-targets): Add > "aarch64-linux-gnu". OK for core-updates or master, whichever is able to cross-build to that platform. :-) Thank you! Ludo'.

Re: [PATCH 5/6] gnu: gcc: Force Aarch64 to use /lib.

Danny Milosavljevic skribis: >> + ;; Force Aarch64 libdir to be /lib and not /lib64 >> + (substitute* "gcc/config/aarch64/t-aarch64-linux" >> +(("lib64") "lib")) >> + > > I'd amend the comment to say why. I think we should just skip this patch. There’s

Re: [PATCH 4/6] gnu: Add bootstrap-binaries for 'aarch64-linux'.

Efraim Flashner skribis: > * gnu/packages/bootstrap/aarch64-linux/bash, > gnu/packages/bootstrap/aarch64-linux/mkdir, > gnu/packages/bootstrap/aarch64-linux/xz, > gnu/packages/bootstrap/aarch64-linux/tar: New files. > > * gnu/local.mk (bootstrap_aarch64_linuxdir) > (dist_bootstrap_aarch64_linux_D

Re: [PATCH 3/6] daemon: On aarch64, use increments of 16 on the stack.

Efraim Flashner skribis: > man2 clone: EINVAL: ... on aarch64, child_stack must be a multiple of 16. > > * nix/libstore/build.cc (DerivationGoal::startBuilder): When on aarch64, > when calling clone(), increment the stack by 16. > --- > nix/libstore/build.cc | 7 ++- > 1 file changed, 6 inse

Re: [PATCH 2/6] gnu: %bootstrap-coreutils&co: Patch egrep/fgrep to work regardless of $PATH.

Efraim Flashner skribis: > This is the bootstrap version of 1063d325ea76aa2b00dfcd3d436b16e412103df1 > > * gnu/packages/bootstrap.scm (%bootstrap-coreutils&co)[source]: Patch > the absolute location of 'grep' when called from 'egrep' or 'fgrep'. > --- > gnu/packages/bootstrap.scm | 4 > 1 f

Re: [PATCH 1/6] gnu: %static-inputs: Use 'grep' without custom phase.

Efraim Flashner skribis: > This reverts commit 1063d325ea76aa2b00dfcd3d436b16e412103df1 for during > creation of the bootstrap-binaries. > > * gnu/packages/make-bootstrap.scm (%static-inputs): Use a custom 'grep' > without the absolute path name in fgrep/egrep. [...] > + ;; We don