GNU bug report logs - #66001
[PATCH 0/4] gnu: ucsim: Update to 0.8.0; other improvements.

Previous Next

Package: guix-patches;

Reported by: Simon South <simon <at> simonsouth.net>

Date: Fri, 15 Sep 2023 14:24:01 UTC

Severity: normal

Tags: patch

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

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Simon South <simon <at> simonsouth.net>
Subject: bug#66001: closed (Re: bug#66001: [PATCH 0/4] gnu: ucsim: Update
 to 0.8.0; other improvements.)
Date: Thu, 28 Sep 2023 09:33:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#66001: [PATCH 0/4] gnu: ucsim: Update to 0.8.0; other improvements.

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

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

-- 
66001: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66001
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: Simon South <simon <at> simonsouth.net>
Cc: 66001-done <at> debbugs.gnu.org
Subject: Re: bug#66001: [PATCH 0/4] gnu: ucsim: Update to 0.8.0; other
 improvements.
Date: Thu, 28 Sep 2023 11:32:29 +0200
Hi,

Simon South <simon <at> simonsouth.net> skribis:

> I'm resubmitting this patch series rebased directly against master in the hope
> it will prompt qa.guix.gnu.org to pick it up for building.

It did the trick.

>   gnu: ucsim: Use gexps.
>   gnu: ucsim: Disable tests.
>   gnu: ucsim: Move documentation to "doc" output.
>   gnu: ucsim: Update to 0.8.0.

Applied, thanks!

Ludo’.

[Message part 3 (message/rfc822, inline)]
From: Simon South <simon <at> simonsouth.net>
To: guix-patches <at> gnu.org
Subject: [PATCH 0/4] gnu: ucsim: Update to 0.8.0; other improvements.
Date: Fri, 15 Sep 2023 10:22:59 -0400
This patch series updates μCsim, a collection of software simulators for
various microcontroller families, to version 0.8.0.

It also tries to improve the package by

- Modernizing it with the use of gexps.

- Disabling tests.  "make check" runs what is actually a regression-test
  suite[0], which is of little value here as it doesn't stop or return an
  error code when it encounters a problem.  In fact it has been quietly
  failing this entire time due to missing dependencies but because it doesn't
  report any errors, no one noticed.

  This change also eliminates the possibility of a circular dependency between
  μCsim and SDCC, which will become important with a future patch to the sdcc
  package.

- Moving the documentation to a separate "doc" output.

I've tested these changes on AArch64 and x86-64 and everything appears fine.

--
Simon South
simon <at> simonsouth.net

[0] Documented at
    http://mazsola.iit.uni-miskolc.hu/ucsim/testing.html


Simon South (4):
  gnu: ucsim: Use gexps.
  gnu: ucsim: Disable tests.
  gnu: ucsim: Move documentation to "doc" output.
  gnu: ucsim: Update to 0.8.0.

 gnu/packages/embedded.scm | 47 ++++++++++++++++++++++-----------------
 1 file changed, 27 insertions(+), 20 deletions(-)


base-commit: b696fb41bc0dfcb7130a5aa6d69aff2ae191c283
prerequisite-patch-id: 556b40aab19d0d1dd3e301115880883c329ee516
-- 
2.41.0




This bug report was last modified 1 year and 294 days ago.

Previous Next


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