GNU bug report logs - #69825
[PATCH] gnu: Add logtalk.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 69825 in the body.
You can then email your comments to 69825 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: iyzsong <at> envs.net
To: guix-patches <at> gnu.org
Cc: 宋文武 <iyzsong <at> member.fsf.org>
Subject: [PATCH] gnu: Add logtalk.
Date: Sat, 16 Mar 2024 13:14:37 +0800

From: 宋文武 <iyzsong <at> 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

Message #10 received at 69825-done <at> debbugs.gnu.org (full text, mbox):

From: 宋文武 <iyzsong <at> envs.net>
To: 69825-done <at> debbugs.gnu.org
Subject: Re: [bug#69825] [PATCH] gnu: Add logtalk.
Date: Sat, 23 Mar 2024 19:22:01 +0800

Pushed now.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.