אובנטו 22.04 לא מצליח להתקין GMP

[יוסף בן שמעון]

PHP 7.4
אני צריך GMP בשביל הודעות פוש.

php --ini פולט שגיאה

PHP Warning:  PHP Startup: Unable to load dynamic library 'php_gmp.so' (tried: /www/server/php/74/lib/php/extensions/no-debug-non-zts-20190902/php_gmp.so (/www/server/php/74/lib/php/extensions/no-debug-non-zts-20190902/php_gmp.so: cannot open shared object file: No such file or directory), /www/server/php/74/lib/php/extensions/no-debug-non-zts-20190902/php_gmp.so.so (/www/server/php/74/lib/php/extensions/no-debug-non-zts-20190902/php_gmp.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0

הרצתי apt-get install libgmp3-dev apt install libgmp-dev
ועבר בהצלחה
אבל apt-get install php7.4-gmp מחזיר שגיאה

E: Unable to locate package php7.4-gmp
E: Couldn't find any package by glob 'php7.4-gmp'
E: Couldn't find any package by regex 'php7.4-gmp'

phpinfo מראה כך

ובפועל אין תמיכה ב GMP
מה ניתן לעשות?

[yossiz]

sudo add-apt-repository ppa:ondrej/php
sudo apt update

ואז נסה שוב:

sudo apt install php7.4-gmp

[יוסף בן שמעון]

נהוג להוציא עלוני סיכומה של שנה, אז חשבתי לכתוב איזו ברכה מליצית ל @yossiz על העובדה שהוא אף פעם לא מרפה, וגם אחרי שהוא עונה בפורום הוא ממשיך להיות זמין בפרטי ולהמשיך את שרשרת התקלות עד לסיום המוצלח
אבל מעיינות המליצות יבשו כנחל אכזב וכנהר אשר יכזבו מימיו
פניתי למכונה האדישה, וגם היא איכזבה כמובן...
https://chatgpt.com/share/66f9af49-a850-800d-a6ce-e74f6f607a79

אמרתי אין הדבר תלוי אלא בי, הנחתי ראשי בין ברכי ובירכתי את @yossiz בברכת הדיוט שיזכה לשנה טובה ומבורכת, שיתמלאו כל משאלות ליבו לטובה וימשיך להועיל לקהילה מהידע העצום שלו והלב הענק שלו!