You need to install several packages. On Debian just run:
$ apt-get install flex bison libgmp3-dev libmpfr-dev libncurses5-dev \
You need to install several packages. On Debian just run:
$ apt-get install flex bison libgmp3-dev libmpfr-dev libncurses5-dev \