Folgendes habe ich versucht, um die GMP Library auf meinem Managed Server zur Verwendung mit PHP 7.2 oder 7.3 zu kompilieren:
Danach habe ich in der PHP.ini diese Zeile eingefügt:
Verwenden will ich die Library dann unter anderem auf der Shell. Dafür habe ich für composer einen Alias erstellt:
Der Aufruf von composer bringt mit dann aber folgenden Fehler:
Hat jemand noch einen Tipp für mich?
Code:
./configure --prefix=$HOME/gmplib/temp --enable-static --disable-shared make make install
Code:
extension = "/kunden/12345_67890/rp-hosting/xxxx/xxxx/gmplib/temp/lib/libgmp.so"
Code:
alias composer="/usr/local/bin/php7-72LATEST-CLI -c /kunden/12345_67890/rp-hosting/xxxx/xxxx/scripts/php.ini /kunden/12345_67890/rp-hosting/xxxx/xxxx/composer.phar"
PHP Warning: PHP Startup: Invalid library (maybe not a PHP library)
Kommentar