bug#72956: closed ([PATCH] gnu: easyrpg-player: Enable MIDI format support.)

[GNU bug Tracking System]

Your message dated Mon, 02 Sep 2024 19:00:02 +0800
with message-id <87r0a2jp71.fsf@envs.net>
and subject line Re: [bug#72956] [PATCH] gnu: easyrpg-player: Enable MIDI 
format support.
has caused the debbugs.gnu.org bug report #72956,
regarding [PATCH] gnu: easyrpg-player: Enable MIDI format support.
to be marked as done.

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


-- 
72956: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72956
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: easyrpg-player: Enable MIDI format support.
>
>
>
>
> Date: 
>
> Mon,  2 Sep 2024 18:41:34 +0900
>
>
>
>
> * gnu/packages/easyrpg.scm (easyrpg-player)[arguments]<#:configure-flags>:
> Enable fmmidi option for MIDI format support.
>
> Change-Id: I8253f84bdea7c9754e5b9e2bc1b413f2b63a5f19
> ---
>  gnu/packages/easyrpg.scm | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
>
> diff --git a/gnu/packages/easyrpg.scm b/gnu/packages/easyrpg.scm
> index 3a5413d94a..f6e4815d4d 100644
> --- a/gnu/packages/easyrpg.scm
> +++ b/gnu/packages/easyrpg.scm
> @@ -88,7 +88,8 @@ (define-public easyrpg-player
>      (build-system gnu-build-system)
>      (arguments
>       '(#:configure-flags
> -       (list (string-append "--with-bash-completion-dir="
> +       (list "--enable-fmmidi"
> +             (string-append "--with-bash-completion-dir="
>                              %output "/etc/bash_completion.d/"))))
>      (native-inputs
>       (list pkg-config))
>
> base-commit: 3c21d0da62b3d6832dd1ab450d8ab50ab8d38f27
> -- 
> 2.45.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#72956] [PATCH] gnu: easyrpg-player: Enable MIDI format support.
>
>
>
>
> Date: 
>
> Mon, 02 Sep 2024 19:00:02 +0800
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> gemmaro <gemmaro.dev@gmail.com> writes:
>
> > * gnu/packages/easyrpg.scm (easyrpg-player)[arguments]<#:configure-flags>:
> > Enable fmmidi option for MIDI format support.
> >
>
> Pushed to master as commit a3c6f1a38e, thank you!
>
>
> --- End Message ---