Subject: Re: [PATCH 1/2] gnu: Add launchmon.

From: Eric Bavier <[email-masked]>
Date: Wed, 11 Apr 2018 10:28:23 -0500

On Wed, Apr 11, 2018 at 02:58:09PM +0200, Rouby Pierre-Antoine wrote:
> @@ -2505,3 +2509,33 @@ printed instead of after the entire file has been read, which is often too
>  late.")
>      (home-page "https://jwilk.net/software/hungrycat")
>      (license license:expat)))
> +
> +(define-public launchmon
> +  (package
> +    (name "launchmon")
> +    (version "1.0.2")
> +    (source (origin
> +              (method url-fetch)
> +              (uri (string-append
> +                    "https://github.com/LLNL/LaunchMON/releases/download/v"
> +                    version "/" name "-v" version ".tar.gz"))
> +              (sha256
> +               (base32
> +                "0fm3nd9mydm9v2bf7bh01dbgrfnpwkapxa3dsvy3x1z0rz61qc0x"))))
> +    (build-system gnu-build-system)
> +    (inputs
> +     `(("mpi" ,openmpi)
> +       ("munge" ,munge)
> +       ("boost" ,boost)
> +       ("libelf" ,libelf)
> +       ("libgcrypt" ,libgcrypt)
> +       ("libgpg-error" ,libgpg-error)))
> +    (synopsis "An infrastructue for large scale tool daemon launching")
                  ^
No "An" at the beginning.  See the "Synopses and Descrtiptions"
section in the manual.

Otherwise LGTM!  Thanks!

-- 
Eric Bavier, Scientific Libraries, Cray Inc.