Marc Glisse wrote:
> On Tue, 24 Nov 2015, Richard Moulton wrote:
>
>> user at ubuntu:~/src/gmp-4.3.2$ sudo make && make check && make install
> ^^^^^
>
> Can you see any dinosaurs through your window?
Moreover, it should be
$ ./configure && make && make check && sudo make install
^^^^
-leif