GNU bug report logs - #32110
Some Cuirass examples fail

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Clément Lassieur <clement <at> lassieur.org>
Subject: bug#32110: closed (Re: bug#32110: Some Cuirass examples fail)
Date: Tue, 10 Jul 2018 17:01:03 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#32110: Some Cuirass examples fail

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 32110 <at> debbugs.gnu.org.

-- 
32110: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=32110
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Clément Lassieur <clement <at> lassieur.org>
To: 32110-done <at> debbugs.gnu.org
Subject: Re: bug#32110: Some Cuirass examples fail
Date: Tue, 10 Jul 2018 19:00:10 +0200

Clément Lassieur <clement <at> lassieur.org> writes:

> These examples fail:
>
> ./pre-inst-env cuirass --specifications=examples/gnu-system.scm --database=test.db
> ./pre-inst-env cuirass --specifications=examples/guix-track-git.scm --database=test.db
> ./pre-inst-env cuirass --specifications=examples/random-jobs.scm --database=test.db
>
> Clément

In fact, those three files were not example specs, they were used by
other specs.  Sorry for the noise :-)

[Message part 3 (message/rfc822, inline)]

From: Clément Lassieur <clement <at> lassieur.org>
To: bug-guix <at> gnu.org
Subject: Some Cuirass examples fail
Date: Tue, 10 Jul 2018 13:41:18 +0200

These examples fail:

./pre-inst-env cuirass --specifications=examples/gnu-system.scm --database=test.db
./pre-inst-env cuirass --specifications=examples/guix-track-git.scm --database=test.db
./pre-inst-env cuirass --specifications=examples/random-jobs.scm --database=test.db
./pre-inst-env cuirass --specifications=examples/random.scm --database=test.db

Clément

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.