tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-23 02:30:30 +02:00
Code Activity
182,278 Commits 75 Branches 40 Tags
4535f974e85c2c0009783db01078e5daf052d103
Commit Graph

298 Commits

Author SHA1 Message Date
jgart
c819b6c112 gnu: trealla: Update to 2.90.39. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.39.

Change-Id: If4beac7e384e930471202523053576ea9cbd01b5
 2026-02-25 12:47:58 -05:00
jgart
df71a3602e gnu: trealla: Update to 2.90.37. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.37.

Change-Id: I2ca3384b77090ef84449017813a663c0f8b2783c
 2026-02-23 10:33:29 -05:00
jgart
e7612f2fcd gnu: trealla: Update to 2.90.36. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.36.

Change-Id: I9df2d7ecda9aa62ef63b9bd89d99f4aa78d4d411
 2026-02-22 18:33:06 -05:00
jgart
aa72f75954 gnu: trealla: Update to 2.90.35. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.35.

Change-Id: I8963d12b28f44a8a4991eab390346af837eccff9
 2026-02-21 20:09:08 -05:00
jgart
df2931e822 gnu: trealla: Update to 2.90.33. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.33.

Change-Id: Ia988067ce430de371bc11f84940e669d8c52abac
 2026-02-20 15:11:03 -05:00
jgart
0c91ba3a1d gnu: trealla: Update to 2.90.31. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.31.

Change-Id: I713de5e3eb234b5c6dc5a4d6cf6c383ced06e03a
 2026-02-19 14:13:58 -05:00
jgart
0ce2e759b4 gnu: trealla: Update to 2.90.29. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.29.

Change-Id: I16f2859f69219ac17b92a93192acabf31cdc6a55
 2026-02-18 09:21:03 -05:00
jgart
effb271ea0 gnu: trealla: Update to 2.90.24. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.24.

Change-Id: I2e5383645d43b3a1c8c7bcd06ae42d6dd99266e2
 2026-02-17 09:42:12 -05:00
jgart
3fad9d1ade gnu: trealla: Update to 2.90.22. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.22.

Change-Id: Ifbc2c9533e9fa9d2cf090b47f4a50def51f8e1fa
 2026-02-16 15:22:57 -05:00
jgart
fe4f4dcfe1 gnu: trealla: Update to 2.90.21. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.21.

Change-Id: I83eda0123d58da558487d77c03b2417dc4deb28c
 2026-02-13 23:39:41 -05:00
jgart
875eb949e9 gnu: trealla: Update to 2.90.18. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.18.

Change-Id: I6cca15341aae6b029f8d37dafebfadf829de789b
 2026-02-12 23:12:40 -05:00
jgart
8d0cb60763 gnu: Add scryer-prolog. 
* gnu/packages/prolog.scm (scryer-prolog): New variable.

Co-authored-by: Mark Walker <mark.damon.walker@gmail.com>
Co-authored-by: Efraim Flashner <efraim@flashner.co.il>
Change-Id: I4ffc9a7ebab39ae95d7c38b380737091d21afe53
 2026-02-12 22:25:31 -05:00
jgart
37366cca61 gnu: trealla: Update to 2.90.16. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.16.

Change-Id: I70f2c970b19fdb8367cba398747afe2ee91384a8
 2026-02-12 08:47:37 -05:00
jgart
9c8e6a9b11 gnu: trealla: Update to 2.90.11. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.11.

Change-Id: I0156dc0e1b30edf585722cf59e5a78468c975545
 2026-02-11 20:09:47 -05:00
jgart
36ac4f6ca3 gnu: trealla: Update to 2.90.9. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.9.

Change-Id: Iad240abd6aca819330815f89b437933eb9fab784
 2026-02-09 18:45:26 -05:00
jgart
bc94389997 gnu: trealla: Update to 2.90.8. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.8.

Change-Id: Ib708073a1b3558b5d3ff9e48bbaf1e168d2aeba2
 2026-02-09 16:48:22 -05:00
jgart
0c646ef2c2 gnu: trealla: Update to 2.90.2. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.2.

Change-Id: Icf520cc211c819ba640c1d0e861745dd8dff18c6
 2026-02-08 20:02:29 -05:00
jgart
b7a291a3c7 gnu: trealla: Update to 2.90.0. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.0.

Change-Id: Iff40dfff0bc47f2fbfe8c3f11412b528f13d5440
 2026-02-07 09:58:26 -06:00
jgart
8da8357e5e gnu: trealla: Update to 2.89.13. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.13.

Change-Id: Ifc00985e074ab2bebc759c28eb143add7c706407
 2026-01-30 01:03:56 -05:00
jgart
05df277ebc gnu: trealla: Update to 2.89.12. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.12.

Change-Id: I0fd2fdfbbd3ebeb450d2294209ee49f4fe0d556b
 2026-01-29 10:39:14 -05:00
jgart
9e3feb052c gnu: trealla: Update to 2.89.11. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.11.

Change-Id: I11acd243b2638253c559c5fb3686dd5d1076fe5c
 2026-01-25 03:23:23 -05:00
jgart
4b9b2595e4 gnu: trealla: Update to 2.89.10. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.10.

Change-Id: Id50537fd703d94aa44065a6adbfe892a7ec89b0b
 2026-01-24 14:47:56 -05:00
jgart
08cfa507d1 gnu: trealla: Switch to running the standard tests. 
* gnu/packages/prolog.scm (trealla):  Switch to running the standard tests.
[native-inputs]: Delete it.
[arguments]: Adjust the test target to be test.

Running the valgrind memory checks is overkill for our purposes. Valgrind
should only be run in a local development workflow and not in our
CI. Switching to running the standard tests will also mimic what upstream runs
in their own CI for the Trealla project. Switching to running only the
standard tests also greatly reduces the time that it takes to run the full
Guix build for the trealla variable.

Change-Id: I912b85bfbe3fde03e6c0b98a47b2dbaa9b4b5d8a
 2026-01-23 13:21:17 -05:00
jgart
e4f565e886 gnu: trealla: Update to 2.89.7. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.7.

Change-Id: I6a4a6efbb0a59345174efb1b3cca4caedf24ffcb
 2026-01-22 14:01:45 -05:00
jgart
4e2de18be2 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
 2026-01-21 12:43:55 -05:00
jgart
1c1c9e1398 gnu: trealla: Update to 2.88.4. 
* gnu/packages/prolog.scm (trealla): Update to 2.88.4.

Change-Id: I0e825862780a71dcfeb5897245818cc216b09ffe
 2026-01-20 11:43:58 -05:00
jgart
51d42cd40f gnu: trealla: Update to 2.88.3. 
* gnu/packages/prolog.scm (trealla): Update to 2.88.3.

Change-Id: I924a571e1d27b3a1f34a3bdfef683e0b2caba987
 2025-12-25 21:37:49 -05:00
jgart
479a2f7ede gnu: trealla: Update to 2.88.2. 
* gnu/packages/prolog.scm (trealla): Update to 2.88.2.

Change-Id: I452a589dd2ed8023de78a1a90d06dae02a183e89
 2025-12-23 18:33:25 -06:00
jgart
5192dc2ff3 gnu: trealla: Update to 2.88.1. 
* gnu/packages/prolog.scm (trealla): Update to 2.88.1.

Change-Id: I8770e77950a53ef0284fe50248bed5fab01d70a0
 2025-12-22 10:18:17 -06:00
jgart
fe9dfb6abb gnu: trealla: Update to 2.87.5. 
* gnu/packages/prolog.scm (trealla): Update to 2.87.5.

Change-Id: I6a331959eca8077774b932a0c3c5a3c0324b0d76
 2025-12-17 18:16:34 -06:00
jgart
b73a2dcbf6 gnu: trealla: Update to 2.87.3. 
* gnu/packages/prolog.scm (trealla): Update to 2.87.3.

Change-Id: Ief5532baabc1631ceb94d46713d356cf0829e2fe
 2025-12-16 14:33:56 -06:00
jgart
7bb3ec9632 gnu: trealla: Update to 2.87.0. 
* gnu/packages/prolog.scm (trealla): Update to 2.87.0.

Change-Id: I37f74e99f6291bbe72dbf7cea84f4bc43326a37f
 2025-12-13 23:19:18 -06:00
jgart
457a773e6f gnu: trealla: Update to 2.86.12. 
* gnu/packages/prolog.scm (trealla): Update to 2.86.12.

Change-Id: I0d79781471fca725c745aef3a91fbb7cf0af70c5
 2025-12-12 09:23:08 -06:00
jgart
74ce9988a4 gnu: trealla: Update to 2.86.10. 
* gnu/packages/prolog.scm (trealla): Update to 2.86.10.

Change-Id: Ie5e63e302002949f9fca3ffe60e1147744289700
 2025-12-05 12:48:50 -06:00
jgart
7c7bad305a gnu: trealla: Update to 2.86.7. 
* gnu/packages/prolog.scm (trealla): Update to 2.86.7.

Change-Id: Ied45fed8dedfca7d85dd3104488203b4d436b522
 2025-12-02 07:24:26 -06:00
jgart
e73ac4c5e7 gnu: trealla: Update to 2.86.5. 
* gnu/packages/prolog.scm (trealla): Update to 2.86.5.

Change-Id: I0587c79ee9a9e9b0e9c5f84e6e91582e8bc53070
 2025-11-28 16:19:39 -06:00
jgart
cf8bb791f6 gnu: trealla: Update to 2.85.18. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.18.

Change-Id: I7cbf059e1a2dfe8218ff3d7e55a777b5bb5abefd
 2025-11-25 16:37:18 -06:00
jgart
3197c5348b gnu: trealla: Update to 2.85.13. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.13.

Change-Id: I48f6bdaef96e2d8d601cf5a41cbaa7fee00d8e97
 2025-11-24 15:34:10 -06:00
jgart
786862a84b gnu: trealla: Update to 2.85.9. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.9.

Change-Id: I87c0df6f147da18099172391e341f3fb2fbc09d3
 2025-11-21 09:46:32 -06:00
jgart
c7cdf95708 gnu: trealla: Update to 2.85.5. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.5.

Change-Id: I7c238fca969be17eb66e9c46678a6db1e61aeeff
 2025-11-20 22:44:58 -06:00
jgart
a9fb5fa2b9 gnu: trealla: Update to 2.85.4. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.4.

Change-Id: I56916f5348964354de31d46570ae14273776c50c
 2025-11-18 17:12:18 -06:00
jgart
19fdda038f gnu: trealla: Update to 2.85.0. 
* gnu/packages/prolog.scm (trealla): Update to 2.85.0.

Change-Id: I22f72b6eba3da25f62c1f4b627e5518231cea34c
 2025-11-17 13:32:18 -06:00
jgart
19a3da6586 gnu: trealla: Update to 2.84.29. 
* gnu/packages/prolog.scm (trealla): Update to 2.84.29.

Change-Id: I83378a9ae56ac0b03ae16f1777da8bfc284d6283
 2025-11-16 11:01:20 -06:00
jgart
4dd9f01ae4 gnu: trealla: Update to 2.84.26. 
* gnu/packages/prolog.scm (trealla): Update to 2.84.26.

Change-Id: I55676a56146a4a5e9e0ccef74eeb6b3b4030ec96
 2025-11-14 20:26:29 -06:00
jgart
f572719a06 gnu: trealla: Update to 2.84.25. 
* gnu/packages/prolog.scm (trealla): Update to 2.84.25.

Change-Id: I12e8ae32533c5fe22267e8dbfb30a93bed2efe6d
 2025-11-14 10:52:10 -06:00
jgart
d1888771ae gnu: trealla: Update to 2.84.22. 
* gnu/packages/prolog.scm (trealla): Update to 2.84.22.

Change-Id: I696554fdff200e728542c47aaf1e5279bb0a74de
 2025-11-13 10:06:39 -06:00
jgart
f6125eb3b7 gnu: trealla: Update to 2.84.19. 
* gnu/packages/prolog.scm (trealla): Update to 2.84.19.

Change-Id: Ibff6a882d9d410d2e6fe79a96b5b30c6a9d4d22d
 2025-11-12 13:07:40 -06:00
jgart
bdcaf7064e gnu: trealla: Update to 2.84.17. 
* gnu/packages/prolog.scm (trealla): Update to 2.84.17.

Change-Id: I852125b490de820828fc4583d1c3d76ebe68badc
 2025-11-11 09:54:52 -06:00
jgart
aa5033dd05 gnu: trealla: Update to 2.84.16. 
* gnu/packages/prolog.scm (trealla): Update to 2.84.16.

Change-Id: I58bc9205c08cefaced1d8379a6f0ae33991b5c10
 2025-11-07 16:59:10 -06:00
jgart
2256e93b28 gnu: trealla: Update to 2.84.15. 
* gnu/packages/prolog.scm (trealla): Update to 2.84.15.

Change-Id: Iad0af7bca45ca7124c51492ea97815499537b78f
 2025-11-06 08:00:34 -06:00