Cannot make

[t0nypi]

When I try to run tcore compile --target stm32f4_disc it gives me this error:

In file included from /home/antonio/Documents/TESI/example_hm10_bluetooth/build/stm32f4_disc/core/generated/export/aux/uart_cfg.hpp:20,
                 from /home/antonio/.theCore/theCore/platform/stm32/export/platform/console.hpp:21,
                 from /home/antonio/.theCore/theCore/platform/common/export/common/console.hpp:11,
                 from /home/antonio/.theCore/theCore/lib/debug/assert.cpp:7:
/home/antonio/.theCore/theCore/platform/stm32/export/aux/usart_bus.hpp:93:52: error: static assertion failed: The instance of this generic class should never be instantiated. Please write your own template specialization of this class. See documentation.
   93 |     static_assert(std::is_integral<decltype(dev)>::value,
      |                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
make[2]: *** [core/lib/debug/CMakeFiles/dbg.dir/build.make:80: core/lib/debug/CMakeFiles/dbg.dir/assert.cpp.obj] Error 1
make[1]: *** [CMakeFiles/Makefile2:1168: core/lib/debug/CMakeFiles/dbg.dir/all] Error 2
make: *** [Makefile:101: all] Error 2
2020-05-10 19:48:33 [ERROR   ] failed to run command: . /home/antonio/.nix-profile/etc/profile.d/nix.sh && nix-shell  --run "make -j1" /home/antonio/.theCore/theCore/

I had also to modify a nix script and substitute gcc-arm-embedded-5 with gcc-arm-embedded-9, because it gave an error regarding buildInputs and undefined variable. I don't think that this is the source of the problem.