bug#52280: closed ([PATCH] gnu: Add guile-smc)

[GNU bug Tracking System]

Your message dated Sat, 04 Dec 2021 22:45:15 +0100
with message-id <87pmqcujro.fsf@gnu.org>
and subject line Re: bug#52280: [PATCH] gnu: Add guile-smc
has caused the debbugs.gnu.org bug report #52280,
regarding [PATCH] gnu: Add guile-smc
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
52280: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=52280
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] gnu: Add guile-smc Date: Sat, 04 Dec 2021 20:52:12 +0300 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)

Hello Guixers,

this patch adds Guile-SMC[1] -- the GNU Guile State Machine Compiler.

Thanks,

- Artyom

References:
1: https://github.com/artyom-poptsov/guile-smc

0001-gnu-Add-guile-smc.patch
Description: Text Data

-- 
Artyom "avp" Poptsov <poptsov.artyom@gmail.com>
Home page: https://memory-heap.org/~avp/
CADR Hackerspace co-founder: https://cadrspace.ru/
GPG: D0C2 EAC1 3310 822D 98DE  B57C E9C5 A2D9 0898 A02F

signature.asc
Description: PGP signature

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#52280: [PATCH] gnu: Add guile-smc
>
>
>
>
> Date: 
>
> Sat, 04 Dec 2021 22:45:15 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> Hello,
>
> poptsov.artyom@gmail.com (Artyom V. Poptsov) skribis:
>
> > From b3ad6d1c8973647a4dd2efedaa6d70957429f5e2 Mon Sep 17 00:00:00 2001
> > From: "Artyom V. Poptsov" <poptsov.artyom@gmail.com>
> > Date: Sat, 4 Dec 2021 20:40:46 +0300
> > Subject: [PATCH] gnu: Add guile-smc
> >
> > * gnu/packages/guile-xyz.scm (guile-smc): New variable.
>
> Applied with the changes below to placate ‘guix lint’.
>
> Thanks!
>
> Ludo’.
>
> diff --git a/gnu/packages/guile-xyz.scm b/gnu/packages/guile-xyz.scm
> index 1b1acc637c..508b4b44d5 100644
> --- a/gnu/packages/guile-xyz.scm
> +++ b/gnu/packages/guile-xyz.scm
> @@ -4929,11 +4929,11 @@ (define-public guile-smc
>         ("guile-lib" ,guile-lib)
>         ("inetutils" ,inetutils)))
>      (home-page "https://github.com/artyom-poptsov/guile-smc";)
> -    (synopsis "GNU Guile state machine compiler.")
> +    (synopsis "GNU Guile state machine compiler")
>      (description
> -     "Guile-SMC is a state machine compiler that allows to describe finite
> -state machines (FSMs) in Scheme in terms of transition tables.  It is capable
> -to generate such transition tables from a @url{https://plantuml.com/,
> +     "Guile-SMC is a state machine compiler that allows users to describe
> +finite state machines (FSMs) in Scheme in terms of transition tables.  It is
> +capable to generate such transition tables from a @url{https://plantuml.com/,
>  PlantUML} state diagrams.
>  
>  A transition table can be verified and checked for dead-ends and infinite
>
> --- End Message ---