summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorjgart <jgart@dismail.de>2026-01-21 11:54:35 -0500
committerjgart <jgart@dismail.de>2026-01-21 12:43:55 -0500
commit4e2de18be2c7f7701c00877e05c0b587d03ac4d1 (patch)
treebc4f517dc974413ddadd6e173580a44727fef5f8 /gnu
parent2f1be81280ebb27a007b45259b4e63a4c4846d3a (diff)
gnu: trealla: Update to 2.89.1.
* gnu/packages/prolog.scm (trealla): Update to 2.89.1 and apply formatting. [native-inputs]: Remove xxd. [arguments]: Set PREFIX and HOST_CC environment variables. Remove install phase. This update also installs the newly created man page for Trealla. Change-Id: I2fb8e67af2ca075d0dd863a45763fec1483966ae
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/prolog.scm27
1 files changed, 12 insertions, 15 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index effa75b311d..90d3683c667 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -189,24 +189,22 @@ it.")
189(define-public trealla 189(define-public trealla
190 (package 190 (package
191 (name "trealla") 191 (name "trealla")
192 (version "2.88.4") 192 (version "2.89.1")
193 (source 193 (source
194 (origin 194 (origin
195 (method git-fetch) 195 (method git-fetch)
196 (uri 196 (uri
197 (git-reference 197 (git-reference
198 (url "https://github.com/trealla-prolog/trealla") 198 (url "https://github.com/trealla-prolog/trealla")
199 (commit (string-append "v" version)))) 199 (commit (string-append "v" version))))
200 (sha256 200 (sha256
201 (base32 "0sy8f2q3hz0i9rg6vhvjj1plsyi6dl08pf7fnw8lmh6nw0pn9ni0")) 201 (base32 "0dxblcq6p899rsj8p3k5s3p8i2mfhz95flk7x8r27vymc2fwhx0b"))
202 (file-name (git-file-name name version)))) 202 (file-name (git-file-name name version))))
203 (build-system gnu-build-system) 203 (build-system gnu-build-system)
204 (native-inputs 204 (native-inputs
205 (append 205 (if (supported-package? valgrind/pinned)
206 (if (supported-package? valgrind/pinned) 206 (list valgrind/pinned)
207 (list valgrind/pinned) 207 '()))
208 '())
209 (list xxd)))
210 (inputs 208 (inputs
211 (list curl 209 (list curl
212 gsl 210 gsl
@@ -217,7 +215,10 @@ it.")
217 sqlite)) 215 sqlite))
218 (arguments 216 (arguments
219 (list 217 (list
220 #:make-flags #~(list (string-append "CC=" #$(cc-for-target))) 218 #:make-flags
219 #~(list (string-append "PREFIX=" #$output)
220 (string-append "CC=" #$(cc-for-target))
221 (string-append "HOST_CC=" #$(cc-for-target)))
221 #:test-target (if (this-package-native-input "valgrind") 222 #:test-target (if (this-package-native-input "valgrind")
222 "check" 223 "check"
223 "test") 224 "test")
@@ -245,11 +246,7 @@ it.")
245 (search-input-file inputs "lib/libraylib.so"))) 246 (search-input-file inputs "lib/libraylib.so")))
246 (substitute* "library/sqlite3.pl" 247 (substitute* "library/sqlite3.pl"
247 (("libsqlite3\\.so") 248 (("libsqlite3\\.so")
248 (search-input-file inputs "lib/libsqlite3.so"))))) 249 (search-input-file inputs "lib/libsqlite3.so"))))))))
249 (replace 'install
250 ;; Upstream does not provide an install target.
251 (lambda _
252 (install-file "tpl" (string-append #$output "/bin")))))))
253 (home-page "https://trealla-prolog.org/") 250 (home-page "https://trealla-prolog.org/")
254 (synopsis "Compact and efficient Prolog interpreter") 251 (synopsis "Compact and efficient Prolog interpreter")
255 (description "This package provides a compact and efficient Prolog 252 (description "This package provides a compact and efficient Prolog