aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
Commit message (Collapse)AuthorAge
* gnu: swi-prolog: Add libxcrypt dependency.宋文武2024-08-31
| | | | | | * gnu/packages/prolog.scm (swi-prolog)[inputs]: Add libxcrypt. Change-Id: Id24dda144b28d504c01a08f8e20228ebb6122c4f
* gnu: trealla: Update to 2.55.26.jgart2024-08-26
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.26. Change-Id: I2a2652d2415d007fabf8974212cd35686336905f
* gnu: trealla: Update to 2.55.25.jgart2024-08-26
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.25. Change-Id: I3c00edc6292c9e351ff514d3ca835236aa6c1d7e
* gnu: trealla: Update to 2.55.24.jgart2024-08-25
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.24. Change-Id: I0e94ef0b863f137d63bd36e13212d64263f496d4
* gnu: trealla: Update to 2.55.23.jgart2024-08-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.23. Change-Id: I0145f8066ceec5cacb4124fa865dd8efa24a5fc8
* gnu: trealla: Update to 2.55.22.jgart2024-08-16
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.22. Change-Id: Iaf62bacbd0eb0278e2a6672833891dacf6f2255b
* gnu: trealla: Update to 2.55.21.jgart2024-08-14
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.21. Change-Id: Ie866bf4b9a50944e5026594ca72405a3af2bc7f2
* gnu: trealla: Update to 2.55.20.jgart2024-08-14
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.20. Change-Id: I4e9fa627fc689bc4203fcb0770067b99bfebab13
* gnu: trealla: Update to 2.55.19.jgart2024-08-12
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.19. Change-Id: I4f79c9e3f0e61fb5b708dfe77b25fd237ed24ab4
* gnu: trealla: Update to 2.55.18.jgart2024-08-12
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.18. Change-Id: I9e1e67ccc4920fe45e46a4918e73f9b5e4fc47c3
* gnu: trealla: Update to 2.55.17.jgart2024-08-12
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.17. Change-Id: I0ab3a4714a2e34cd6e55583bd09ba71857f6461e
* gnu: trealla: Update to 2.55.16.jgart2024-08-12
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.16. Change-Id: I0f21ef880b9b12d69cca0097583b731e4d4dd5f2
* gnu: trealla: Update to 2.55.15.jgart2024-08-05
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.15. Change-Id: Iaacdf45670a8db4180d1a426ea9292b451dece8b
* gnu: swi-prolog: Update to 9.3.8.jgart2024-08-01
| | | | | | * gnu/packages/prolog.scm (swi-prolog): Update to 9.3.8. Change-Id: Ic922c60db9f686c639ec280996d257ccbf63082a
* gnu: trealla: Update to 2.55.14.jgart2024-08-01
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.14. Change-Id: I796a466590d9667934e610614611c8933ea2fdca
* gnu: trealla: Update to 2.55.13.jgart2024-08-01
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.13. Change-Id: I32f7c67667250e6972772a5d4bbffbd585d30796
* gnu: trealla: Update to 2.55.12.jgart2024-07-31
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.12. Change-Id: I4a58b72bec88d95e5953390ecf6d558d2534b9de
* gnu: trealla: Update to 2.55.11.jgart2024-07-31
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.11. Change-Id: I0254cde4f5b72d39196d92d06839001eb54e68cf
* gnu: trealla: Update to 2.55.10.jgart2024-07-26
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.10. Change-Id: I2545a6d3ac5bf740c4ceb9e8bcd33d60707e67b9
* gnu: trealla: Update to 2.55.9.jgart2024-07-26
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.9. Change-Id: I29b5500da8e6acc382397662d4c44cf1c6e1fdf9
* gnu: trealla: Update to 2.55.8.jgart2024-07-26
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.8. Change-Id: Ia938a79d35948d56a97a8933b312916f264c31b7
* gnu: trealla: Update to 2.55.7.jgart2024-07-25
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.7. Change-Id: I6f954cfa3bcf8c6b34ee2f4ca902f3b7ef1f5b38
* gnu: trealla: Update to 2.55.6.jgart2024-07-25
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.6. Change-Id: I258ebe918fb71876fbdda7277d468f863633ef3b
* gnu: trealla: Update to 2.55.5.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.5. Change-Id: Ib9c4da341b4af4cb5ee8d72af4d51b5ecad26be6
* gnu: trealla: Update to 2.55.4.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.4. Change-Id: I6e684cf6ddd03d05910a8de6719fad767105a5c1
* gnu: trealla: Update to 2.55.3.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.3. Change-Id: Idf943e2bfc9213ed2bac51cb73d087a64a7b7eec
* gnu: trealla: Update to 2.55.2.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.2. Change-Id: I61d057db57efc30f3a957d1345f86d7b8857965f
* gnu: trealla: Update to 2.55.1.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.1. Change-Id: Ib3888d69aa7fa38c03d171a624500ed28098f031
* gnu: trealla: Update to 2.55.0.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.0. Change-Id: Ie3bdd311afae7e975ce495594a35ac20a708bb09
* gnu: trealla: Update to 2.54.6.jgart2024-07-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.54.6. Change-Id: I665c518f29bd6df3c9556209453a8638e471a197
* gnu: trealla: Update to 2.54.5.jgart2024-07-18
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.54.5. Change-Id: Ie0495ddcc1f82298cb4be9adec6dc92e7b0fa175
* gnu: trealla: Update to 2.54.3.jgart2024-07-13
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.54.3. Change-Id: Iacaca2720ae4a457c570ebcd13be0260c81aa691
* gnu: trealla: Update to 2.53.48.jgart2024-07-11
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.48. Change-Id: I2544e65003880fa5ec6d70a8ba814bb88722c3c9
* gnu: trealla: Update to 2.53.47.jgart2024-07-09
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.47. Change-Id: Ide1766e92cc2ee0ec435f02db11bcd4c73fc3642
* gnu: trealla: Update to 2.53.37.jgart2024-07-05
| | | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.37. Change-Id: Iea845c85fc4397223a3ed783ab4492928fd9473b Signed-off-by: jgart <jgart@dismail.de>
* gnu: trealla: update to 2.53.10.jgart2024-06-29
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.10. Change-Id: I6ce5bfc95faa5453d6cdb8a3b03a3f4b21241193
* gnu: trealla: update to 2.53.2.jgart2024-06-24
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.53.2. Change-Id: I6ce5bfc95faa5453d6cdb8a3b03a3f4b21241193
* gnu: trealla: update to 2.52.40.jgart2024-06-22
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.52.40. Change-Id: I746255bf4709d0ee5dc8ac40edcf566f07cbb413
* gnu: logtalk: Update to 3.80.0.宋文武2024-06-19
| | | | | | | * gnu/packages/prolog.scm (logtalk): Update to 3.80.0. Change-Id: I1ad9cd723413d44bc987bb961dd94e137dbb77eb Signed-off-by: jgart <jgart@dismail.de>
* gnu: trealla: update to 2.52.35.jgart2024-06-19
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.52.35. Change-Id: I5710c3d617aa85564533efeb8944f49aab4eee8e
* gnu: trealla: Only build with valgrind when supported.Efraim Flashner2024-06-17
| | | | | | | | | * gnu/packages/prolog.scm (trealla)[native-inputs]: Remove git. Only add valgrind when on supported platforms. [arguments]: When building without valgrind adjust the test-target to run the test suite which doesn't expect valgrind present. Change-Id: Ib2a1a4fd5eace98d4c9eba7e55663fe0ab9daa73
* gnu: Add trealla.jgart2024-06-16
| | | | | | | * gnu/packages/prolog.scm (trealla): New variable. Change-Id: I079e6dc367f207fc51dacf684b73fa55c1e0ece7 Signed-off-by: jgart <jgart@dismail.de>
* gnu: Add logtalk.宋文武2024-03-23
| | | | | | * gnu/packages/prolog.scm (logtalk): New package. Change-Id: I99e04e70b32c498b5da1f094752279e4668f3865
* gnu: swi-prolog: Update to 8.5.20.Liliana Marie Prikler2023-03-12
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.5.20.
* gnu: swi-prolog: Fix cross-compilation.Maxime Devos2022-03-11
| | | | | | | | | | | | | | | * gnu/package/prolog.scm (swi-prolog) [inputs]: Add bash-minimal. Move perl, pkg-config and texinfo to... [native-inputs]: ... here. [tests?]: Remove argument. [configure-flags]: Set BSD_SIGNALS, PROG_SWIPL, QSORT_R_GNU and CMAKE_HOST_CC when cross-compiling. [phases]{fix-cross-references}: New phase. {delete-failing-tests}: Strip trailing #t and simplify the deletion of the "save" directory. Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
* gnu: gprolog: Update to 1.5.0.Efraim Flashner2021-08-04
| | | | | | * gnu/packages/prolog.scm (gprolog): Update to 1.5.0. [arguments]: Rename custom 'change-dir-n-fix-shells to 'change-dir and remove substitution.
* gnu: swi-prolog: Update to 8.3.20.Boris A. Dekshteyn2021-03-19
| | | | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.20. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: swi-prolog: Update to 8.3.10.Brett Gilio2020-10-22
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.10.
* gnu: swi-prolog: Update to 8.3.9.Brett Gilio2020-10-16
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.3.9.
* gnu: Fix package references.Efraim Flashner2020-09-30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnu/packages/algebra.scm (iml)[inputs]: Correctly refer to package inputs. * gnu/packages/astronomy.scm (xplanet), * gnu/packages/audio.scm (redkite, libaudec, lv2lint, lv2toweb), * gnu/packages/bioconductor.scm (r-cummerbund), * gnu/packages/chicken.scm (chicken), * gnu/packages/conky.scm (conky), * gnu/packages/cran.scm (r-latex2exp), * gnu/packages/crates-io.scm (rust-rgb), * gnu/packages/databases.scm (mariadb), * gnu/packages/diffoscope.scm (reprotest), * gnu/packages/file-systems.scm (glusterfs), * gnu/packages/finance.scm (electron-cash), * gnu/packages/games.scm (rinutils, ksudoku, kdiamond, kigo), * gnu/packages/geo.scm (grass), * gnu/packages/gnome.scm (libmediaart, gnome-contacts, geoclue), * gnu/packages/gnucash.scm (aqbanking), * gnu/packages/image.scm (mtpaint), * gnu/packages/kde-internet.scm (kopete, ktorrent), * gnu/packages/kde-utils.scm (kmousetool, kmouth, kronometer), * gnu/packages/linphone.scm (liblinphone), * gnu/packages/maths.scm (ppl), * gnu/packages/mercury.scm (mercury-minimal), * gnu/packages/music.scm (bjumblr, bschaffl, lsp-plugins, spectacle-analyzer, helm, tap-lv2, wolf-shaper, shiru-lv2), * gnu/packages/networking.scm (restinio), * gnu/packages/prolog.scm (swi-prolog), * gnu/packages/python-web.scm (gunicorn), * gnu/packages/python-xyz.scm (python-docusign-esign), * gnu/packages/ruby.scm (ruby-cucumber, ruby_version, ruby-addressable), * gnu/packages/sagemath.scm (python-cypari2), * gnu/packages/skarnet.scm (s6-linux-init), * gnu/packages/vpn.scm (sshuttle), * gnu/packages/web.scm (libcyaml), * gnu/packages/xdisorg.scm (kbdd), * gnu/packages/xorg.scm (xpra): Same.
generated by cgit v1.2.3 (git 2.45.0) at 2024-11-27 01:40:43 +0000