Re: Packaging Coq

2014-12-04 Thread Andreas Enge
On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote: ;; 'configure' does not recognize the flags if you ;; use 'system*'. (system (string-append ./configure

Re: Packaging Coq

2014-12-04 Thread John Darrington
On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote: (system (string-append ./configure -prefix out -camldir

Re: Packaging Coq

2014-12-04 Thread Nikita Karetnikov
Should these arguments not be a double -- ?? No. pgpIWWS3Y1b3c.pgp Description: PGP signature

Re: Packaging Coq

2014-12-04 Thread Nikita Karetnikov
Since people are commenting only on the recipe, I guess I need to clarify that I’d like to know why it fails to build. pgpVm4hxBpXvG.pgp Description: PGP signature

Re: [PATCH] gnu: Add dmenu

2014-12-04 Thread 宋文武
Ludovic Courtès l...@gnu.org writes: 宋文武 iyzs...@gmail.com skribis: From b07a51a5a98cc61409716d80ab67fe9783ebf27b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= iyzs...@gmail.com Date: Wed, 3 Dec 2014 20:37:33 +0800 Subject: [PATCH] gnu: Add dmenu. *

Re: Packaging Coq

2014-12-04 Thread Nikita Karetnikov
I haven’t done the obvious thing… The package in Nixpkgs does more things, so I’ll try to change my recipe accordingly. pgp4000r6YKBh.pgp Description: PGP signature

Xorg video inside VirtualBox

2014-12-04 Thread Paul van der Walt
Hello all, I hope i won't commit any grave errors of etiquette, since this is my first post here. I've been experimenting with installing Guix inside a VirtualBox virtual machine, and it's pretty cool. I'm even managing to figure out how to install packages ;) My problem is thus: i've

Re: Packaging Coq

2014-12-04 Thread Ludovic Courtès
Andreas Enge andr...@enge.fr skribis: On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote: ;; 'configure' does not recognize the flags if you ;; use 'system*'. (system (string-append ./configure

Re: Xorg video inside VirtualBox

2014-12-04 Thread Ludovic Courtès
Hi, Paul! Paul van der Walt p...@denknerd.org skribis: This compiles fine, using `guix system reconfigure /etc/myconfig.scm`, but when i reboot the VM, X seems to start alright, but with a garbled screen. http://i.imgur.com/XT5n24X.png I suspect that this is because it is loading the vesa

Re: [PATCH] gnu: Add scipy.

2014-12-04 Thread Ludovic Courtès
Federico Beffa be...@ieee.org skribis: From 65ec148d0e3986ef377d2a205a2ded04d884ba3a Mon Sep 17 00:00:00 2001 From: Federico Beffa be...@fbengineering.ch Date: Wed, 3 Dec 2014 21:15:55 +0100 Subject: [PATCH] gnu: Add scipy. * gnu/packages/python.scm (python-scipy, python2-scipy): New

[PATCH] services: lsh: Add graceful handling of daemonic option.

2014-12-04 Thread Deck Pickard
#~(#$@ looks freaky, but if this is what it takes... Tried couple of other figures, this one appears to generate right dmd.conf, though I haven't had yet a chance to reboot. Drp, -- (or ((,\ (x) `(,x x)) '(,\ (x) `(,x x))) (smth (that 'like)))

Re: none

2014-12-04 Thread Ludovic Courtès
Tomas Cech sleep_wal...@suse.cz skribis: I tried to install Guix as alternative OS to my Gentoo and openSUSE installations to give a try. I tried unsupported scenario - installation on LVM volume and separate /boot partition until I was told it is unsupported. Separate boot wasn't hard as I

Re: Packaging Coq

2014-12-04 Thread Mark H Weaver
Andreas Enge andr...@enge.fr writes: On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote: (alist-replace 'build (lambda _ (system* make world)) Instead of this, you could use

[PATCH] guix: scripts: Fix GUIX_BUILD_OPTIONS handling.

2014-12-04 Thread Deck Pickard
Perhaps, now it WILL twerk. Drp, -- (or ((,\ (x) `(,x x)) '(,\ (x) `(,x x))) (smth (that 'like))) 0001-guix-scripts-Fix-GUIX_BUILD_OPTIONS-handling.patch Description: Binary data

Re: use zsh as login shell

2014-12-04 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: 宋文武 iyzs...@gmail.com skribis: + (mlet %store-monad ((bash-profile (text-file bash_profile \ +# honor ~/.bashrc if the shell is interactive +[[ $- == *i* ]] source ~/.bashrc I don’t think the test is needed, because ~/.bash_profile is only read by