gnu: orbit2: Fix bug on 32-bit systems.

* gnu/packages/patches/orbit2-fix-array-allocation-32bit.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/gnome.scm (orbit2): Use it here.

Change-Id: I72e10fc9d8a5421a7ec6b4ccf1425008b322ea3f
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail>

gnu: orbit2: Propagate inputs.

* gnu/packages/gnome.scm (orbit2) [inputs]: Move to 'propagated-inputs'.

Change-Id: I09e613cb4fee7962c50f62459ad6272bb7ffaea4
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail>

gnu: orbit2: Update style.

* gnu/packages/gnome.scm (orbit2) [arguments]: Convert to list of G-Expressions.
[native-inputs]: Write the native-input list on one line.

Change-Id: I6a09616719c07cbb48195cf0c59d8b799c404d47
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail>

gnu: girara: Update to 0.4.3.

* gnu/packages/gtk.scm (girara): Update to 0.4.3.

Change-Id: I3c977cd33fa6d20fce3bb575ae2ad887b3061966
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail>

gnu: girara: Update style.

* gnu/packages/gtk.scm (girara)[arguments]: Convert to list of G-Expressions.
[native-inputs]: Move after arguments.
[propagated-inputs]: Move after arguments.

Change-Id: I79a6f59f6ea671433f1a66a10cb79203f0b9bbae
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail>

Merge branch 'master' into gnome-team

gnu: Add theft.

* gnu/packages/check.scm (theft): New variable.

Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>

gnu: Add greatest.

* gnu/packages/check.scm (greatest): New variable.

Reviewed-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>

gnu: python-scikit-build: Add more non-deterministic test failures.

* gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]<check>: Also
exclude “test_cxx_compiler” and “test_fortran_compiler”.

gnu: python-telingo: Update to 2.1.3.

* gnu/packages/potassco.scm (python-telingo): Update to 2.1.3.
[source]: Drop obsolete patch.
* gnu/packages/patches/python-telingo-fix-comparison.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.

gnu: python-plingo: Update to 1.1.0.

* gnu/packages/potassco.scm (python-plingo): Update to 1.1.0.

gnu: python-clorm: Update to 1.5.0.

* gnu/packages/potassco.scm (python-clorm): Update to 1.5.0.

gnu: python-clingo-dl: Fix build.

* gnu/packages/potassco.scm (python-clingo-dl)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.
[native-inputs]: Add python-scikit-build.

gnu: python-clingo: Fix build.

* gnu/packages/potassco.scm (python-clingo)[#:configure-flags]: Add flag for
CMAKE_MODULE_PATH.

gnu: clingo-dl: Update to 1.5.0.

* gnu/packages/potassco.scm (clingo-dl): Update to 1.5.0.

gnu: clingo: Build from actual sources.

* gnu/packages/potassco.scm (clingo)[source]: Modify snippet to remove
generated sources.
[native-inputs]: Add bison and re2c.

gnu: clingo: Update to 5.7.1.

* gnu/packages/potassco.scm (clingo): Update to 5.7.1.

gnu: clasp: Update to 3.3.10.

* gnu/packages/potassco.scm (clasp): Update to 3.3.10.

gnu: libpotassco: Update to 0.0-2.69b677f.

* gnu/packages/potassco.scm (libpotassco): Update to 0.0-2.69b677f.

gnu: python-scikit-build: Install cmake modules.

* gnu/packages/python-xyz.scm (python-scikit-build)[#:phases]: Add
‘install-cmake’.