~cnx/guix - Personal Guix development branches

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