GNU bug report logs - #32110
Some Cuirass examples fail

Previous Next

Full log

Message #22 received at 32110 <at> debbugs.gnu.org (full text, mbox):

From: Clément Lassieur <clement <at> lassieur.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 32110 <at> debbugs.gnu.org
Subject: Re: bug#32110: Some Cuirass examples fail
Date: Wed, 11 Jul 2018 15:50:16 +0200

Ludovic Courtès <ludo <at> gnu.org> writes:

> Clément Lassieur <clement <at> lassieur.org> skribis:
>
>> 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 :-)
>
> Indeed.  :-)
>
> One thing that works well for testing is this:
>
>   ./pre-inst-env cuirass -D test.db -S examples/random.scm

Yes indeed!

But maybe later it would be great to move those three files in a
separate folder, so that it's clearer they aren't examples.

Previous Next

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