diff options
author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-03-27 05:22:31 +0100 |
---|---|---|
committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-03-27 05:22:31 +0100 |
commit | 4c70f5242befb5786cb437559a4d8701e630bd29 (patch) | |
tree | dbbff437004184d50c9a53f6c4897a85361aceb1 /gnu/packages/prolog.scm | |
parent | a9e65e0341d5045e425e3cf8d741a3d13cfa35a1 (diff) | |
parent | 929ddec8f4a181be653152c7436581c2adc54eee (diff) | |
download | guix-4c70f5242befb5786cb437559a4d8701e630bd29.tar.gz guix-4c70f5242befb5786cb437559a4d8701e630bd29.zip |
Merge branch 'master' into emacs-team
Diffstat (limited to 'gnu/packages/prolog.scm')
-rw-r--r-- | gnu/packages/prolog.scm | 45 |
1 files changed, 45 insertions, 0 deletions
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 @@ compiler with a rich set of built-in predicates. It offers a fast, robust and 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)))) |