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