jgart pushed a commit to branch master
in repository guix.
commit d01c38a7e5db219abe460dfc6ce1fc40d31166df
Author: jgart <jg...@dismail.de>
AuthorDate: Sat Jun 15 09:29:04 2024 -0500
gnu: Add trealla.
* gnu/packages/prolog.scm (trealla): New variable.
Change-Id: I079e6dc367f207fc51dacf684b73fa55c1e0ece7
Signed-off-by: jgart <jg...@dismail.de>
---
gnu/packages/prolog.scm | 44 ++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 44 insertions(+)
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index a969823374..99e7e26193 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -4,6 +4,7 @@
;;; Copyright © 2020 Brett Gilio <bre...@gnu.org>
;;; Copyright © 2021 Efraim Flashner <efr...@flashner.co.il>
;;; Copyright © 2021 Maxime Devos <maximede...@telenet.be>
+;;; Copyright © 2024 jgart <jg...@dismail.de>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -34,6 +35,7 @@
#:use-module (gnu packages compression)
#:use-module (gnu packages fontutils)
#:use-module (gnu packages image)
+ #:use-module (gnu packages libffi)
#:use-module (gnu packages libunwind)
#:use-module (gnu packages multiprecision)
#:use-module (gnu packages perl)
@@ -41,6 +43,9 @@
#:use-module (gnu packages readline)
#:use-module (gnu packages texinfo)
#:use-module (gnu packages tls)
+ #:use-module (gnu packages valgrind)
+ #:use-module (gnu packages version-control)
+ #:use-module (gnu packages vim)
#:use-module (gnu packages xorg)
#:use-module (srfi srfi-1))
@@ -172,6 +177,45 @@ small environment which enables substantial applications
to be developed with
it.")
(license license:bsd-2)))
+(define-public trealla
+ (package
+ (name "trealla")
+ (version "2.52.34")
+ (source
+ (origin
+ (method git-fetch)
+ (uri
+ (git-reference
+ (url "https://github.com/trealla-prolog/trealla";)
+ (commit (string-append "v" version))))
+ (sha256
+ (base32 "17lyd8iy4dki9isxfkdv96brwjbvxyqmly9arvjqsdmz3rpsmn0h"))
+ (file-name (git-file-name name version))))
+ (build-system gnu-build-system)
+ (native-inputs
+ (list git valgrind xxd))
+ (inputs
+ (list libffi openssl readline))
+ (arguments
+ (list
+ #:make-flags #~(list (string-append "CC=" #$(cc-for-target)))
+ #:phases
+ #~(modify-phases %standard-phases
+ ;; Upstream does not use a configure script.
+ (delete 'configure)
+ (replace 'install
+ ;; Upstream does not provide an install target.
+ (lambda _
+ (install-file "tpl" (string-append #$output "/bin")))))))
+ (home-page "https://trealla-prolog.org/";)
+ (synopsis "Compact and efficient Prolog interpreter")
+ (description "This package provides a compact and efficient Prolog
+interpreter with ISO Prolog aspirations.")
+ (license
+ (list license:expat
+ ;; The tiny-regex-c library uses the Unlicense license.
+ license:unlicense))))
+
(define-public logtalk
(package
(name "logtalk")
