summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
AgeCommit message (Collapse)Author
2020-01-24gnu: swi-prolog: Update to 8.1.21.Brett Gilio
* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.21.
2020-01-04gnu: swi-prolog: Update to 8.1.20.Brett Gilio
* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
2020-01-04gnu: swi-prolog: Modify documentation installation.Brett Gilio
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step for PDF documentation.
2020-01-04gnu: swi-prolog: Enable tests.Brett Gilio
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Enable tests and work around tests that cause failure by trying to write to the store, or establishing a network connection.
2020-01-03gnu: Add swi-prolog.Brett Gilio
* gnu/packages/prolog.scm (swi-prolog): New variable.
2020-01-03gnu: gprolog: Use license prefix.Brett Gilio
* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
2020-01-03Revert "gnu: Add swi-prolog."Brett Gilio
This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.
2020-01-03gnu: Add swi-prolog.Brett Gilio
* gnu/packages/prolog.scm (swi-prolog): New variable.
2020-01-03gnu: Rename module gprolog to prolog.Brett Gilio
* gnu/local.mk (GNU_SYSTEM_MODULES): Replace gprolog.scm => prolog.scm. * gnu/packages/{gprolog.scm -> prolog.scm}: Rename file so it is not implementation specific.
generated by cgit v1.2.3 (git 2.45.2) at 2024-07-22 01:15:48 +0000