summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
Commit message (Collapse)AuthorAge
* gnu: swi-prolog: Update to 8.1.21.Brett Gilio2020-01-24
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.1.21.
* gnu: swi-prolog: Update to 8.1.20.Brett Gilio2020-01-04
| | | | * gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
* gnu: swi-prolog: Modify documentation installation.Brett Gilio2020-01-04
| | | | | * gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step for PDF documentation.
* gnu: swi-prolog: Enable tests.Brett Gilio2020-01-04
| | | | | | * 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.
* gnu: Add swi-prolog.Brett Gilio2020-01-03
| | | | * gnu/packages/prolog.scm (swi-prolog): New variable.
* gnu: gprolog: Use license prefix.Brett Gilio2020-01-03
| | | | * gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
* Revert "gnu: Add swi-prolog."Brett Gilio2020-01-03
| | | | This reverts commit 3f37f3909712eb7269b6e8184c0d61bfc61b67f9.
* gnu: Add swi-prolog.Brett Gilio2020-01-03
| | | | * gnu/packages/prolog.scm (swi-prolog): New variable.
* gnu: Rename module gprolog to prolog.Brett Gilio2020-01-03
* 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.