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?