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