Include GMP in Pike source dists
Imported from http://bugzilla.roxen.com/bugzilla/show_bug.cgi?id=675
Reported by Fredrik Noring, Roxen Internet Software noring@roxen.com
It would be nice if the GMP source was included in the Pike source distribution since GMP more or less is required by some applications.
Semantics when compiling Pike:
-
If GMP is installed on the system, ignore the GMP which is bundled with the Pike source.
-
If GMP is not installed on the system, compile the GMP which is bundled with the Pike source (without installing it), and link it statically with Pike.