Brett Gilio
bcd47c67b0
gnu: swi-prolog: Update to 8.1.20.
...
* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
2020-01-04 14:52:22 -06:00
Brett Gilio
235c67341b
gnu: swi-prolog: Modify documentation installation.
...
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step
for PDF documentation.
2020-01-04 14:51:44 -06:00
Brett Gilio
5a92e7c954
gnu: 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.
2020-01-04 14:50:52 -06:00
Brett Gilio
7eef98484c
gnu: Add swi-prolog.
...
* gnu/packages/prolog.scm (swi-prolog): New variable.
2020-01-03 21:44:18 -06:00
Brett Gilio
e4ed992953
gnu: gprolog: Use license prefix.
...
* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
2020-01-03 21:43:34 -06:00
Brett Gilio
a06a4f9182
Revert "gnu: Add swi-prolog."
...
This reverts commit 3f37f39097
2020-01-03 20:15:44 -06:00
Brett Gilio
3f37f39097
gnu: Add swi-prolog.
...
* gnu/packages/prolog.scm (swi-prolog): New variable.
2020-01-03 19:59:00 -06:00
Brett Gilio
d98e64b4e5
gnu: 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.
2020-01-03 19:53:04 -06:00
