Marius Bakke da9adfc7f7 gnu: colobot, leela-zero: Add Boost workaround. ...

This works around and incompatibility with CMake 3.14 and Boost 1.70,
see <https://bugs.gnu.org/36721>.

* gnu/packages/games.scm (colobot, leela-zero)[arguments]: Add
"-DBoost_NO_BOOST_CMAKE=ON" in <#:configure-flags>.

2019-07-19 18:02:43 +02:00

..

bootloader

bootloader: grub: Remove unneeded 'terminal_output'.

2019-05-09 12:11:36 +02:00

build

Merge branch 'master' into core-updates

2019-07-12 01:03:53 +02:00

installer

installer: Fix typo.

2019-06-08 02:30:25 +02:00

machine

machine: Fix typo.

2019-07-18 12:57:00 +02:00

packages

gnu: colobot, leela-zero: Add Boost workaround.

2019-07-19 18:02:43 +02:00

services

services: network-manager: Clear default OpenVPN user.

2019-07-17 11:08:26 +02:00

system

etc: Remove hydra.gnu.org.pub key.

2019-06-29 14:27:22 +02:00

tests

tests: encrypted-root-os: Increase root partition size.

2019-07-06 16:17:24 +02:00

artwork.scm

artwork: Update snapshot to 2f2fe74.

2019-06-10 23:11:07 +02:00

bootloader.scm

…

ci.scm

ci: 'channel-build-system' honors the target system.

2019-07-06 16:17:24 +02:00

installer.scm

installer: Increase backtrace verbosity.

2019-05-15 09:28:45 +02:00

local.mk

gnu: supertux: Adjust for recent GCC and Boost.

2019-07-19 18:00:41 +02:00

machine.scm

gnu: Add machine type for deployment specifications.

2019-07-06 02:10:04 -04:00

packages.scm

Merge branch 'master' into core-updates

2019-06-27 23:33:48 +02:00

services.scm

services: 'gc-root-service-type' now has a default value.

2019-05-10 23:29:18 +02:00

system.scm

system: Write the timezone to /etc/timezone.

2019-07-16 21:53:05 -04:00

tests.scm

…