Dear all,
Here is my configuration:
> $ guix describe
> Génération 6    11 nov. 2019 23:09:07   (actuelle)
>   guix-hpc 36076fc
>     URL du dépôt : https://gitlab.inria.fr/guix-hpc/guix-hpc.git
>     branche: master
>     commit : 36076fceed2a20dfd72978fa5b8f57de4917ed55
>   guix-hpc-non-free e058192
>     URL du dépôt : https://gitlab.inria.fr/guix-hpc/guix-hpc-non-free.git
>     branche: master
>     commit : e058192f39e427c9fac8c31f9fcb27b0f671e43f
>   guix a2161c8
>     URL du dépôt : https://git.savannah.gnu.org/git/guix.git
>     branche: master
>     commit : a2161c861f8c971c5b9e547f1997be4b1d4ba529

When building cppcheck with:
> guix package -i cppcheck


The following error occurs with CTest:
> 0% tests passed, 1 tests failed out of 1
> 
> Total Test time (real) =   1.13 sec
> 
> The following tests FAILED:
>           1 - testrunner (SEGFAULT)
> Errors while running CTest
> make: *** [Makefile:89: test] Error 8
> 
> Test suite failed, dumping logs.
> command "make" "test" failed with status 2
> builder for `/gnu/store/nssx8gz25cj2lkfw5q9qz76zl64w6wcm-cppcheck-1.87.drv' failed with exit code 1

Regards,
Pierre.

-----------------------------------------------------------------------------
Pierre Ramet			LaBRI, INRIA Bordeaux-SO
Email: ramet@labri.fr		Universite Bordeaux
Fax: +33 5 24 57 40 38	351 cours de la Liberation
Tel: +33 5 24 57 40 39	33405 Talence Cedex, France
Url: http://www.labri.fr/~ramet
-----------------------------------------------------------------------------