From unknown Mon Jun 23 02:19:05 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#32110 <32110@debbugs.gnu.org> To: bug#32110 <32110@debbugs.gnu.org> Subject: Status: Some Cuirass examples fail Reply-To: bug#32110 <32110@debbugs.gnu.org> Date: Mon, 23 Jun 2025 09:19:05 +0000 retitle 32110 Some Cuirass examples fail reassign 32110 guix submitter 32110 Cl=C3=A9ment Lassieur severity 32110 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 10 07:41:40 2018 Received: (at submit) by debbugs.gnu.org; 10 Jul 2018 11:41:40 +0000 Received: from localhost ([127.0.0.1]:53085 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fcr1W-0004yw-2i for submit@debbugs.gnu.org; Tue, 10 Jul 2018 07:41:39 -0400 Received: from eggs.gnu.org ([208.118.235.92]:60069) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fcr1U-0004yj-AF for submit@debbugs.gnu.org; Tue, 10 Jul 2018 07:41:36 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fcr1O-0004an-Ez for submit@debbugs.gnu.org; Tue, 10 Jul 2018 07:41:31 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:59529) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fcr1O-0004aZ-CP for submit@debbugs.gnu.org; Tue, 10 Jul 2018 07:41:30 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:51021) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fcr1K-0006aC-5O for bug-guix@gnu.org; Tue, 10 Jul 2018 07:41:30 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fcr1G-0004Yj-9I for bug-guix@gnu.org; Tue, 10 Jul 2018 07:41:26 -0400 Received: from mail.lassieur.org ([83.152.10.219]:34580) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fcr1F-0004YQ-TU for bug-guix@gnu.org; Tue, 10 Jul 2018 07:41:22 -0400 Received: from rodion (88.191.118.83 [88.191.118.83]) by mail.lassieur.org (OpenSMTPD) with ESMTPSA id e530da5d (TLSv1.2:ECDHE-RSA-CHACHA20-POLY1305:256:NO) for ; Tue, 10 Jul 2018 11:41:19 +0000 (UTC) User-agent: mu4e 1.0; emacs 26.1 From: =?utf-8?Q?Cl=C3=A9ment?= Lassieur To: bug-guix@gnu.org Subject: Some Cuirass examples fail Date: Tue, 10 Jul 2018 13:41:18 +0200 Message-ID: <87wou3mi75.fsf@lassieur.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.1 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.1 (-----) These examples fail: ./pre-inst-env cuirass --specifications=3Dexamples/gnu-system.scm --databas= e=3Dtest.db ./pre-inst-env cuirass --specifications=3Dexamples/guix-track-git.scm --dat= abase=3Dtest.db ./pre-inst-env cuirass --specifications=3Dexamples/random-jobs.scm --databa= se=3Dtest.db ./pre-inst-env cuirass --specifications=3Dexamples/random.scm --database=3D= test.db Cl=C3=A9ment From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 10 07:55:14 2018 Received: (at 32110) by debbugs.gnu.org; 10 Jul 2018 11:55:14 +0000 Received: from localhost ([127.0.0.1]:53101 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fcrEg-0005JI-Ld for submit@debbugs.gnu.org; Tue, 10 Jul 2018 07:55:14 -0400 Received: from mail.lassieur.org ([83.152.10.219]:40458) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fcrEe-0005JA-RK for 32110@debbugs.gnu.org; Tue, 10 Jul 2018 07:55:13 -0400 Received: from rodion (88.191.118.83 [88.191.118.83]) by mail.lassieur.org (OpenSMTPD) with ESMTPSA id aea2e780 (TLSv1.2:ECDHE-RSA-CHACHA20-POLY1305:256:NO) for <32110@debbugs.gnu.org>; Tue, 10 Jul 2018 11:55:11 +0000 (UTC) References: <87wou3mi75.fsf@lassieur.org> User-agent: mu4e 1.0; emacs 26.1 From: =?utf-8?Q?Cl=C3=A9ment?= Lassieur To: 32110@debbugs.gnu.org Subject: Re: bug#32110: Some Cuirass examples fail In-reply-to: <87wou3mi75.fsf@lassieur.org> Date: Tue, 10 Jul 2018 13:55:11 +0200 Message-ID: <87tvp7mhk0.fsf@lassieur.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 32110 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Cl=C3=A9ment Lassieur writes: > These examples fail: > > ./pre-inst-env cuirass --specifications=3Dexamples/gnu-system.scm --datab= ase=3Dtest.db > ./pre-inst-env cuirass --specifications=3Dexamples/guix-track-git.scm --d= atabase=3Dtest.db > ./pre-inst-env cuirass --specifications=3Dexamples/random-jobs.scm --data= base=3Dtest.db > ./pre-inst-env cuirass --specifications=3Dexamples/random.scm --database= =3Dtest.db > > Cl=C3=A9ment The last one only fails when the Cuirass directory is hidden. The first three are more serious failures. From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 10 08:47:59 2018 Received: (at 32110) by debbugs.gnu.org; 10 Jul 2018 12:47:59 +0000 Received: from localhost ([127.0.0.1]:53153 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fcs3i-00025c-Oz for submit@debbugs.gnu.org; Tue, 10 Jul 2018 08:47:58 -0400 Received: from mail.lassieur.org ([83.152.10.219]:40464) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fcs3h-00025U-MP for 32110@debbugs.gnu.org; Tue, 10 Jul 2018 08:47:58 -0400 Received: from rodion (88.191.118.83 [88.191.118.83]) by mail.lassieur.org (OpenSMTPD) with ESMTPSA id 4494980c (TLSv1.2:ECDHE-RSA-CHACHA20-POLY1305:256:NO) for <32110@debbugs.gnu.org>; Tue, 10 Jul 2018 12:47:55 +0000 (UTC) References: <87wou3mi75.fsf@lassieur.org> <87tvp7mhk0.fsf@lassieur.org> User-agent: mu4e 1.0; emacs 26.1 From: =?utf-8?Q?Cl=C3=A9ment?= Lassieur To: 32110@debbugs.gnu.org Subject: Re: bug#32110: Some Cuirass examples fail In-reply-to: <87tvp7mhk0.fsf@lassieur.org> Date: Tue, 10 Jul 2018 14:47:55 +0200 Message-ID: <87sh4rmf44.fsf@lassieur.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 32110 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Cl=C3=A9ment Lassieur writes: > Cl=C3=A9ment Lassieur writes: > >> These examples fail: >> >> ./pre-inst-env cuirass --specifications=3Dexamples/gnu-system.scm --data= base=3Dtest.db >> ./pre-inst-env cuirass --specifications=3Dexamples/guix-track-git.scm --= database=3Dtest.db >> ./pre-inst-env cuirass --specifications=3Dexamples/random-jobs.scm --dat= abase=3Dtest.db >> ./pre-inst-env cuirass --specifications=3Dexamples/random.scm --database= =3Dtest.db >> >> Cl=C3=A9ment > > The last one only fails when the Cuirass directory is hidden. Which would be fixed by https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D32111. From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 10 13:00:17 2018 Received: (at 32110-done) by debbugs.gnu.org; 10 Jul 2018 17:00:17 +0000 Received: from localhost ([127.0.0.1]:54280 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fcvzq-0001wO-Rb for submit@debbugs.gnu.org; Tue, 10 Jul 2018 13:00:15 -0400 Received: from mail.lassieur.org ([83.152.10.219]:40482) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fcvzo-0001wD-JP for 32110-done@debbugs.gnu.org; Tue, 10 Jul 2018 13:00:13 -0400 Received: from rodion (88.191.118.83 [88.191.118.83]) by mail.lassieur.org (OpenSMTPD) with ESMTPSA id afceea60 (TLSv1.2:ECDHE-RSA-CHACHA20-POLY1305:256:NO) for <32110-done@debbugs.gnu.org>; Tue, 10 Jul 2018 17:00:11 +0000 (UTC) References: <87wou3mi75.fsf@lassieur.org> User-agent: mu4e 1.0; emacs 26.1 From: =?utf-8?Q?Cl=C3=A9ment?= Lassieur To: 32110-done@debbugs.gnu.org Subject: Re: bug#32110: Some Cuirass examples fail In-reply-to: <87wou3mi75.fsf@lassieur.org> Date: Tue, 10 Jul 2018 19:00:10 +0200 Message-ID: <87pnzvm3fp.fsf@lassieur.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 32110-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Cl=C3=A9ment Lassieur writes: > These examples fail: > > ./pre-inst-env cuirass --specifications=3Dexamples/gnu-system.scm --datab= ase=3Dtest.db > ./pre-inst-env cuirass --specifications=3Dexamples/guix-track-git.scm --d= atabase=3Dtest.db > ./pre-inst-env cuirass --specifications=3Dexamples/random-jobs.scm --data= base=3Dtest.db > > Cl=C3=A9ment In fact, those three files were not example specs, they were used by other specs. Sorry for the noise :-) From debbugs-submit-bounces@debbugs.gnu.org Wed Jul 11 09:27:42 2018 Received: (at 32110) by debbugs.gnu.org; 11 Jul 2018 13:27:42 +0000 Received: from localhost ([127.0.0.1]:54805 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fdF9i-0007cq-3m for submit@debbugs.gnu.org; Wed, 11 Jul 2018 09:27:42 -0400 Received: from eggs.gnu.org ([208.118.235.92]:60023) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fdF9g-0007ce-64 for 32110@debbugs.gnu.org; Wed, 11 Jul 2018 09:27:40 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fdF9a-0005AZ-9Y for 32110@debbugs.gnu.org; Wed, 11 Jul 2018 09:27:34 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:50147) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fdF9Y-00058n-8q; Wed, 11 Jul 2018 09:27:32 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=52952 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fdF9X-0003U5-Uh; Wed, 11 Jul 2018 09:27:32 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: 32110@debbugs.gnu.org Subject: Re: bug#32110: Some Cuirass examples fail References: <87wou3mi75.fsf@lassieur.org> <87pnzvm3fp.fsf@lassieur.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 23 Messidor an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Wed, 11 Jul 2018 15:27:30 +0200 In-Reply-To: <87pnzvm3fp.fsf@lassieur.org> (=?utf-8?Q?=22Cl=C3=A9ment?= Lassieur"'s message of "Tue, 10 Jul 2018 19:00:10 +0200") Message-ID: <87wou1j41p.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 32110 Cc: clement@lassieur.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Cl=C3=A9ment Lassieur skribis: > Cl=C3=A9ment Lassieur writes: > >> These examples fail: >> >> ./pre-inst-env cuirass --specifications=3Dexamples/gnu-system.scm --data= base=3Dtest.db >> ./pre-inst-env cuirass --specifications=3Dexamples/guix-track-git.scm --= database=3Dtest.db >> ./pre-inst-env cuirass --specifications=3Dexamples/random-jobs.scm --dat= abase=3Dtest.db >> >> Cl=C3=A9ment > > 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 Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Wed Jul 11 09:50:21 2018 Received: (at 32110) by debbugs.gnu.org; 11 Jul 2018 13:50:21 +0000 Received: from localhost ([127.0.0.1]:54827 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fdFVd-0008B0-7B for submit@debbugs.gnu.org; Wed, 11 Jul 2018 09:50:21 -0400 Received: from mail.lassieur.org ([83.152.10.219]:40542) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fdFVb-0008Ar-89 for 32110@debbugs.gnu.org; Wed, 11 Jul 2018 09:50:19 -0400 Received: from newt (smtp.parrot.biz [62.23.167.188]) by mail.lassieur.org (OpenSMTPD) with ESMTPSA id f63cad6c (TLSv1.2:ECDHE-RSA-CHACHA20-POLY1305:256:NO); Wed, 11 Jul 2018 13:50:17 +0000 (UTC) References: <87wou3mi75.fsf@lassieur.org> <87pnzvm3fp.fsf@lassieur.org> <87wou1j41p.fsf@gnu.org> User-agent: mu4e 1.0; emacs 26.1 From: =?utf-8?Q?Cl=C3=A9ment?= Lassieur To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: bug#32110: Some Cuirass examples fail In-reply-to: <87wou1j41p.fsf@gnu.org> Date: Wed, 11 Jul 2018 15:50:16 +0200 Message-ID: <871sc9x4o7.fsf@lassieur.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 32110 Cc: 32110@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Ludovic Court=C3=A8s writes: > Cl=C3=A9ment Lassieur skribis: > >> Cl=C3=A9ment Lassieur writes: >> >>> These examples fail: >>> >>> ./pre-inst-env cuirass --specifications=3Dexamples/gnu-system.scm --dat= abase=3Dtest.db >>> ./pre-inst-env cuirass --specifications=3Dexamples/guix-track-git.scm -= -database=3Dtest.db >>> ./pre-inst-env cuirass --specifications=3Dexamples/random-jobs.scm --da= tabase=3Dtest.db >>> >>> Cl=C3=A9ment >> >> 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. From unknown Mon Jun 23 02:19:05 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 09 Aug 2018 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator