Removing building dependency to texinfo #63
Description
Right now building GMP library (while building IEGenLib), depends texinfo, in Ubuntu it can be installed with following command:
sudo apt install texinfo
Nonetheless, I think we can remove this dependency by putting some pre-compiled GMP files in the main repository. If not possible, then we should add this dependency to the build instructions.
Error message when I do not have this dependency:
make[6]: Entering directory '/home/kingmahdi/Desktop/iegenlib/build/libgmp-prefix/src/libgmp-build/doc'
/home/kingmahdi/Desktop/iegenlib/lib/gmp/missing: line 81: makeinfo: command not found
WARNING: 'makeinfo' is missing on your system.
You should only need it if you modified a '.texi' file, or
any other file indirectly affecting the aspect of the manual.
You might want to install the Texinfo package:
http://www.gnu.org/software/texinfo/
The spurious makeinfo call might also be the consequence of
using a buggy 'make' (AIX, DU, IRIX), in which case you might
want to install GNU make:
http://www.gnu.org/software/make/