* [bug#69825] [PATCH] gnu: Add logtalk.
@ 2024-03-16 5:14 iyzsong--- via Guix-patches via
2024-03-23 11:22 ` bug#69825: " 宋文武 via Guix-patches via
0 siblings, 1 reply; 2+ messages in thread
From: iyzsong--- via Guix-patches via @ 2024-03-16 5:14 UTC (permalink / raw)
To: 69825; +Cc: 宋文武
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
^ permalink raw reply related [flat|nested] 2+ messages in thread
* bug#69825: [PATCH] gnu: Add logtalk.
2024-03-16 5:14 [bug#69825] [PATCH] gnu: Add logtalk iyzsong--- via Guix-patches via
@ 2024-03-23 11:22 ` 宋文武 via Guix-patches via
0 siblings, 0 replies; 2+ messages in thread
From: 宋文武 via Guix-patches via @ 2024-03-23 11:22 UTC (permalink / raw)
To: 69825-done
Pushed now.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2024-03-23 11:40 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-03-16 5:14 [bug#69825] [PATCH] gnu: Add logtalk iyzsong--- via Guix-patches via
2024-03-23 11:22 ` bug#69825: " 宋文武 via Guix-patches via
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.