bug#50299: [PATCH v4 00/25] Fix 'check-tests-true' linter and some packages

[Maxime Devos]

Hi,

The following changes from v3 were made:

  * rebased on latest master
  * in the swi-prolog patch, a use of %build-host-inputs
    has been replaced by #$(this-package-native-input ...)
  * The patch 'gnu: swi-prolog: Correct reference to 'bin/swi-prolog' is new.
  * Commit messages are made more consistent.
    E.g., patches removing ‘#:tests? #t’ are now named
    ‘gnu: ...: Run tests conditionally’
    and ‘Don't run tests when cross-compiling.’ is reserved for patches that
    actually look at %current-target-system.

Maxime Devos (25):
  lint: check-tests-true: Allow #:tests? #t for some build systems.
  gnu: lean: Don't run tests when cross-compiling.
  gnu: lean: Add bash-minimal.
  gnu: swi-prolog: Move native-inputs to inputs where appropriate.
  gnu: swi-prolog: Run tests conditionally.
  gnu: swi-prolog: Make configuration wok when cross-compiling.
  gnu: swi-prolog: Don't use 'cc'.
  gnu: swi-prolog: Use cross-compiled bash in shebangs.
  gnu: swi-prolog: Set PROG_SWIPL when cross-compiling.
  gnu: swi-prolog: Correct reference to 'bin/swi-prolog'.
  gnu: ruby-yard-with-tests: Run tests conditionally.
  gnu: ruby-ffi-rzmq: Run tests conditionally.
  gnu: ruby-ffi-rzmq: Respect #:tests?.
  gnu: go-1.16: Don't run tests when cross-compiling.
  gnu: ecl: Run tests conditionally.
  gnu: perl-unicode-utf8: Run tests conditionally.
  gnu: libicns: Run tests conditionally.
  gnu: python2-empy: Run tests conditionally.
  gnu: python2-promise: Run tests conditionally.
  gnu: lablgtk: Run tests conditionally.
  gnu: belcard: Run tests conditionally.
  gnu: pjproject: Run tests conditionally.
  gnu: tdlib: Run tests conditionally.
  gnu: extra-cmake-modules: Don't run tests when cross-compiling.
  gnu: ghc-bsb-http-chunked: Don't run tests when cross-compiling.

 gnu/packages/golang.scm         |  4 +-
 gnu/packages/haskell-web.scm    |  5 ++-
 gnu/packages/image.scm          |  2 -
 gnu/packages/kde-frameworks.scm |  3 +-
 gnu/packages/lean.scm           | 11 ++---
 gnu/packages/linphone.scm       |  3 +-
 gnu/packages/lisp.scm           |  5 +--
 gnu/packages/messaging.scm      |  3 +-
 gnu/packages/ocaml.scm          |  3 +-
 gnu/packages/perl.scm           |  3 +-
 gnu/packages/prolog.scm         | 79 ++++++++++++++++++++++++---------
 gnu/packages/python-xyz.scm     |  8 ++--
 gnu/packages/ruby.scm           | 12 ++---
 gnu/packages/telephony.scm      |  3 +-
 guix/lint.scm                   | 11 +++++
 tests/lint.scm                  | 21 +++++++++
 16 files changed, 122 insertions(+), 54 deletions(-)


base-commit: a4eb287e5e978719b0a736a587ceafb3686882ec
-- 
2.30.2