bug#69825: closed ([PATCH] gnu: Add logtalk.)

[GNU bug Tracking System]

Your message dated Sat, 23 Mar 2024 19:22:01 +0800
with message-id <874jcxdwh2.fsf@envs.net>
and subject line Re: [bug#69825] [PATCH] gnu: Add logtalk.
has caused the debbugs.gnu.org bug report #69825,
regarding [PATCH] gnu: Add logtalk.
to be marked as done.

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


-- 
69825: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69825
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Add logtalk.
>
>
>
>
> Date: 
>
> Sat, 16 Mar 2024 13:14:37 +0800
>
>
>
>
> From: 宋文武 <iyzsong@member.fsf.org>
>
> * gnu/packages/prolog.scm (logtalk): New package.
>
> Change-Id: I99e04e70b32c498b5da1f094752279e4668f3865
> ---
>  gnu/packages/prolog.scm | 45 +++++++++++++++++++++++++++++++++++++++++
>  1 file changed, 45 insertions(+)
>
> diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
> index 0f2ad25a49..a969823374 100644
> --- a/gnu/packages/prolog.scm
> +++ b/gnu/packages/prolog.scm
> @@ -171,3 +171,48 @@ (define-public swi-prolog
>  small environment which enables substantial applications to be developed with
>  it.")
>      (license license:bsd-2)))
> +
> +(define-public logtalk
> +  (package
> +    (name "logtalk")
> +    (version "3.75.0")
> +    (source
> +     (origin
> +       (method url-fetch)
> +       (uri (string-append "https://logtalk.org/files/logtalk-";
> +                           version ".tar.bz2"))
> +       (sha256 (base32 
> "0w35br03l307wk2fwh67rybqjgvjlwpy9j5r4c3pkrywd7lhrc54"))))
> +    (build-system gnu-build-system)
> +    (arguments
> +     (list #:tests? #f                  ;no tests
> +           #:phases
> +           #~(modify-phases %standard-phases
> +               (delete 'configure)      ;no configure script and Makefile
> +               (delete 'build)
> +               (replace 'install
> +                 (lambda* (#:key outputs #:allow-other-keys)
> +                   (mkdir #$output)
> +                   (invoke "./scripts/install.sh" "-p" #$output))))))
> +    (native-search-paths
> +     (list (search-path-specification
> +            (variable "LOGTALKHOME")
> +            (separator #f)              ;single valued
> +            (files '("share/logtalk")))))
> +    (home-page "https://logtalk.org/";)
> +    (synopsis "Object-oriented logic programming language")
> +    (description "Logtalk is a declarative object-oriented logic programming 
> language
> +that extends and leverages the Prolog language with a feature set suitable for
> +programming in the large.  As a multi-paradigm language, Logtalk includes 
> support for
> +both prototypes and classes, protocols (interfaces), categories (components and
> +hot-patching), event-driven programming, coinduction, lambda expressions, and
> +high-level multi-threading programming.")
> +    ;; Most are under Apache License 2.0, some contributed libraries and ports 
> are
> +    ;; under other licenses.
> +    (license (list license:asl2.0
> +                   license:artistic2.0
> +                   license:bsd-2
> +                   license:bsd-3
> +                   license:cc0
> +                   license:expat
> +                   license:gpl2+
> +                   license:osl2.1))))
>
> base-commit: 6f05c96f9635da7ca9f421d03a6359ff3b1d1a95
> -- 
> 2.41.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#69825] [PATCH] gnu: Add logtalk.
>
>
>
>
> Date: 
>
> Sat, 23 Mar 2024 19:22:01 +0800
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> Pushed now.
>
>
> --- End Message ---