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: 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

Packaging Coq

2014-12-03 Thread Nikita Karetnikov
Does anyone know how to proceed? ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2014 Nikita Karetnikov nik...@karetnikov.org ;;; ;;; This file is part of GNU Guix. ;;; ;;; GNU Guix is free software; you can redistribute it and/or modify it ;;; under the terms of the GNU

Re: pypi-guix script

2014-09-06 Thread Nikita Karetnikov
For more details and source code, check out the git repository: https://gitorious.org/davexunit/pypi2guix Why not add it to Guix? pgp5DxVq5VsRV.pgp Description: PGP signature

Re: Proposal: prefetch tarballs in a batch

2014-09-02 Thread Nikita Karetnikov
BTW, I’ve been traveling lately, and I’ve really missed ‘guix prefetch’. Heh, that was the motivation. So if you have spare time to pour into it, or if someone else wants to take it over, that’d be nice! I doubt so, unfortunately. So please do take it over if you can. pgpMOhIZmPKkm.pgp

Re: [PATCH] Add mcrypt

2014-05-24 Thread Nikita Karetnikov
This patch adds Mcrypt, and two library dependencies. Comments welcome. I believe the libraries should be listed in the commit message as new variables. Ludo, WDYT? + (method url-fetch) + + (uri (string-append mirror://sourceforge/mcrypt/mcrypt- Extraneous newline. +

Re: Proposal: prefetch tarballs in a batch

2014-05-11 Thread Nikita Karetnikov
Does the installation seem sane, basically? Do ‘guix build’, ‘guix package’ etc. work somehow, or not even? Turns out I can’t even build ‘hello’ Please say exactly why you “can’t”. Currently, it fails due to the “bad file descriptor” error. Why the hell do you keep deleting the store?

Re: URL wrong for nix upstream

2014-05-08 Thread Nikita Karetnikov
Funny, I've never had this issue. I’ve had, but couldn’t reproduce it reliably. pgpH7nnvD3SYj.pgp Description: PGP signature

Re: Proposal: prefetch tarballs in a batch

2014-05-06 Thread Nikita Karetnikov
/scripts/prefetch.scm @@ -0,0 +1,141 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2014 Nikita Karetnikov nik...@karetnikov.org +;;; Copyright © 2014 Ludovic Courtès l...@gnu.org +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can

torify w3m: ERROR: ld.so: object ‘libtorsocks.so’ cannot be preloaded

2014-05-06 Thread Nikita Karetnikov
‘torify w3m https://check.torproject.org’ returns the following error message before showing “Congratulations. This browser is configured to use Tor.” Is it harmless? ERROR: ld.so: object '/gnu/store/2g7lx2qz06vlb241gfr6bpyp6mc5a24z-torsocks-1.2/lib/torsocks/libtorsocks.so' from LD_PRELOAD

Re: ‘package-derivation’ fails with “No such file or directory”

2014-04-30 Thread Nikita Karetnikov
Yes, probably /var/guix/db/db.sqlite (or similar) was left behind, leading to an inconsistency (this database contains info about what’s in the store.) Indeed, thanks. pgpbFMwu3FcZ1.pgp Description: PGP signature

Re: GnuTLS: Upgrade to 3.3.1 (fails)

2014-04-29 Thread Nikita Karetnikov
make[4]: Entering directory '/tmp/nix-build-gnutls-3.3.1.drv-0/gnutls-3.3.1/tests/cert-tests' PASS: pathlen PASS: aki FAIL: pem-decoding SKIP: template-test make[5]: Entering directory '/tmp/nix-build-gnutls-3.3.1.drv-0/gnutls-3.3.1/tests/cert-tests' Does test-suite.log provide any

‘package-derivation’ fails with “No such file or directory”

2014-04-29 Thread Nikita Karetnikov
I’d like to test a patch with the empty store. I deleted ‘/gnu’ and reinstalled Guix. But whenever I call (package-derivation store hello), I run into “ERROR: In procedure open-file: No such file or directory: /gnu/store/…-guile-bootstrap-2.0.drv.” Did I forget to delete any cached files?

Re: GnuTLS: Upgrade to 3.3.1 (fails)

2014-04-24 Thread Nikita Karetnikov
make[4]: Entering directory '/tmp/nix-build-gnutls-3.3.1.drv-0/gnutls-3.3.1/tests/cert-tests' PASS: pathlen PASS: aki FAIL: pem-decoding SKIP: template-test make[5]: Entering directory '/tmp/nix-build-gnutls-3.3.1.drv-0/gnutls-3.3.1/tests/cert-tests' Does test-suite.log provide any

[PATCH] openssh: Add another mirror.

2014-04-12 Thread Nikita Karetnikov
The original mirror doesn’t respond. Please verify and push. From cbac7ff6ef8f7c02d01331b77511ba8c9dadc45d Mon Sep 17 00:00:00 2001 From: Nikita Karetnikov nik...@karetnikov.org Date: Sat, 12 Apr 2014 16:18:45 +0400 Subject: [PATCH] openssh: Add another mirror. * gnu/packages/ssh.scm (openssh

Re: Proposal: prefetch tarballs in a batch

2014-04-12 Thread Nikita Karetnikov
1. Should the recursion stop when ‘fixed-output-derivation?’ returns #t? I think so. In general fixed-output derivations are the things you would like to pre-fetch; so you would typically call ‘build-derivations’ on these to do the actual pre-fetching. Could you show a package with a

Re: [PATCH 2/3] gnu: Add man-db

2014-04-08 Thread Nikita Karetnikov
For some reason I'm having trouble pushing to the git repo. What kind of trouble? pgpH8KflVVdZ4.pgp Description: PGP signature

Re: Proposal: prefetch tarballs in a batch

2014-04-02 Thread Nikita Karetnikov
Is there a function that accepts a package name and returns a list of implicit inputs? No, because by definition, those “implicit inputs” are not listed in the package object. Instead, they are added by the build system (see build-system/gnu.scm.) That’s why I suggested using derivations

Re: wip-signed-archives progress report

2014-03-27 Thread Nikita Karetnikov
Nikita: comments welcome on the two commits I just pushed in wip-signed-archives. Thanks for working on it. One question: in the past, you told me to avoid ‘false-if-exception’. If it’s an issue here, can we replace it with something else? pgpNylqhDAzdE.pgp Description: PGP signature

Proposal: prefetch tarballs in a batch

2014-03-27 Thread Nikita Karetnikov
By default, Guix fetches source tarballs on demand. You download a tarball, configure and install, move to the next one, and so on. But it may be useful to fetch all the prerequisites before building. For instance, you travel frequently and don’t usually have Internet access. So it’d be nice

Re: master: FAIL: tests/store.scm

2014-03-17 Thread Nikita Karetnikov
FAIL: tests/store.scm FAIL: tests/guix-build.sh FAIL: tests/guix-register.sh These two failures are because the ‘test-tmp’ directory predates the nix → guix change in commit f5768afa333bbc8167ef2e33db44c9bb64bef0be. An annoyance, but that should be fixed by either “rm -rf test-tmp make

Re: master: FAIL: tests/store.scm

2014-03-16 Thread Nikita Karetnikov
Which log files would you like to see? The SRFI-64 $top_builddir/*.log files, and $top_builddir/test-suite.log. $ git rev-parse HEAD 6f58d582432fe46c163f61ddf8f653584f4f7be8 FAIL: tests/store.scm FAIL: tests/guix-build.sh FAIL: tests/guix-register.sh Starting test store Group begin:

Re: [PATCH 2/2] guix substitute-binary: Support the Signature field of a narinfo file.

2014-03-15 Thread Nikita Karetnikov
I was about to say you could push to master, but since the new substitute-binary will refuse any unsigned archives[*], it may be wiser to push to a special branch so we can test it in real life before merging into master. Should the special branch be based on ‘master’ or ‘core-updates’? On

Re: [PATCH 2/2] guix substitute-binary: Support the Signature field of a narinfo file.

2014-03-13 Thread Nikita Karetnikov
I was about to say you could push to master, but since the new substitute-binary will refuse any unsigned archives[*], it may be wiser to push to a special branch so we can test it in real life before merging into master. Should the special branch be based on ‘master’ or ‘core-updates’?

Re: master: FAIL: tests/store.scm

2014-03-11 Thread Nikita Karetnikov
Apologies for the sloppy reporting. Let me explain why it’s the case. I ran ‘make check’ multiple times. These tests failed when I cloned the repo and ran ‘make check’ for the first time: tests/derivations.scm, tests/store.scm, tests/guix-build.sh, tests/guix-register.sh. These ones failed

Re: Signed archives (preliminary patch)

2014-03-11 Thread Nikita Karetnikov
I think the current docstring of ‘assert-valid-signature’ is not correct since ‘signature’ must be a string (as produced by ‘canonical-sexp-string’), not an sexp. In guix/nar.scm, the comment is: (define (assert-valid-signature signature hash file) ;; Bail out if SIGNATURE, an sexp,

Re: Signed archives (preliminary patch)

2014-03-08 Thread Nikita Karetnikov
@@ +;; -*- mode: scheme; coding: utf-8 -*- +;; +;; This module was renamed from (weinholt text base64 (1 0 20100612)) to +;; (guix base64) by Nikita Karetnikov nik...@karetnikov.org on +;; February 12, 2014. +;; +;; Copyright © 2009, 2010 Göran Weinholt go...@weinholt.se +;; +;; This program is free software

Re: Signed archives (preliminary patch)

2014-03-08 Thread Nikita Karetnikov
+ ((nar-invalid-hash-error? condition)) Should be ((nar-invalid-hash-error? condition) #t), I guess. Otherwise, the procedure returns ‘undefined’. pgpgUXbCKRGuS.pgp Description: PGP signature

Re: Want help with writing package recipe

2014-03-07 Thread Nikita Karetnikov
I used guix hash -f base32 to export the base32 hash, which is: i5q225g6twsg5egicgpt6ub7hn4m7pdzg56hwxx57jm4o4ns5fgq You need ‘nix-base32’, which is the default format, so use ‘guix hash’. I've written a recipe for gtypist located here: http://pastebin.com/ysLHJUWg Please include

master: FAIL: tests/store.scm (was: master: the tests take ages)

2014-03-05 Thread Nikita Karetnikov
Yes, some of the tests involve downloading a couple of packages, and building them. This takes a while the first time you run ‘make check’, but is fast in subsequent runs (unless you removed ‘test-tmp’.) Now ‘tests/store’ fails on ece262461625e80957d904f39a6818286099d367.

Re: core-updates: FAIL: tests/builders.scm; tests/packages.scm; tests/store.scm

2014-03-05 Thread Nikita Karetnikov
Could you send test-suite.log and tests/{builders,packages,store}.log? (Note: tests/foo.log is different from foo.log!) I can reproduce only the ‘tests/store’ failure on 1faca892a35941b6eed2d6c04478f9f77ab81e15. accepted connection from pid 1942, uid 1000 ;;; note: auto-compilation is enabled,

master: the tests take ages

2014-03-04 Thread Nikita Karetnikov
On master, ‘make check’ hangs after PASS: tests/base32.scm PASS: tests/hash.scm PASS: tests/pk-crypto.scm PASS: tests/pki.scm Any clues? pgpIlOqNfFHML.pgp Description: PGP signature

Re: Signed archives (preliminary patch)

2014-03-03 Thread Nikita Karetnikov
was renamed from (weinholt text base64 (1 0 20100612)) to +;; (guix base64) by Nikita Karetnikov nik...@karetnikov.org on +;; February 12, 2014. +;; +;; Copyright © 2009, 2010 Göran Weinholt go...@weinholt.se +;; +;; This program is free software: you can redistribute it and/or modify +;; it under

Re: Signed archives (preliminary patch)

2014-02-28 Thread Nikita Karetnikov
How do you envision the transition from this single-signature architecture to one where other users and/or independent build farms can add their signatures to hydra? Will those signatures be treated differently than the signatures created by hydra.gnu.org? Will they be stored and sent to

Re: Signed archives (preliminary patch)

2014-02-28 Thread Nikita Karetnikov
There’s an important check missing here: the code verifies that BODY* is a valid signature, but it doesn’t check whether what it signs corresponds to this narinfo up to but excluding the ‘Signature’ field. Oh, indeed. 5. pass the hash to the signature verification procedure. Then, it

Re: Signed archives (preliminary patch)

2014-02-27 Thread Nikita Karetnikov
-*- +;; +;; This module was renamed from (weinholt text base64 (1 0 20100612)) to +;; (guix base64) by Nikita Karetnikov nik...@karetnikov.org on +;; February 12, 2014. +;; +;; Copyright © 2009, 2010 Göran Weinholt go...@weinholt.se +;; +;; This program is free software: you can redistribute

Re: Guix tutorial

2014-02-16 Thread Nikita Karetnikov
I wrote a basic guide[1] for contributors. It covers instalation and usage of guix, and also writing simple recipes and contributing to the project. Thanks for spreading the word! If you find unpolished corners, please, comment , and I'll update the post. Here goes… - Install guix .

‘guix authenticate’: Throw to key `gcry-error' with args `(536871113)'.

2014-02-11 Thread Nikita Karetnikov
The keypair was created this way: $ openssl genrsa -out ./cache-key.sec 2048 $ openssl rsa -in ./cache-key.sec -pubout ./cache-key.pub All the tests pass. What’s wrong? $ guix authenticate rsautl -sign -inkey cache-key.sec -in 3r2n9zm3kxb28klpzgarjxj8x3y3y6wf.narinfo.hash Backtrace: In

i686: recipe for target 'cc1plus' failed

2014-02-08 Thread Nikita Karetnikov
Can anyone reproduce this? g++ -g -O2 -DIN_GCC -DCROSS_DIRECTORY_STRUCTURE -fno-exceptions -fno-rtti -fasynchronous-unwind-tables -W -Wall -Wno-narrowing -Wwrite-strings -Wcast-qual -Wmissing-format-attribute -pedantic -Wno-long-long -Wno-variadic-macros -Wno-overlength-strings

Re: i686: recipe for target 'cc1plus' failed

2014-02-08 Thread Nikita Karetnikov
This is ‘master’? Yes. Could it be an ENOMEM showing up above in the log? ranlib: libbackend.a: No space left on device It seems I should clean up my disk. How much space does IceCat need? pgpuOKvgFjP1m.pgp Description: PGP signature

Re: Signed archives

2014-02-03 Thread Nikita Karetnikov
I’d like to see a signature in the wild. Are there any signed .narinfo files on hydra.nixos.org? I’ve checked GNU Hello [1]; it’s not signed. [1] http://hydra.nixos.org/6iqpvq3k2nlmfn3l59rsf3c57ji7jiyb.narinfo pgpTuQkQKLw91.pgp Description: PGP signature

Re: Symlinks to generic names

2014-02-01 Thread Nikita Karetnikov
Some software (rightly or wrongly) tries to build with lex and yacc . Guix does not provide these. Instead we have flex and bison. Most operating systems have symbolic links lex - flex and yacc - bison. Shouldn't we provide these too? I guess this should solve the problem (untested):

Re: Signed archives

2014-01-27 Thread Nikita Karetnikov
Sorry, I’m failing to understand how the protocol works. Is the spec available somewhere? Could you describe the entire process in a step-by-step way? What does happen when the client requests a substitute? You mentioned that the client attempts to fetch the corresponding .narinfo file. What

‘guix archive’ doesn’t work over ‘./pre-inst-env’

2014-01-26 Thread Nikita Karetnikov
$ sudo ./pre-inst-env guix archive --generate-key $ ./pre-inst-env guix archive --export hello hello.nar error: executing `guix-authenticate': No such file or directory guix archive: error: build failed: program `guix-authenticate' failed with exit code 1 The command succeeded when I installed

Signed archives (was: ‘guix archive’ doesn’t work over ‘./pre-inst-env’)

2014-01-26 Thread Nikita Karetnikov
Indeed. I just fixed that. Thanks! Also, where can I find the corresponding NAR info file? According to this commit [1], the signature should be there. The .narinfo files are created on the fly. When looking for a binary for /nix/store/x4mnd9747fgwacjrvl1rynh59qlgz8gh-coreutils-8.21,

Re: Guix initd script

2014-01-15 Thread Nikita Karetnikov
I wrote an initd script for starting guix-daemon and would like to share it. It is available here: https://gnunet.org/content/gnu-guix-initd-script Could you add a license header? pgpz2N9UVYWxf.pgp Description: PGP signature

Re: Package Definition Place

2014-01-03 Thread Nikita Karetnikov
Thanks, here are the results: gnu/packages/zsh.scm:12:2: warning: possibly unbound variable `mit' The license is like MIT. guix build: error: zsh: unknown package I guess it would be easier to help if you provide the code. pgpy4oI5TndsZ.pgp Description: PGP signature

Re: Package Definition Place

2014-01-01 Thread Nikita Karetnikov
Am I supposed to add a module to gnu-system.am? Yes, here’s an example [1]. make[2]: *** No rule to make target `gnu/packages/zsh.scm', needed by `all- am'. Stop. I’ve just tried the following. Could you do the same and report any issues? $ git clone git://git.sv.gnu.org/guix.git $ cd

FAIL: tests/guix-build.sh

2013-11-11 Thread Nikita Karetnikov
I got the following error, which I couldn’t reproduce (bf4211523baf8ab1c853aac48ef0324f8f704510). Is there a need to worry? + guix build hello -d + grep -e '-hello-[0-9\.]\+\.drv$' accepted connection from pid 15177, uid 1000 guix build: error: build failed: substituter `substitute-binary' died

Re: [PATCH] gnu: Add GNU APL.

2013-11-10 Thread Nikita Karetnikov
Do Readline and LAPACK show up in ‘guix gc --references $(guix build apl)’? If they don’t, you can remove them. LAPACK doesn’t show up, but this line appears in the logs when it’s omitted: LApack.cc:410:2: warning: #warning liblapack not found or not installed. ⌹ will not work. [-Wcpp]

[PATCH] gnu: Add LAPACK. (was: LAPACK: tests fail; non-free files)

2013-11-04 Thread Nikita Karetnikov
May I push this patch to ‘master’? Should (format #t removing '~a'~% file) be i18n’d? From 3e94fe1afc01d08997fd95775aab06c4495ba9d6 Mon Sep 17 00:00:00 2001 From: Nikita Karetnikov nik...@karetnikov.org Date: Mon, 4 Nov 2013 18:58:54 + Subject: [PATCH] gnu: Add LAPACK. * gnu/packages

[PATCH] gnu: Add GCC front ends for Fortran, Go, Objective C, and Objective C++.

2013-10-31 Thread Nikita Karetnikov
From: Nikita Karetnikov nik...@karetnikov.org Date: Thu, 31 Oct 2013 19:54:36 + Subject: [PATCH] gnu: Add GCC front ends for Fortran, Go, Objective C, and Objective C++. * gnu/packages/gcc.scm (custom-gcc, gfortran-4.8, gccgo-4.8) (gcc-objc-4.8, gcc-objc++-4.8): New variables. --- gnu

Re: GCC front-ends

2013-10-28 Thread Nikita Karetnikov
That’s a bug, which may have been fixed in 4.8.2 no? I’d rather not workaround that if it’s been/being fixed. No, it has not been fixed. Well, the previous patch didn’t contain any workarounds. However, users would have to pass ‘-g’ each time they decide to compile anything. Otherwise,

Re: GCC front-ends

2013-10-28 Thread Nikita Karetnikov
Argh, you also need (srfi srfi-26) for ‘cut’, sorry about that. Hm, I’ve added the module, but I still get the same error. pgp_x9KZwHIvm.pgp Description: PGP signature

Re: Important libffi bug fix for MIPS N32

2013-10-27 Thread Nikita Karetnikov
This line is: ASSERT (st1.st_ctime st2.st_ctime || (st1.st_ctime == st2.st_ctime get_stat_ctime_ns (st1) get_stat_ctime_ns (st2))); (See http://git.savannah.gnu.org/cgit/gnulib.git/tree/tests/test-chown.h#n191.) Could it have something to do with

Re: LAPACK: tests fail; non-free files

2013-10-23 Thread Nikita Karetnikov
(home-page http://www.gnu.org/software/lapack/;) Oops, I’ll fix this. pgpmG10JlJOS3.pgp Description: PGP signature

GCC front-ends (was: GFortran can’t find system headers)

2013-10-19 Thread Nikita Karetnikov
I guess this triggers a complete rebuild, right? (That means it would go in ‘core-updates’.) Using the ‘substitute-keyword-arguments’ hack as in base.scm would allow you to avoid that. Also, the ‘origin’ thing should be factorized: (define (gcc-source version) (origin ...)) It’s

Re: Preliminary MIPS N32 port now available

2013-10-18 Thread Nikita Karetnikov
I tried to build ‘hello’ twice, and the following error occurred each time: stripping binaries in /nix/store/hl8khv4qip9nwbm1qm93irbz9has4wrd-gcc-cross-boot0-4.7.3/bin with strip and flags (--strip-debug) phase `strip' succeeded after 17 seconds error (ignored): aborting transaction: cannot

Re: Preliminary MIPS N32 port now available

2013-10-18 Thread Nikita Karetnikov
I still think it's probably a good idea to switch away from JFS, since you're likely to run into other problems like this, I see this as an opportunity to report problems. but if you really want to stick with JFS, compiling a newer version of SQLite and then reconfiguring and rebuilding

Re: GFortran can’t find system headers

2013-10-17 Thread Nikita Karetnikov
Instead, what should do is preserve the arguments; the value associated with #:configure-flags should be changed to replace any --enable-languages=.* flag with yours. See ‘gcc-boot0’ in base.scm for how to do that. Are you talking about the ‘substitute-keyword-arguments’ part? Alternately,

GFortran can’t find system headers

2013-10-14 Thread Nikita Karetnikov
I’m trying to package APL, which requires LAPACK, which requires Fortran. Here’s my attempt to add the last one: (define-public gfortran-4.8 (package (inherit gcc-4.8) (name gfortran) (arguments `(#:configure-flags '(--enable-languages=fortran) I get the following error while

Re: [PATCH] gnu: Add GNU acct.

2013-10-11 Thread Nikita Karetnikov
Yes, please! Done. By the way, thanks for showing the head of the file, it’s really helpful. (Make sure ‘make sync-descriptions’ doesn’t complain.) There are other packages that complain. I’m willing to help with this. Which should be updated in ‘core-updates’? Will it be enough to run

Re: [PATCH] doc: Add 'copyrights' and 'license' macros.

2013-10-10 Thread Nikita Karetnikov
)Invoking guix build Building packages with Guix. @end direntry @titlepage @title GNU Guix Reference Manual @subtitle Using the GNU Guix Functional Package Manager @author Ludovic Courtès @author Andreas Enge @author Nikita Karetnikov @page @vskip 0pt plus 1filll Edition @value

Re: a2ps: manpages fail to build

2013-10-09 Thread Nikita Karetnikov
There’s a bug in its build system, but most likely it wants ‘help2man’ (as native input.) Could you expand on the bug part? I added ‘help2man’, but it didn’t help. Rather use (substitute* (find-files . .*) ...) if that works. It takes too much time, or I’m doing something wrong. Now

Re: MIPS64/N64 support

2013-09-30 Thread Nikita Karetnikov
Could you try running the statically-linked bash from ‘static-binaries.tar.xz’ and see if the same error occurs? Perhaps strace it so we can see where that error comes from. I don’t see anything similar. Looking at http://sourceware.org/cgi-bin/cvsweb.cgi/src/gdb/syscalls/?cvsroot=src,

Re: Bootstrapping GHC

2013-09-30 Thread Nikita Karetnikov
I don’t know GHC, but apparently it can be bootstrapped from intermediate generated C files: http://www.haskell.org/ghc/docs/6.4.1/html/building/sec-porting-ghc.html Wouldn’t that be better than fiddling with binaries out-of-band? The recent versions of the compiler don’t support this.

Re: Add Package Gl

2013-09-28 Thread Nikita Karetnikov
Minor issues… #:use-module ((guix licenses) #:renamer (symbol-prefix-proc 'license:)) It’d better to use 'l: as a prefix to avoid (license license:something). You could also use #:select if it’s possible. #:use-module (gnu packages fontutils)) Extra newline.

Re: FAIL: tests/guix-register.sh

2013-09-25 Thread Nikita Karetnikov
Could it be that something’s wrong with your setup? (Erroneous LD_LIBRARY_PATH, etc.) Maybe. This test also fails on a different machine of mine. LD_LIBRARY_PATH is not set. pgpMTcknFjC6O.pgp Description: PGP signature

Re: FAIL: tests/guix-register.sh

2013-09-25 Thread Nikita Karetnikov
Are you using a distro-provide SQLite package, or something you built yourself? If the problem is widespread, we can just remove this test. No need. I solved the problem by installing SQLite from Guix. pgpwaGLweKqG9.pgp Description: PGP signature

Re: Generation 0

2013-09-25 Thread Nikita Karetnikov
: Nikita Karetnikov nik...@karetnikov.org Date: Thu, 26 Sep 2013 02:00:06 + Subject: [PATCH 1/3] guix package: Exit with 0 when there is nothing to list. * guix/scripts/package.scm (guix-package)[process-query]: Exit with 0 when there are no generations containing packages or no profiles

Re: [PATCH] guix package: Add '--delete-generations'.

2013-09-25 Thread Nikita Karetnikov
Frankly, I don’t like it. I think the default behavior should not be to let the user shoot themself in the foot. WDYT? OK, what about these patches? Can I push them? From 86d29a8b233d5cf6549fbcddf43b185086b7d178 Mon Sep 17 00:00:00 2001 From: Nikita Karetnikov nik...@karetnikov.org Date

Re: [PATCH] guix package: Add '--delete-generations'.

2013-09-24 Thread Nikita Karetnikov
Nothing has to be changed; it’s just that I’d prefer to put the bits that introduce ‘link-to-empty-environment’ in a separate patch, for clarity. I could do it, but it may be easier for you to do it, no? Ah, I simply misunderstood. I’ll do it. pgpBmYpaLw3VH.pgp Description: PGP signature

Re: GNU Guix hackathon on Sep. 28-29

2013-09-24 Thread Nikita Karetnikov
I will be physically present at the hackathon in Cambridge. Most Guix developers are not in the US, but it would be great if you could find interested people in Cambridge. I have experience with Guile, but I haven't done much work with package management systems before. That’s not a problem

Re: Generation 0

2013-09-24 Thread Nikita Karetnikov
f42056aa768a405a893b5846dad8f8fa576b1156 Mon Sep 17 00:00:00 2001 From: Nikita Karetnikov nik...@karetnikov.org Date: Tue, 24 Sep 2013 22:11:16 + Subject: [PATCH 1/2] guix package: Exit with 1 when a generation cannot be listed. * guix/scripts/package.scm (guix-package)[process-query]: Exit with 1

Re: [PATCH] guix package: Add '--delete-generations'.

2013-09-23 Thread Nikita Karetnikov
“Delete the generations matching @var{patterns} or ... when omitted.” Or what actually? I would expect it to delete all the generations but the current one when PATTERN is omitted, right? ‘--delete-generations’ deletes everything and points the profile to the zeroth generation. There are

Re: Generation 0

2013-09-23 Thread Nikita Karetnikov
I think we should change ‘--list-generations’ to not output the zeroth generation. Even though it could be present in the profile, users shouldn’t be concerned about it. Agreed. Good. I think it should be impossible to remove Generation 0 through the command-line tools, because that

FAIL: tests/guix-register.sh

2013-09-23 Thread Nikita Karetnikov
HEAD (caf96debc257dee9ad8b0ea74cc6a8241c30dad4) fails. ‘guix-register.log’: + type -P sqlite3 /usr/local/bin/sqlite3 + echo 'select * from ValidPaths where path=/nix/store/z4pyj3rbgpqpd3mj0rxpbbpg45hlfcbh-guile-bootstrap-2.0;' + sqlite3

Re: Generation 0

2013-09-23 Thread Nikita Karetnikov
7fc042876bf00031d6b36b8d697984ce1ee1700e Mon Sep 17 00:00:00 2001 From: Nikita Karetnikov nik...@karetnikov.org Date: Mon, 23 Sep 2013 22:56:21 + Subject: [PATCH 1/3] tests: Test that '--list-generations' may not output anything. --- tests/guix-package.sh |3 +++ 1 file changed, 3 insertions

[PATCH] guix package: Add '--delete-generations'.

2013-09-22 Thread Nikita Karetnikov
00:00:00 2001 From: Nikita Karetnikov nik...@karetnikov.org Date: Sun, 22 Sep 2013 18:50:06 + Subject: [PATCH] guix package: Add '--delete-generations'. * guix/scripts/package.scm (link-to-empty-environment) (switch-to-previous-generation): New functions. (roll-back): Replace internal

Generation 0 (was: [PATCH] guix package: Add '--delete-generations'.)

2013-09-22 Thread Nikita Karetnikov
I think we should change ‘--list-generations’ to not output the zeroth generation. Even though it could be present in the profile, users shouldn’t be concerned about it. Currently, ‘--delete-generations’ ignores the zeroth generation. Other options seem even more confusing: 1. If you don’t

package.scm: (profile-derivation (%store) '())

2013-09-20 Thread Nikita Karetnikov
I’d like to know how ‘roll-back’ creates an empty generation because it’s necessary to do the same for ‘--delete-generations’. However, I fail to understand how (profile-derivation (%store) ‘()) works (or any other function that uses (%store)). I assume that some code should set ‘%store’ to

Re: package.scm: (profile-derivation (%store) '())

2013-09-20 Thread Nikita Karetnikov
‘%store’ is a SRFI-39 parameter (info (guile) Parameters), aka. a dynamically-scoped variable. It is initialized with the ‘parameterize’ form, which sets its value for the dynamic extent of its body. I don’t understand what code initializes ‘%store’. For example, I have one generation in

Re: [PATCH] guix package: Add '--list-generations'.

2013-09-19 Thread Nikita Karetnikov
That’s not necessarily a bug: it could be that generation 1 is just slightly more than 48 hours old (the time should also be displayed, I think.) Right, that’s what I was trying to show. Anyway, it shouldn’t be an issue now. OK, I added ‘~T’. This should be present tense overall (for

Re: PRELIMINARY: [PATCH] guix package: Add '--list-generations'.

2013-09-18 Thread Nikita Karetnikov
I’ve just found a bug. On my machine, ‘guix package -p test -l 2d’ and ‘guix package -p test -l’ should return the same set of generations, but the fourth generation is shown twice in the former case. Generations 4 and 5 have the same creation date for some reason: scheme@(guix ui)

[PATCH] guix package: Add '--list-generations'.

2013-09-18 Thread Nikita Karetnikov
65a2d978e1b74cde953e81109dad33f2562e8294 Mon Sep 17 00:00:00 2001 From: Nikita Karetnikov nik...@karetnikov.org Date: Thu, 19 Sep 2013 00:36:05 + Subject: [PATCH] guix package: Add '--list-generations'. * guix/scripts/package.scm: Import (srfi srfi-19). (generation-time, matching-generations): New functions

Some thoughts on installers

2013-09-17 Thread Nikita Karetnikov
I know it’s too early to talk about these issues. But I’m afraid that I’ll forget about them, and we’ll make the same mistakes as everyone else. I haven’t seen an installer that isn’t organized in a step-by-step fashion. A user is forced to press the “Next” button every 5 minutes or so. It’s

PRELIMINARY: [PATCH] guix package: Add '--list-generations'.

2013-09-17 Thread Nikita Karetnikov
in ‘tests/guix-package.sh’. [1] https://lists.gnu.org/archive/html/guix-devel/2013-08/msg00173.html From 27e73d3d86ca7abfbc470f3561c059d730314821 Mon Sep 17 00:00:00 2001 From: Nikita Karetnikov nik...@karetnikov.org Date: Tue, 17 Sep 2013 23:56:10 + Subject: [PATCH] guix package: Add '--list

Re: New ‘--list-generations’ and ‘--delete-generations’ options

2013-09-16 Thread Nikita Karetnikov
Cool. The diff looks great... but it lacks tests. Yes, I wanted to finish the recutils part first. I’ve been thinking about that, and I don’t like that we’d have to use two record sets. It’d be necessary to post-process the output nearly every time. Then why bother? We can already filter

Re: New ‘--list-generations’ and ‘--delete-generations’ options

2013-09-13 Thread Nikita Karetnikov
I’d prefer clearer case analysis as shown above. OK, what do you think about this diff? If everything is fine, I’ll make it output generations in the recutils format. (Is it necessary to mention that ‘maybe-comma-separated-integers’ accepts something like ‘1,2,3,’ or ‘1,,,2’. Or should I

Re: New ‘--list-generations’ and ‘--delete-generations’ options

2013-09-12 Thread Nikita Karetnikov
By definition submatches 1 and 2 exist when RES is true. Thus, I’d remove ‘safe-match:substring-number’ and do: (match (string-match ^([0-9]+)\\.\\.([0-9]+)$ str) (#f #f) (matches (let ((start (number-string (match:substring matches 1))) (end (number-string

[PATCH] guix package: Rename generation-related procedures.

2013-09-12 Thread Nikita Karetnikov
Can I push this patch to ‘master’? From adb7b8383bd6748d12a0b782ab0f67b0b3e2995a Mon Sep 17 00:00:00 2001 From: Nikita Karetnikov nik...@karetnikov.org Date: Thu, 12 Sep 2013 17:31:53 + Subject: [PATCH] guix package: Rename generation-related procedures. * guix/scripts/package.scm (profile

Re: New ‘--list-generations’ and ‘--delete-generations’ options

2013-09-10 Thread Nikita Karetnikov
How can I subtract 22 days from (current-time) using SRFI-19? Note that the above example suggests that ‘string-duration’ returns a time object with of type ‘time-duration’ (thus independent of the current time.) Ah, OK. But we’ll have to subtract from (current-time) later anyway, right?

Re: New ‘--list-generations’ and ‘--delete-generations’ options

2013-09-08 Thread Nikita Karetnikov
I’m asking because if we do that, ‘--list-generations’ may just as well print out *all* the generation records. Users who want to select only less than one-month old generations can do that with ‘recsel’, and we don’t have anything more to do. WDYT? I see recutils as an advanced option

Re: ‘--no-substitutes’ is ignored on i686

2013-09-08 Thread Nikita Karetnikov
I can confirm this bug on i686. The same happens with guix package --no-substitutes -i gnupg. On x86-64, everything works as expected. Does it mean that the daemon is the cause of the problem since the error is platform-specific? Also, note this line: The following derivations will be

Re: MIPS64/N64 support

2013-09-08 Thread Nikita Karetnikov
I’ve already tried that: $ ./pre-inst-env guix build -K -s mips64el-linux-gnuabi64 hello […] ERROR: bootstrap binary not found tar mips64el-linux-gnuabi64 As I wrote, call it ‘mips64el-linux’, and put the binaries under the directory of that name. I did that but forgot to adjust ‘-s

Re: Agreeing on some rules for packaging.

2013-09-07 Thread Nikita Karetnikov
I’ve just fixed a small bug [1]. Maybe we should agree to run make distclean ./boostrap ./configure make make check before pushing, or will it be too tedious? Also, I don’t like the ‘license:’ prefix. What about something like ‘l:’? It’ll probably be even better to use ‘#:select’ when

Re: ‘--no-substitutes’ is ignored on i686

2013-09-07 Thread Nikita Karetnikov
In which command? guix build, guix package, guix-daemon? ‘guix build’ and ‘guix package’ when ‘guix-daemon’ runs without ‘--no-substitutes’. (I was able to reproduce this on a different i686 machine.) When the daemon uses the mentioned option, ‘guix build’ and ‘guix package’ work as expected.

Re: MIPS64/N64 support

2013-09-06 Thread Nikita Karetnikov
Oh indeed, using ‘-s’ was a good idea. Note that ‘guix build bootstrap-tarballs’ is even faster to type. Thanks. Which Guile do I need? The stripped one, right? The one that’s in the output of ‘guix build bootstrap-tarballs’ (I forgot the name.) Yep, the stripped one. Can I download

‘--no-substitutes’ is ignored on i686 (was: Goals for 0.4)

2013-09-06 Thread Nikita Karetnikov
• Guix must be usable with the old Guile 2.0.5, since that’s what some distros provide. At the GHM I realized that some people had weird bugs with that Guile, notably in the substituter. I fixed a couple of bugs, but there may be others around. So, to 2.0.5 users: please run ‘make

  1   2   >