Gmp.h not found

I installed installed Chez Scheme and Idris2 and now I would like to install idris2-pack. For this end I used the command provided:

bash -c "$(curl -fsSL https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash)"

But that fails with the following error:

./_datatypes.h:3:10: fatal error: 'gmp.h' file not found

I have installed the following related packages:

  • chez
  • gmp
  • idris
  • idris2

and gmp.h is installed:

  • /nix/store/aakpck7mmlzf9m9sf1hkp3bjkm90kxnq-gmp-with-cxx-6.3.0-dev/include/gmp.h
  • /nix/store/qzm3pxhfrh17mglh9afywg727i2b4vwd-gmp-with-cxx-6.3.0-dev/include/gmp.h

What do I have to do so that gmp.h can be found?

Hi @waffle8946 , what is the relation between my problem and your link?

This issue will be solved with the next release 24.11: