bug#59024: closed ([PATCH] gnu: Add safeint.)

[GNU bug Tracking System]

Your message dated Tue, 15 Nov 2022 11:50:04 +0100
with message-id <87o7t8mqzn.fsf@gnu.org>
and subject line Re: bug#59024: [PATCH] gnu: Add safeint.
has caused the debbugs.gnu.org bug report #59024,
regarding [PATCH] gnu: Add safeint.
to be marked as done.

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


-- 
59024: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59024
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Add safeint.
>
>
>
>
> Date: 
>
> Fri,  4 Nov 2022 20:25:12 +0000
>
>
>
>
> * gnu/packages/cpp.scm (safeint): New variable.
> ---
>  gnu/packages/cpp.scm | 39 +++++++++++++++++++++++++++++++++++++++
>  1 file changed, 39 insertions(+)
>
> diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm
> index 470f404066..4d58e01fa8 100644
> --- a/gnu/packages/cpp.scm
> +++ b/gnu/packages/cpp.scm
> @@ -2166,3 +2166,42 @@ (define-public optionparser
>  command line options.  It supports the short and long option formats of
>  getopt(), getopt_long() and getopt_long_only().")
>      (license license:expat)))
> +
> +(define-public safeint
> +  (package
> +    (name "safeint")
> +    (version "3.0.27")
> +    (home-page "https://github.com/dcleblanc/SafeInt";)
> +    (source (origin
> +              (method git-fetch)
> +              (uri (git-reference
> +                    (url home-page)
> +                    (commit version)))
> +              (file-name (git-file-name name version))
> +              (sha256
> +               (base32
> +                "01d2dpdhyw3lghmamknb6g39w2gg0sv53pgxlrs2la8h694z6x7s"))))
> +    (build-system cmake-build-system)
> +    (arguments
> +     (list #:phases #~(modify-phases %standard-phases
> +                        (replace 'install
> +                          (lambda _
> +                            (let ((include-dir (string-append #$output
> +                                                              "/include")))
> +                              (with-directory-excursion "../source"
> +                                (install-file "SafeInt.hpp" include-dir)
> +                                (install-file "safe_math.h" include-dir)
> +                                (install-file "safe_math_impl.h" 
> include-dir)))))
> +                        (add-after 'install 'install-doc
> +                          (lambda _
> +                            (let ((doc-dir (string-append #$output
> +                                                          
> "/share/doc/safeint")))
> +                              (with-directory-excursion "../source"
> +                                (install-file "helpfile.md" doc-dir))))))))
> +    (synopsis "C and C++ library for managing integer overflows")
> +    (description
> +     "SafeInt is a class library for C++ that manages integer overflows.  It
> +also includes a C library that checks casting, multiplication, division,
> +addition and subtraction for all combinations of signed and unsigned 32-bit and
> +64-bit integers.")
> +    (license license:expat)))
> -- 
> 2.38.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#59024: [PATCH] gnu: Add safeint.
>
>
>
>
> Date: 
>
> Tue, 15 Nov 2022 11:50:04 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> Hi,
>
> Antero Mejr <antero@mailbox.org> skribis:
>
> > * gnu/packages/cpp.scm (safeint): New variable.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---