diff options
Diffstat (limited to 'gnu/packages/prolog.scm')
| -rw-r--r-- | gnu/packages/prolog.scm | 34 |
1 files changed, 30 insertions, 4 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 8bf5cb7459..9669c161c8 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -4,7 +4,7 @@ ;;; Copyright © 2020 Brett Gilio <brettg@gnu.org> ;;; Copyright © 2021, 2024 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2021 Maxime Devos <maximedevos@telenet.be> -;;; Copyright © 2024 jgart <jgart@dismail.de> +;;; Copyright © 2024-2025 jgart <jgart@dismail.de> ;;; ;;; This file is part of GNU Guix. ;;; @@ -34,14 +34,18 @@ #:use-module (gnu packages bash) #:use-module (gnu packages compression) #:use-module (gnu packages crypto) + #:use-module (gnu packages curl) #:use-module (gnu packages fontutils) + #:use-module (gnu packages game-development) #:use-module (gnu packages image) #:use-module (gnu packages libffi) #:use-module (gnu packages libunwind) + #:use-module (gnu packages maths) #:use-module (gnu packages multiprecision) #:use-module (gnu packages perl) #:use-module (gnu packages pkg-config) #:use-module (gnu packages readline) + #:use-module (gnu packages sqlite) #:use-module (gnu packages texinfo) #:use-module (gnu packages tls) #:use-module (gnu packages valgrind) @@ -185,7 +189,7 @@ it.") (define-public trealla (package (name "trealla") - (version "2.80.10") + (version "2.83.17") (source (origin (method git-fetch) @@ -194,7 +198,7 @@ it.") (url "https://github.com/trealla-prolog/trealla") (commit (string-append "v" version)))) (sha256 - (base32 "1m4qm5ymjb2579kwsz9hzclpvh7im3f2vz5fg7828r2ap1dlfwlr")) + (base32 "1c07kcl2h6bnwymf37zqllp9pnp37crh4ai3yd1jhzyihxy9m6wq")) (file-name (git-file-name name version)))) (build-system gnu-build-system) (native-inputs @@ -204,7 +208,13 @@ it.") '()) (list xxd))) (inputs - (list libffi openssl readline)) + (list curl + gsl + libffi + openssl + raylib + readline + sqlite)) (arguments (list #:make-flags #~(list (string-append "CC=" #$(cc-for-target))) @@ -220,6 +230,22 @@ it.") (substitute* "Makefile" (("\\$\\(shell git describe --abbrev=4 --dirty --always --tags\\)") (string-append "v" #$version))))) + (add-after 'unpack 'fix-paths + (lambda* (#:key inputs #:allow-other-keys) + (substitute* "library/curl.pl" + (("libcurl\\.so") + (search-input-file inputs "lib/libcurl.so"))) + (substitute* "library/gsl.pl" + (("libgsl\\.so") + (search-input-file inputs "lib/libgsl.so")) + (("libgslcblas\\.so") + (search-input-file inputs "lib/libgslcblas.so"))) + (substitute* "library/raylib.pl" + (("libraylib\\.so") + (search-input-file inputs "lib/libraylib.so"))) + (substitute* "library/sqlite3.pl" + (("libsqlite3\\.so") + (search-input-file inputs "lib/libsqlite3.so"))))) (replace 'install ;; Upstream does not provide an install target. (lambda _ |