Folgendes habe ich versucht, um die GMP Library auf meinem Managed Server zur Verwendung mit PHP 7.2 oder 7.3 zu kompilieren:

Code:
./configure
...