diff options
| author | jgart <jgart@dismail.de> | 2026-01-21 11:54:35 -0500 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2026-01-21 12:43:55 -0500 |
| commit | 4e2de18be2c7f7701c00877e05c0b587d03ac4d1 (patch) | |
| tree | bc4f517dc974413ddadd6e173580a44727fef5f8 /gnu | |
| parent | 2f1be81280ebb27a007b45259b4e63a4c4846d3a (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.scm | 27 |
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 |
